<div dir="ltr"><div>Hi Emanuel <br></div>Added some links which I know but I would suggest to follow the links on Haskell wiki. <br><div><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Feb 22, 2013 at 9:35 PM, Emanuel Koczwara <span dir="ltr"><<a href="mailto:poczta@emanuelkoczwara.pl" target="_blank">poczta@emanuelkoczwara.pl</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
> No, because it would be bigger than you could lift and would contain a<br>
> lot of stuff you probably don't care about (are you really interested<br>
> in how Haskell interacts with category theory? As a working<br>
> programmer, are you interested in exploring the outer corners of type<br>
> theory?)<br>
<br>
I know "Learn You a Haskell" and "Real World Haskell". They are very<br>
helpful, but there is number of topics not covered by these books.<br>
<br>
I want to learn Haskell in finite time, but having infinite number of<br>
resources will not help (books, wiki pages, tutorials, blogs, articles,<br>
I'm probably overestimating, but this is how it looks from beginner<br>
perspective). <br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
After "Learn You a Haskell" and "Real World Haskell" I was jumping<br>
from topic to topic at Wiki. And it blows my mind, I don't know what I<br>
don't know, and this is very bad. So I have a list of topics that I'm<br>
aware of, and I need to study them:<br>
<br>
Arrows<br></blockquote><div><a href="http://ertes.de/new/tutorials/arrows.html" target="_blank">http://ertes.de/new/tutorials/arrows.html</a> <br><a href="http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf">http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf</a><br>
</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Continuation passing style<br></blockquote><div><a href="http://www.haskellforall.com/2012/12/the-continuation-monad.html" target="_blank">http://www.haskellforall.com/2012/12/the-continuation-monad.html</a><br><a href="http://en.wikibooks.org/wiki/Haskell/Continuation_passing_style" target="_blank">http://en.wikibooks.org/wiki/Haskell/Continuation_passing_style</a> <br>
</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Existentially quantified types<br></blockquote><div><a href="http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types" target="_blank">http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types</a> <br>
</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Generalised algebraic data-types<br></blockquote><div><a href="http://en.wikibooks.org/wiki/Haskell/GADT">http://en.wikibooks.org/wiki/Haskell/GADT</a> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Functional reactive programming<br>
Data structures (not lists, not maps and not binary trees, data<br>
structures in general)<br></blockquote><div><a href="http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf" target="_blank">http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf</a> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Dynamic types<br>
Heterogenous collections<br>
Phantom types<br>
Template Haskell<br>
Functional dependencies<br>
<br>
But I'm afraid that many things will be untouched with that approach.<br>
For example I've found that map :: (a -> b) -> [a] -> [b] is really<br>
map :: forall a b. (a -> b) -> [a] -> [b], I've found ~ (in pattern<br>
matching) and I've found a way to set a field with record syntax (val<br>
{ feld1 = 'a', field2 = 0}). All this by clicking random links on wiki<br>
and google. The problem is, I don't have a roadmap. I was looking for a<br>
book that describes all what I need to know, and it points out<br>
everything what I need or could learn.<br>
<br>
If such a book doesn't exist, where can I find a list (finite) of<br>
"must read" resources to fully understund Haskell (or at last in 80%)?<br>
<br>
Emanuel<br>
<br>
<br>
<br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
</blockquote></div><br></div></div></div></div>