[Haskell-cafe] is Haskell missing a non-instantiating polymorphic case? (missing link added)

Brandon Moore brandon_m_moore at yahoo.com
Mon Oct 24 02:02:47 CEST 2011

> From: Adam Megacz <megacz at cs.berkeley.edu>

> Hrm, it seems that I hit "send" instead of "save draft" when 
> shutting down my computer last night.
> On 2011-10-22 22:48:55 -0700, Adam Megacz said:
>>  I've written up a short example of the problems that happen here:
> Here is the link which was missing from that posting:
> http://www.megacz.com/thoughts/polymorphic-case.html

It seems that StackOverflow post left out important details.
I think I've solved that one, but the problem there looks harder.

It sounds like the entire point of this is syntax representation?

If so, have you seen Conor McBride's recent post
on troubles they ran into with a higher order term representation,
and a way to write first-order free name/bound index terms
with a syntax like

la $ \f -> la $ \x -> f (f x)


More information about the Haskell-Cafe mailing list