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

Eugene Kirpichov ekirpichov at gmail.com
Sun May 24 04:18:40 EDT 2009

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

Eugene Kirpichov
Web IR developer, market.yandex.ru

More information about the Haskell-Cafe mailing list