[Haskell-cafe] A Modest Records Proposal

Alp Mestanogullari 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
> http://www.haskell.org/mailman/listinfo/haskell-cafe

Alp Mestanogullari
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120402/abbe5eda/attachment.htm>

More information about the Haskell-Cafe mailing list