#4385: Type-level natural numbers
----------------------------------------+-----------------------------------
Reporter: diatchki | Owner: diatchki
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version:
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------------+-----------------------------------
Changes (by Khudyakov):
* cc: alexey.sklad...@… (added)
Comment:
I want to point out that type level signed integer numbers could be useful
too. One use which immediately springs into mind is attaching dimension to
physical values. Negative powers appears there all the time e.g. speed ~
cm·s^{-1}. It's natural to encode dimensions using integer numbers.
This is not top priority item but I think it's good to keep such
possibility in mind.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4385#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
