The Future of Programming with Richard Eisenberg
Signals and Threads
00:00
The Differences Between O'Kamel and Jane Street House
O'Kamel does not have lots of type annotations outside of interface files where those are essentially required and everywhere. I am constantly dissatisfied that I think we put way too little documentation in the places that we could. It has been striking for me after spending so many years working in Haskell's compiler that Haskell's compilation has many, many, many more comments than O'Kamel's compilers do. Maybe I'm overfitting on this particular piece of software instead of just the language in general.
Play episode from 41:35
Transcript
