3 ms·
True, if I recall correctly, having bottom everywhere just complicates things without adding much value.
by gclaramunt 12y ago
True, if I recall correctly, having bottom everywhere just complicates things without adding much value.
- tel 12y agoIt just means that you have a category where the objects are CPOs instead of sets or types or whatever. It can actually add a whole lot of value to describing the laziness story.
- gclaramunt 12y agoTrue, I actually was thinking about a Cartesian Closed Category (as explained in https://www.haskell.org/haskellwiki/Hask https://www.haskell.org/haskellwiki/Hask )