Welcome! & Spec on variants/sum types

[Alejandro Serrano]

Hi, this is the first post for the Fyre mailing list.
I include the preliminar (veeery preliminar) spec on variants, that I
developed after a bit of research on variants. If you know more
languages and how they implemente variants/sum types, you can discuss it
there.
If you are a compiler designer, you could tell us some of the
difficulties this spec could cause on you compiler, o incorporating it.
I hope we could get anu language that takes these features.

Serras

[Alejandro Serrano]

Hi, this is the first post for the Fyre mailing list.

I include the preliminar (veeery preliminar) spec on variants, that I developed after a bit of research on variants. If you know more languages and how they implemente variants/sum types, you can discuss it there. I have used what I know from Nemerle and F#.

If you are a compiler designer, you could tell us some of the difficulties this spec could cause on you compiler, o incorporating it.

I hope we could see any language that takes these features.

The idea is to create also a common library, getting List<A>, lazy values and so on, focusing into functional languages.

Serras