[Haskell-cafe] Word rigid in "`a' is a rigid type variable..."
evohunz at gmail.com
Thu Nov 14 15:02:29 UTC 2013
> Can you recommend any resources that helped you in better understanding?
If you really like type theory, you may want to take at look at Types and
Programming Languages by Benjamin C. Pierce.
It goes from very simple concepts and builds up, getting into Typed Lambda
Calculus and type systems for O.O. languages, for example.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe