> Yes, hbc had existential types around 1993.
>
> I've used an encoding of existentials in O'Caml (well F#),
> and it works, but I find it painful.
> And when a very smart but non-CS person saw it his mind
> boggled, whereas he understood the existential version just fine.
I'm a CS person, and
Yes, hbc had existential types around 1993.
I've used an encoding of existentials in O'Caml (well F#), and it
works, but I find it painful.
And when a very smart but non-CS person saw it his mind boggled,
whereas he understood the existential version just fine.
On Thu, Oct 16, 2008 at 8:26 AM, <
Lennart Augustsson wrote:
> We don't need them [existentials] from a theoretical perspective,
> but in practice I'd rather use existentials than encodinging them
> in some tricky way.
If the claim that we don't need existentials theoretically is obvious,
I don't have the argument. Still, existe
re: the importance of existential-cleansing
On the one hand, it's easy to concur that existentials are simpler
than the alternatives, the tortuous elimination of CC Shan's
"translucent" existential being a case in point.
And it's also easy to dismiss such caprice as a penchant for Houdinian
e
What do you mean by need? From a theoretical or practical perspective?
We don't need them from a theoretical perspective, but in practice I'd
rather use existentials than encodinging them in some tricky way.
On Wed, Oct 15, 2008 at 11:05 AM, <[EMAIL PROTECTED]> wrote:
> The web page
> begs a que
On Wed, Oct 15, 2008 at 6:05 AM, <[EMAIL PROTECTED]> wrote:
>
> Regarding existentials, the web page
>http://okmij.org/ftp/Computation/Existentials.html
>
> demonstrates how to systematically eliminate existentials. In fact,
> the object encoding via existentials can be easily transformed
Lennart Augustsson wrote:
> I was just pointing out that the mechanism for doing the OO thing
> exists in Haskell too, albeit looking a little different.
Indeed there is a mechanism for doing OO in Haskell -- several of
them. Most of them have nothing to do with Existentials. In the
OHaskell pap