proj-jasper
* [Self:proj-jasper-jasperCoreThoughts jasperCoreThoughts] * [Self:proj-jasper-jasperCalls jasperCalls] . . .
10K - last updated 2014-10-30 00:17 UTC by BayleShanks
proj-jasper--index
* [Self:proj-jasper-jasperCoreThoughts jasperCoreThoughts] * [Self:proj-jasper-jasperCalls jasperCalls] . . .
10K - last updated 2014-10-30 00:17 UTC by BayleShanks
proj-jasper-jasperType
== 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 2014-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
190K - last updated 2014-08-04 18:27 UTC by BayleShanks
proj-jasper-jasperTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
10K - last updated 2014-10-08 19:43 UTC by BayleShanks
proj-jasper-jasperTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2014-10-08 19:44 UTC by BayleShanks
proj-jasper-jasperTypes
== Jasper type design todos == * how does our extensible type system work? ==== toreads for this ==== . . .
2K - last updated 2014-07-14 05:22 UTC by BayleShanks
proj-jasper-jasperTypesLinks
==== toreads for this ==== * chapter 1 of Principles of Program Analysis (http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0 . . .
2K - last updated 2014-07-12 05:10 UTC by BayleShanks
8 pages found.