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-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-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
5 pages found.