evan_tech -- a better approach

11:22 am, 24 Jan 04

a better approach

Just after posting all that last night, it occurred to me I had one other resource: my textbook.
After reading the Haskell manual a dozen times and scratching my head, I turned to chapter 29 and read their straightforward, simple, and thorough introduction to kinds.

I always forget there are resources other than the web. :)

sstrickl	Considering the type of stuff you're reading for that class, I offer this up in case you've not been pointed towards it already: Barendregt's Lambda Calculi with Types. This paper might be interesting to you, particularly in conjunction with Pierce's book.
reply to this