Re: [Haskell-cafe] Haskell type system and the lambda cube

Haskell has terms depending on types (polymorphic terms) and types depending on types (type families?), but no dependent types. 2009/5/24 Petr Pudlak <deb@pudlak.name>:

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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Eugene Kirpichov Web IR developer, market.yandex.ru