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

	Commit message (Collapse)	Author	Age	Files	Lines
*	4160 - named marks for delimited continuations	Kartik K. Agaram	2017-12-15	1	-2/+2
\| \| \| \| \|	Hypothesis: this is needed to build McCarthy's amb operator. https://rosettacode.org/wiki/Amb
*	4134 - 'input' = 'ingredient'	Kartik K. Agaram	2017-12-03	1	-1/+1
\|
*	4133	Kartik K. Agaram	2017-11-25	1	-0/+5
\|
*	4123	Kartik K. Agaram	2017-11-16	1	-12/+4
\|
*	4117 - done with delimited continuations	Kartik K. Agaram	2017-11-06	1	-1/+6
\| \| \| \| \|	At least this particular implementation of them. Let's play with them now for a while, see if they're fully equivalent to shift/reduce.
*	4103 - continuations no longer cause memory corruption	Kartik K. Agaram	2017-11-03	1	-0/+23

<!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 - 084console.mu</title> <meta name="Generator" content="Vim/7.4"> <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"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 1 # Wrappers around interaction primitives that take a potentially fake object 2 # and are thus easier to test. 3 4 exclusive-container <a href='084console.mu.html#L4'>event</a> [ 5 text:char 6 keycode:num # keys on keyboard without a unicode representation 7 touch:<a href='084console.mu.html#L12'>touch-event</a> # mouse, track ball, etc. 8 resize:<a href='084console.mu.html#L18'>resize-event</a> 9 # update the assume-console handler if you add more variants 10 ] 11 12 container <a href='084console.mu.html#L12'>touch-event</a> [ 13 type:num 14 row:num 15 column:num 16 ] 17 18 container <a href='084console.mu.html#L18'>resize-event</a> [ 19 width:num 20 height:num 21 ] 22 23 container <a href='084console.mu.html#L23'>console</a> [ 24 current-event-index:num 25 events:&:@:<a href='084console.mu.html#L4'>event</a> 26 ] 27 28 def <a href='084console.mu.html#L28'>new-fake-console</a> events:&:@:<a href='084console.mu.html#L4'>event</a> -> result:&:<a href='084console.mu.html#L23'>console</a> [ 29 local-scope 30 load-ingredients 31 result:&:<a href='084console.mu.html#L23'>console</a> <- new <a href='084console.mu.html#L23'>console</a>:type 32 *result <- put *result, events:offset, events 33 ] 34 35 def <a href='084console.mu.html#L35'>read-event</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> result:<a href='084console.mu.html#L4'>event</a>, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> [ 36 local-scope 37 load-ingredients 38 { 39 ¦ break-unless <a href='084console.mu.html#L23'>console</a> 40 ¦ current-event-index:num <- get *console, current-event-index:offset 41 ¦ buf:&:@:<a href='084console.mu.html#L4'>event</a> <- get *console, events:offset 42 ¦ { 43 ¦ ¦ max:num <- length *buf 44 ¦ ¦ done?:bool <- greater-or-equal current-event-index, max 45 ¦ ¦ break-unless done? 46 ¦ ¦ dummy:&:<a href='084console.mu.html#L4'>event</a> <- new <a href='084console.mu.html#L4'>event</a>:type 47 ¦ ¦ return *dummy, 1/found, 1/quit 48 ¦ } 49 ¦ result <- index *buf, current-event-index 50 ¦ current-event-index <- add current-event-index, 1 51 ¦ *console <- put *console, current-event-index:offset, current-event-index 52 ¦ return result, 1/found, 0/quit 53 } 54 switch # real event source is infrequent; avoid polling it too much 55 result:<a href='084console.mu.html#L4'>event</a>, found?:bool <- check-for-interaction 56 return result, found?, 0/quit 57 ] 58 59 # variant of read-event for just keyboard events. Discards everything that 60 # isn't unicode, so no arrow keys, page-up/page-down, etc. But you still get 61 # newlines, tabs, ctrl-d.. 62 def <a href='084console.mu.html#L62'>read-key</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> result:char, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> [ 63 local-scope 64 load-ingredients 65 x:<a href='084console.mu.html#L4'>event</a>, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a> <- <a href='084console.mu.html#L35'>read-event</a> <a href='084console.mu.html#L23'>console</a> 66 return-if quit?, 0, found?, quit? 67 return-unless found?, 0, found?, quit? 68 c:char, converted?:bool <- maybe-convert x, text:variant 69 return-unless converted?, 0, 0/found, 0/quit 70 return c, 1/found, 0/quit 71 ] 72 73 def <a href='084console.mu.html#L73'>send-keys-to-channel</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a>, chan:&:<a href='075channel.mu.html#L47'>sink</a>:char, <a href='081print.mu.html#L4'>screen</a>:&:<a href='081print.mu.html#L4'>screen</a> -> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a>, chan:&:<a href='075channel.mu.html#L47'>sink</a>:char, <a href='081print.mu.html#L4'>screen</a>:&:<a href='081print.mu.html#L4'>screen</a> [ 74 local-scope 75 load-ingredients 76 { 77 ¦ c:char, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a> <- <a href='084console.mu.html#L62'>read-key</a> <a href='084console.mu.html#L23'>console</a> 78 ¦ loop-unless found? 79 ¦ break-if quit? 80 ¦ assert c, [invalid <a href='084console.mu.html#L4'>event</a>, expected text] 81 ¦ <a href='081print.mu.html#L4'>screen</a> <- print <a href='081print.mu.html#L4'>screen</a>, c 82 ¦ chan <- <a href='075channel.mu.html#L66'>write</a> chan, c 83 ¦ loop 84 } 85 chan <- close chan 86 ] 87 88 def <a href='084console.mu.html#L88'>wait-for-event</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> [ 89 local-scope 90 load-ingredients 91 { 92 ¦ _, found?:bool <- <a href='084console.mu.html#L35'>read-event</a> <a href='084console.mu.html#L23'>console</a> 93 ¦ break-if found? 94 ¦ switch 95 ¦ loop 96 } 97 ] 98 99 def <a href='084console.mu.html#L99'>has-more-events?</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> result:bool [ 100 local-scope 101 load-ingredients 102 return-if <a href='084console.mu.html#L23'>console</a>, 0/false # fake events are processed as soon as they arrive 103 result <- interactions-left? 104 ] </pre> </body> </html>