3 ms·
Type-driven development with Idris (https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-
by edko 10y ago
Type-driven development with Idris (https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i...).
It was a real eye-opener of what types can do.
- nickpeterson 10y agoI've been looking at this but I don't really know Haskell (just f#). In your opinion is it worth trying before knowing a Haskell? I'm mostly interested because I wish to learn f-star as well, which also has dependent types.
- edko 10y agoI don't know Haskell either, but the book starts from scratch. It can be followed with no problem.