Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
edko
on Jan 16, 2017
|
parent
|
context
|
favorite
| on:
Ask HN: What's the best computer science book you'...
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
on Jan 16, 2017
[–]
I'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
on Jan 16, 2017
|
parent
[–]
I don't know Haskell either, but the book starts from scratch. It can be followed with no problem.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
It was a real eye-opener of what types can do.