[Haskell-cafe] Joy Combinators (Occurs check: infinite type)

Greg Buchholz haskell at sleepingsquirrel.org
Wed Mar 9 15:08:18 EST 2005

Keean Schupke wrote:
> Haskell is not dependantly typed, so cannot deal with types that "depend" on
> values.

    Can anyone recommend a nice dependently typed language to play with?
Cayenne, Epigram, other?

Greg Buchholz

More information about the Haskell-Cafe mailing list