fruehr: > Mathematical logic would be a good thing to study if you haven't > already, especially if you can take something as specific as > intuitionistic / constructive / substructural logic. The Curry-Howard > correspondence lurks underneath a lot of Haskell intuitions and > techniques. > > -- Fritz
See also The Haskell Road to Logic, Maths and Programming http://www.cwi.nl/~jve/HR which might work the other direction. -- Don _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell