[Haskell-cafe] Kind product

[Gautier DI FOLCO]

2014-11-30 21:43 GMT+01:00 Richard Eisenberg <eir at cis.upenn.edu>:

> If Andres's solution isn't what you want, you probably really do need kind
> families. They're on the way, as part of my ongoing work in making GHC more
> dependently typed. Definitely not expected for 7.10, but perhaps for the
> following release.
>
> Out of curiosity, what are you trying to do here?
>

Hello,

Thanks for your answer.
I don't see why it's closer to dependent typing, can you give me some hints?

Thanks,
Regards.

PS: in fact I'm trying to write an introduction of Haskell without
value-expression and I cheat a lot because types have became my values and
Kinds my types. I'm a little bit frustrated to don't be able to treat them
uniformly, the distinction type-level/value-level seems very strong at this
time.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141130/0e6780d3/attachment.html>