Day 3: Focusing
Vibe
Recovered. Feeling fortunate. Still a bit winded and wanting for focus.
Today’s Progress
Community
- More pleasant, friendly, and inspiring chats. I learned heaps.
- Paired on an OCaml parsing project, and we both came away with an
understanding of how to use
ocamllex.
PLT: 1ML × Type Theory
- Finished reading (MacQueen 1984)
- Began reading (Rossberg, Russo, and Dreyer 2010)
- Implemented a stack in 1ML
- Turned up a number of bugs and missing features in the 1ML implementation in the process. Some of these are quite interesting type-checking bugs, and I’ve located the locus of the problem.
- I didn’t get a chance to dig into the difference between small and large types.
Category theory
- Attended the HOTT-NYC reading group.
Writing
- Wrote a short intro to 1ML modules.
- Began putting together some notes on the history and meaning of ML modules.
Tomorrow’s Program
PLT: 1ML × Type Theory
- Study and take notes on the distinction between small and large types in 1ML
- Continue reading (Rossberg, Russo, and Dreyer 2010)
- Begin trying to fix the biggest type-checking bug I found today
Community
- Pairing to improve and rework Haskell game of life exercise
- More coffee chats
- Feelings Checkin
- Presentations
- OCaml talk at JaneStreet
Writing
- Write up implementation of stack
- Write up notes on small vs. large types
- Start adding an epigraph to the beginning of each log entry
References
MacQueen, David. 1984. “Modules for Standard Ml.” In Proceedings of the 1984 Acm Symposium on Lisp and Functional Programming - Lfp ’84, nil. https://doi.org/10.1145/800055.802036.
Rossberg, Andreas, Claudio V. Russo, and Derek Dreyer. 2010. “F-Ing Modules.” Proceedings of the 5th Acm Sigplan Workshop on Types in Language Design and Implementation - Tldi ’10. https://doi.org/10.1145/1708016.1708028.