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	-14/+9
*	4814	Kartik Agaram	2018-12-01	1	-11/+14
*	4539	Kartik Agaram	2018-09-07	1	-6/+6
*	4447	Kartik Agaram	2018-07-27	1	-6/+6
*	4242 - get rid of refcounts entirely	Kartik Agaram	2018-05-12	1	-7/+7
*	4239	Kartik Agaram	2018-05-08	1	-4/+4
*	4200	Kartik K. Agaram	2018-01-27	1	-13/+13
*	4199	Kartik K. Agaram	2018-01-25	1	-40/+39
*	4165	Kartik K. Agaram	2017-12-27	1	-3/+3
*	4161	Kartik K. Agaram	2017-12-15	1	-6/+6
*	4134 - 'input' = 'ingredient'	Kartik K. Agaram	2017-12-03	1	-6/+6
*	3830 - crosslink shape-shifting containers in html	Kartik K. Agaram	2017-04-18	1	-10/+10
*	3829	Kartik K. Agaram	2017-04-18	1	-18/+19
*	3764 - better colors for cross-links	Kartik K. Agaram	2017-03-08	1	-3/+4
*	3761	Kartik K. Agaram	2017-03-07	1	-26/+27
*	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	-13/+13
*	3710	Kartik K. Agaram	2016-12-26	1	-74/+74
*	3709 - line numbers in html	Kartik K. Agaram	2016-12-26	1	-77/+101
*	3667	Kartik K. Agaram	2016-11-11	1	-1/+1
*	3569	Kartik K. Agaram	2016-10-23	1	-31/+31
*	3543	Kartik K. Agaram	2016-10-22	1	-0/+19
*	3431	Kartik K. Agaram	2016-09-30	1	-3/+3
*	3395	Kartik K. Agaram	2016-09-17	1	-12/+12
*	3158	Kartik K. Agaram	2016-07-27	1	-0/+92

<!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 - 070table.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/070table.mu'>https://github.com/akkartik/mu/blob/master/070table.mu</a> <pre id='vimCodeElement'> 1 # A table is like an array, except that you can index it with arbitrary types 2 # and not just non-negative whole numbers. 3 4 # incomplete; doesn't handle hash conflicts 5 6 scenario table-read-write [ 7 local-scope 8 tab:&:<a href='070table.mu.html#L44'>table</a>:num:num <- <a href='070table.mu.html#L56'>new-table</a> 30 9 run [ 10 put-index tab, 12, 34 11 60:num/raw, 61:bool/raw <- index tab, 12 12 ] 13 memory-should-contain [ 14 60 <- 34 15 61 <- 1 # found 16 ] 17 ] 18 19 scenario table-read-write-non-integer [ 20 local-scope 21 tab:&:<a href='070table.mu.html#L44'>table</a>:text:num <- <a href='070table.mu.html#L56'>new-table</a> 30 22 run [ 23 put-index tab, [abc def], 34 24 1:num/raw, 2:bool/raw <- index tab, [abc def] 25 ] 26 memory-should-contain [ 27 1 <- 34 28 2 <- 1 # found 29 ] 30 ] 31 32 scenario table-read-not-found [ 33 local-scope 34 tab:&:<a href='070table.mu.html#L44'>table</a>:text:num <- <a href='070table.mu.html#L56'>new-table</a> 30 35 run [ 36 1:num/raw, 2:bool/raw <- index tab, [abc def] 37 ] 38 memory-should-contain [ 39 1 <- 0 40 2 <- 0 # not found 41 ] 42 ] 43 44 container <a href='070table.mu.html#L44'>table</a>:_key:_value [ 45 length:num 46 <a href='075channel.mu.html#L391'>capacity</a>:num 47 data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value 48 ] 49 50 container <a href='070table.mu.html#L50'>table-row</a>:_key:_value [ 51 occupied?:bool 52 key:_key 53 value:_value 54 ] 55 56 def <a href='070table.mu.html#L56'>new-table</a> <a href='075channel.mu.html#L391'>capacity</a>:num -> result:&:<a href='070table.mu.html#L44'>table</a>:_key:_value [ 57 local-scope 58 load-inputs 59 result <- new {(table _key _value): type} 60 data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- new {(table-row _key _value): type}, <a href='075channel.mu.html#L391'>capacity</a> 61 *result <- merge 0/length, <a href='075channel.mu.html#L391'>capacity</a>, data 62 ] 63 64 # todo: tag results as /required so that call-sites are forbidden from ignoring them 65 # then we could handle conflicts simply by resizing the table 66 def put-index <a href='070table.mu.html#L44'>table</a>:&:<a href='070table.mu.html#L44'>table</a>:_key:_value, key:_key, value:_value -> <a href='070table.mu.html#L44'>table</a>:&:<a href='070table.mu.html#L44'>table</a>:_key:_value [ 67 local-scope 68 load-inputs 69 hash:num <- hash key 70 hash <- <a href='070table.mu.html#L103'>abs</a> hash 71 <a href='075channel.mu.html#L391'>capacity</a>:num <- get *table, <a href='075channel.mu.html#L391'>capacity</a>:offset 72 _, hash-key:num <- divide-with-remainder hash, <a href='075channel.mu.html#L391'>capacity</a> 73 hash-key <- <a href='070table.mu.html#L103'>abs</a> hash-key # in case hash overflows from a double into a negative integer inside 'divide-with-remainder' above 74 table-data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- get *table, data:offset 75 x:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- index *table-data, hash-key 76 occupied?:bool <- get x, occupied?:offset 77 not-occupied?:bool <- not occupied?:bool 78 assert not-occupied?, [can't handle collisions yet] 79 new-row:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- merge true, key, value 80 *table-data <- put-index *table-data, hash-key, new-row 81 ] 82 83 def index <a href='070table.mu.html#L44'>table</a>:&:<a href='070table.mu.html#L44'>table</a>:_key:_value, key:_key -> result:_value, found?:bool [ 84 local-scope 85 load-inputs 86 hash:num <- hash key 87 hash <- <a href='070table.mu.html#L103'>abs</a> hash 88 <a href='075channel.mu.html#L391'>capacity</a>:num <- get *table, <a href='075channel.mu.html#L391'>capacity</a>:offset 89 _, hash-key:num <- divide-with-remainder hash, <a href='075channel.mu.html#L391'>capacity</a> 90 hash-key <- <a href='070table.mu.html#L103'>abs</a> hash-key # in case hash overflows from a double into a negative integer inside 'divide-with-remainder' above 91 table-data:&:@:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- get *table, data:offset 92 x:<a href='070table.mu.html#L50'>table-row</a>:_key:_value <- index *table-data, hash-key 93 empty:&:_value <- new _value:type 94 result <- copy *empty 95 found?:bool <- get x, occupied?:offset 96 return-unless found? 97 key2:_key <- get x, key:offset 98 found?:bool <- equal key, key2 99 return-unless found? 100 result <- get x, value:offset 101 ] 102 103 def <a href='070table.mu.html#L103'>abs</a> n:num -> result:num [ 104 local-scope 105 load-inputs 106 positive?:bool <- greater-or-equal n, 0 107 return-if positive?, n 108 result <- multiply n, -1 109 ] </pre> </body> </html>