3 ms·
I spent a long winter understanding dependent types followed by a short summer forgetting everything. Anyway, I'm here for the koolaid.
by veonik 7y ago
I spent a long winter understanding dependent types followed by a short summer forgetting everything.
Anyway, I'm here for the koolaid.
- bingerman 7y agoI'm curious which language/approach did you take. I recently picked Idris with the book Type-driven development in Idris and so far I'm enjoying the ride (I have some experience in functional programming but not in Haskell).