proj-oot-old-150618
* [Self:proj-oot-old-150618-ootConcurrencyThoughts ootConcurrencyThoughts] * [Self:proj-oot-old-150618-ootNet . . .
12K - last updated 2016-04-12 00:08 UTC by BayleShanks
proj-oot-old-150618--index
* [Self:proj-oot-old-150618-ootConcurrencyThoughts ootConcurrencyThoughts] * [Self:proj-oot-old-150618-ootNet . . .
12K - last updated 2016-04-12 00:08 UTC by BayleShanks
proj-oot-old-150618-ootType
== toread == erlang success types: http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://user.it.uu.se/~tobiasl/publications/contracts.pdf . . .
10K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
190K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
34K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootTypes
== Oot type design todos == * how does our extensible type system work? ==== toreads for this ==== * . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
7 pages found.