Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris: A Language for Type-Driven Development. Parent comment
https://www.youtube.com/watch?v=DRq2NgeFcO0
The book also walks you through lots of examples. The key part is the type needs to constrain the possible implementations down quite a bit.
There are no comments on this comment yet.
https://www.youtube.com/watch?v=DRq2NgeFcO0
The book also walks you through lots of examples. The key part is the type needs to constrain the possible implementations down quite a bit.