Day 14: Weekend Whoops
I just realized I mistitled my entry from Friday as a weekend post. Whoops.
I spent most of the day with my spouse.
Today’s Progress
PLT
I’ll be reading (Reynolds 1974) tonight before bed.
OCaml Ecosystem
I spent a couple hours working on the port of Data.These, mostly fiddling with
modules to reproduce type-class gimmicks.
Tomorrow’s Program
PLT:
1ML
- Actually hack on fixing type-checking bugs
- Study and write up notes on the distinction between small and large types
Community
- Pairing on dungen generation in OCaml! :D
References
Reynolds, John C. 1974. “Towards a Theory of Type Structure.” In Lecture Notes in Computer Science, 408–25. Lecture Notes in Computer Science. Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-06859-7_148.