![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
proj-oot
* [Self:proj-oot-ootMetaprogramming ootMetaprogramming] * [Self:proj-oot-ootIdeNotes2 ootIdeNotes2] * . . .
19K - last updated 2023-12-11 05:08 UTC by BayleShanks
proj-oot--index
* [Self:proj-oot-ootMetaprogramming ootMetaprogramming] * [Self:proj-oot-ootIdeNotes2 ootIdeNotes2] * . . .
19K - last updated 2023-12-11 05:08 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-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-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 2020-09-09 08:16 UTC by BayleShanks
proj-oot-ootTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2016-02-06 00:03 UTC by BayleShanks
proj-oot-ootTypeNotes10
https://gist.github.com/graninas/22ab535d2913311e47a742c70f1d2f2b/c4e1b25cefe673a0c1d1bec4c24690121f31fa21 . . .
91K - last updated 2023-12-11 03:20 UTC by BayleShanks
proj-oot-ootTypeNotes2
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
79K - last updated 2022-02-12 16:55 UTC by BayleShanks
proj-oot-ootTypeNotes3
-- http://www.quora.com/What-are-the-most-common-type-inference-algorithms-in-use-today " Jesse Tov, . . .
112K - last updated 2016-02-05 23:59 UTC by BayleShanks
proj-oot-ootTypeNotes4
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
58K - last updated 2016-02-18 04:44 UTC by BayleShanks
proj-oot-ootTypeNotes5
"2. Generics (both types and immutable constraints), I think C++1z has the right approach to this (and . . .
74K - last updated 2017-01-04 04:31 UTC by BayleShanks
proj-oot-ootTypeNotes6
if 'array' is a type constructor (eg if Array(Int), or Array Int to use the Haskell syntax, is an array . . .
61K - last updated 2018-02-23 00:54 UTC by BayleShanks
proj-oot-ootTypeNotes7
[https://tech.channable.com/posts/2017-02-24-how-we-secretly-introduced-haskell-and-got-away-with-it.html] . . .
64K - last updated 2018-10-22 23:12 UTC by BayleShanks
proj-oot-ootTypeNotes8
--- [http://reasonablypolymorphic.com/blog/protos-are-wrong/] " Protobuffers Are Wrong ... No Compositionality . . .
75K - last updated 2019-07-03 08:05 UTC by BayleShanks
proj-oot-ootTypeNotes9
mbell 6 days ago [-] I wonder what the reason for not supporting structural typing is. It seems like . . .
71K - last updated 2020-09-09 07:56 UTC by BayleShanks
proj-oot-ootTypeThoughts
Open issues list: * remember to read up on those problems with gradual typing (where it seemed like there . . .
10K - last updated 2020-09-09 07:55 UTC by BayleShanks
proj-oot-ootTypes
== Oot type design todos == * how does our extensible type system work? ==== toreads for this ==== * . . .
2K - last updated 2014-10-30 22:15 UTC by BayleShanks
17 pages found.
