[Haskell-cafe] A Modest Records Proposal
alpmestan at gmail.com
Mon Apr 2 14:38:37 CEST 2012
Lesson learned: for next year, write a Haskell program that tells if a
given -cafe thread or reddit discussion is a April Fool's joke or not.
On Sun, Apr 1, 2012 at 7:10 PM, Christopher Done
<chrisdone at googlemail.com>wrote:
> I actually read the first couple paragraphs and thought “sounds
> interesting I'll read it later”. After reading it properly, I lol'd.
> > After some initial feedback, I'm going to create a page for the
> > Homotopy Extensional Records Proposal (HERP) on trac. There are really
> > only a few remaining questions. 1) Having introduced homotopies, why
> > not go all the way and introduce dependent records? In fact, are HERP
> > and Dependent Extensional Records Proposal (DERP) already isomorphic?
> > My suspicion is that HERP is isomorphic, but DERP is not.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe