haskell@haskell.org
[Top] [All Lists]

Re: [Haskell] Math behind Haskell

Subject: Re: [Haskell] Math behind Haskell
From: "Albert Y. C. Lai"
Date: Sun, 23 Sep 2007 18:50:15 -0400
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.
_______________________________________________
Haskell mailing list
Haskell@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell

<Prev in Thread] Current Thread [Next in Thread>