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