[Haskell-cafe] type universes (was Re: MPTC inheritance
wren ng thornton
wren at freegeek.org
Sun Mar 1 04:12:40 EST 2009
Larry Evans wrote:
> Except that a kind sounds like a universe at level 2 or 3.
> IOW, I guess haskell types are at level 1, and kines at level 2?
> Then I guess values would be at level 0?
> Is there some version of haskell that has more levels in its
> type universe. If not, it there some reason for that
The language you're looking for is called Omega:
And as the name implies, the levels go all the way to the top.
> Is there some reference explaining the relationship
> of haskell types to nuprl type universes?
That one I can't help with :)
More information about the Haskell-Cafe