[Haskell] Math behind Haskell

Albert Y. C. Lai trebla at vex.net
Sun Sep 23 18:50:15 EDT 2007

Tomas Caithaml wrote:
> Any other suggestions?

Lattice theory. Actually just the part about "continuous partial orders" 
and "least fixed points" suffice. It is hard to find a math course on 
lattice theory that spends time on continuous partial orders; it is 
easier to find a CS course on denotational semantics, which covers the 
necessary math.

I don't think topology is much needed for Haskell. Whatever little is 
needed manifests as lattice theory already. Topology has other uses in 
CS, but take note that topological spaces relevant to CS are seldom 
Hausdorff, whereas most math courses spend all the time on Hausdorff spaces.

More information about the Haskell mailing list