Haskell has terms depending on types (polymorphic terms) and types depending on types (type families?), but no dependent types.
2009/5/24 Petr Pudlak <[email protected]>: > Hi, I'm trying to get some better understanding of the theoretical foundations > behind Haskell. I wonder, where exactly does Haskell type system fit within > the > lambda cube? <http://en.wikipedia.org/wiki/Lambda_cube> > I guess it could also vary depending on what extensions are turned on. > > Thanks, Petr > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Eugene Kirpichov Web IR developer, market.yandex.ru _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
