[Haskell-cafe] A very nontrivial parser

Andrew Coppin andrewcoppin at btinternet.com
Sun Jul 8 08:12:42 EDT 2007


Brandon S. Allbery KF8NH wrote:
>
> On Jul 8, 2007, at 3:21 , Andrew Coppin wrote:
>
>> this.) So as of now, my code uses rank-2 types - despite the fact 
>> that I don't actually know what a rank-2 type *is* yet! o_O This is 
>> rather troubling...
>
> Bah --- I use monads all the time and still don't have much of a clue 
> about category theory.  :)
> (For that matter, I can drive a car without understanding what's going 
> on under the hood.)
>

Aye, you drive a car without knowing how it works - but it was put 
together by some people who *do* know these things. Would you drive a 
car you built yourself? ;-)



More information about the Haskell-Cafe mailing list