Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013). Parent comment
https://davidchristiansen.dk/pubs/dependent-haskell-experien...
The video is on YouTube somewhere. Having used Haskell and some dependently typed Haskell around the same time, I thought it was a fair assessment of state of play.
There are no comments on this comment yet.
https://davidchristiansen.dk/pubs/dependent-haskell-experien...
The video is on YouTube somewhere. Having used Haskell and some dependently typed Haskell around the same time, I thought it was a fair assessment of state of play.