Yes, thanks Sean for helping clarify! yes, The TypeLits Nat I had a discussion on the list with Iavor and others a few months back http://www.haskell.org/pipermail/glasgow-haskell-users/2012-August/022789.html
and there were some examples and dialogue beyond that with Iavor and SPJ, but it was off list. point being: for Word or Int sized instances of Nat singleton, theres a number of interesting ways having that information used to statically specialize a numerical computation with some constants is handy, and last time I asked it sounded like the story for this wasn't fully worked out. I hope I'm explaining clearly, if not I'll be happy to try to elaborate further -Carter On Fri, Dec 14, 2012 at 5:12 PM, Sean Leather <leat...@cs.uu.nl> wrote: > On Fri, Dec 14, 2012 at 10:47 PM, Ian Lynagh wrote: > > On Fri, Dec 14, 2012 at 04:34:29PM -0500, Carter Schonwald wrote: >> > A related question I have is that I've some code that will map the >> > singleton Nats to Ints, and last time I looked into this/ had a chat on >> the >> > ghc-users list, it sounded like sometimes having Integer values >> constructed >> > in between are unavoidable. Is that still the case with post 7.6.1 ghc? >> > (And or, how might I be able to help?) >> >> I don't know what a singleton Nat is, but if you mean Word then that's >> what Johan's been working on. >> > > I'm guessing Carter means Sing Nat: > > http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.6.0.0/src/GHC-TypeLits.html > > Regards, > Sean > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
