mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

	Commit message (Expand)	Author	Age	Files	Lines
*	4891	Kartik Agaram	2018-12-30	1	-0/+1
*	4890 - new html renderings	Kartik Agaram	2018-12-29	1	-12/+7
*	4814	Kartik Agaram	2018-12-01	1	-9/+12
*	4539	Kartik Agaram	2018-09-07	1	-4/+4
*	4447	Kartik Agaram	2018-07-27	1	-1/+1
*	4239	Kartik Agaram	2018-05-08	1	-3/+3
*	4200	Kartik K. Agaram	2018-01-27	1	-2/+2
*	4199	Kartik K. Agaram	2018-01-25	1	-7/+6
*	4161	Kartik K. Agaram	2017-12-15	1	-4/+4
*	4134 - 'input' = 'ingredient'	Kartik K. Agaram	2017-12-03	1	-3/+3
*	3990	Kartik K. Agaram	2017-09-03	1	-2/+2
*	3764 - better colors for cross-links	Kartik K. Agaram	2017-03-08	1	-3/+4
*	3761	Kartik K. Agaram	2017-03-07	1	-3/+4
*	3716	Kartik K. Agaram	2016-12-26	1	-0/+2
*	3713 - cross-link calls with definitions in html	Kartik K. Agaram	2016-12-26	1	-2/+2
*	3710	Kartik K. Agaram	2016-12-26	1	-48/+48
*	3709 - line numbers in html	Kartik K. Agaram	2016-12-26	1	-51/+75
*	3569	Kartik K. Agaram	2016-10-23	1	-11/+11
*	3431	Kartik K. Agaram	2016-09-30	1	-2/+2
*	3395	Kartik K. Agaram	2016-09-17	1	-6/+6
*	3371	Kartik K. Agaram	2016-09-16	1	-0/+17
*	3355	Kartik K. Agaram	2016-09-15	1	-0/+66

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - channel.mu</title> <meta name="Generator" content="Vim/8.0"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal-light"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/master/channel.mu'>https://github.com/akkartik/mu/blob/master/channel.mu</a> <pre id='vimCodeElement'> 1 # example program: communicating between routines using channels 2 3 def <a href='channel.mu.html#L3'>producer</a> <a href='075channel.mu.html#L40'>sink</a>:&:<a href='075channel.mu.html#L40'>sink</a>:char -> <a href='075channel.mu.html#L40'>sink</a>:&:<a href='075channel.mu.html#L40'>sink</a>:char [ 4 # produce characters 1 to 5 on a channel 5 local-scope 6 load-inputs 7 # n = 0 8 n:char <- copy 0 9 { 10 done?:bool <- lesser-than n, 5 11 break-unless done? 12 # other threads might get between these prints 13 $print [produce: ], n, [ 14 ] 15 <a href='075channel.mu.html#L40'>sink</a> <- <a href='075channel.mu.html#L60'>write</a> <a href='075channel.mu.html#L40'>sink</a>, n 16 n <- add n, 1 17 loop 18 } 19 close <a href='075channel.mu.html#L40'>sink</a> 20 ] 21 22 def <a href='channel.mu.html#L22'>consumer</a> <a href='075channel.mu.html#L36'>source</a>:&:<a href='075channel.mu.html#L36'>source</a>:char -> <a href='075channel.mu.html#L36'>source</a>:&:<a href='075channel.mu.html#L36'>source</a>:char [ 23 # consume and print integers from a channel 24 local-scope 25 load-inputs 26 { 27 # read an integer from the channel 28 n:char, eof?:bool, <a href='075channel.mu.html#L36'>source</a> <- read <a href='075channel.mu.html#L36'>source</a> 29 break-if eof? 30 # other threads might get between these prints 31 $print [consume: ], n:char, [ 32 ] 33 loop 34 } 35 ] 36 37 def <a href='channel.mu.html#L37'>main</a> [ 38 local-scope 39 <a href='075channel.mu.html#L36'>source</a>:&:<a href='075channel.mu.html#L36'>source</a>:char, <a href='075channel.mu.html#L40'>sink</a>:&:<a href='075channel.mu.html#L40'>sink</a>:char <- <a href='075channel.mu.html#L44'>new-channel</a> 3/capacity 40 # create two background 'routines' that communicate by a channel 41 routine1:num <- start-running <a href='channel.mu.html#L3'>producer</a>, <a href='075channel.mu.html#L40'>sink</a> 42 routine2:num <- start-running <a href='channel.mu.html#L22'>consumer</a>, <a href='075channel.mu.html#L36'>source</a> 43 wait-for-routine routine1 44 wait-for-routine routine2 45 ] </pre> </body> </html>