archives

Existential Types == Guarded Types

In the GHC Users' Guide:
Notice that GADTs generalise existential types.

And Martin Sulzmann gives us A Systematic Translation of Guarded Recursive Data Types to Existential Types

By Jim Apple at 2005-05-06 03:10 | LtU Forum | login or register to post comments | other blogs | 6718 reads

GADTs + Extensible Kinds = Dependent Programming

Tim Sheard claims that usual functional programming methods (plus two new features found in his new programming language Ωmega) take care of some of the needs dependent types are often thrown at.

By Jim Apple at 2005-05-06 05:32 | LtU Forum | 9 comments | other blogs | 14532 reads