Recursion on TypeNats

Iavor Diatchki iavor.diatchki at gmail.com
Wed Oct 29 00:24:37 UTC 2014


Hello,

actually type-level integers are easier to work with than type-level
naturals (e.g., one can cancel things by subtracting at will).   I agree
that ideally we want to have both integers and naturals (probably as
separate kinds).  I just don't know what notation to use to distinguish the
two.

-Iavor



On Mon, Oct 27, 2014 at 2:13 PM, Barney Hilken <b.hilken at ntlworld.com>
wrote:

> Ok, I've created a ticket https://ghc.haskell.org/trac/ghc/ticket/9731
>
> Unfortunately I don't know enough about ghc internals to try implementing
> it.
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141028/a6d65f81/attachment.html>


More information about the Glasgow-haskell-users mailing list