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
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
