best book to learn haskell ?
>>7750869
This.
I only really know Learn Yourself and Real World,
but in any case the irc channel #haskell (and #haskell-blah for off topic and theory) is populated with the nicest people on earth
>>7750869
http://4chan-science.wikia.com/wiki/Programming_Textbook_Recommendations#Haskell
>>7750869
I'd recommend the DSM-V.
>>7751048
which network?
>>7751048
thanks
>>7750869
I used Learn Yourself a Haskell and Yet Another Haskell Tutorial.
That said, I didn't truly understand monads until after I took a category theory course. They're actually super cool and powerful, in my opinion.
>>7751048
I might read through Real World Haskell sometime, it seems to cover some things in more detail. Alternatively I might just switch over to Agda since I need to start learning dependent types.
>>7751101
Freenode
https://wiki.haskell.org/IRC_channel
The rule of thumb is that whenever you want to go to any software or academic related irc channel you should head to freenode first. Their main thing is hosting channels for big peer run software projects, though they also have math boards and other stuff thanks to the ambient "peer cooperation" and "customer support" culture.
If you are looking for chantards and weeaboos then you'll want to go to Rizon.
I have no idea who even uses the other large networks.
>>7750869
Haskell leads to lisp.
>>7751195
I would claim that Haskell leads more towards categorical and (intuitionistic) type theoretical approaches to programming (since monads and comonads are actually a part of the language).
As such I'd claim that any of these languages is a much better direction (from Haskell) than Lisp.
https://en.wikipedia.org/wiki/Dependent_type#Comparison_of_languages_with_dependent_types
>>7751245
The issue is that Haskell is the only language with a community behind it.
There is an anon here who wants to do his own dependent language, right? I also need one to implement some stuff in the far future and I'd love if he makes his exercises public (e.g. here). Will help with the design in any case, and forge ideas.
