[clean-list] typical synergy in Clean

[Thomas van Noort]

Dear Carlos,

I'm afraid I can't give you an example in Clean. Unfortunately, the 
language does not support GADTs nor the annotation. Though, we are 
strongly considering including support for GADTs.

Kind regards,
Thomas

On 31/5/10 5:58 , Carlos Aya wrote:
> Dear Clean team,
>
> It is possible to have a Clean example of this paper's result?
>
> http://www.st.cs.ru.nl/papers/2010/noot10-IFL09-a-typical-synergy.pdf
> (A Typical Synergy: Dynamic Types and Generalised Algebraic Datatypes)
>
> I think it's not yet possible -skiming thru the reference pages- but
> wanted to double check.
>
> If not possible, is this a feature for Clean 3.0?
>
> Thanks in advance,
> Carlos
>
>
>
>
> _______________________________________________
> clean-list mailing list
> clean-list at science.ru.nl
> http://mailman.science.ru.nl/mailman/listinfo/clean-list