Hi,
The EDSL implementation (system design) I'm working on would really
benefit from an implementation of fixed-sized vectors.
I thought this would be a generally desired ADT but it turned out I
wasn't able to find an implementation.
I was thinking about using datatype algebra plus GADTs to
On Thu, 31 Jan 2008, Alfonso Acosta wrote:
The EDSL implementation (system design) I'm working on would really
benefit from an implementation of fixed-sized vectors.
I thought this would be a generally desired ADT but it turned out I
wasn't able to find an implementation.
I was thinking
Am Donnerstag, 31. Januar 2008 12:02 schrieb Alfonso Acosta:
Hi,
The EDSL implementation (system design) I'm working on would really
benefit from an implementation of fixed-sized vectors.
I thought this would be a generally desired ADT but it turned out I
wasn't able to find an
On Jan 31, 2008 3:03 PM, Wolfgang Jeltsch [EMAIL PROTECTED] wrote:
Hello Fons,
interestingly, it occured to me yesterday that the graphics part of Grapefruit
would benefit from fixed sized vectors. I think we should implement some
small Cabal package which just provides this and upload it to
On Thu, 31 Jan 2008, Alfonso Acosta wrote:
On Jan 31, 2008 3:03 PM, Wolfgang Jeltsch [EMAIL PROTECTED] wrote:
Hello Fons,
interestingly, it occured to me yesterday that the graphics part of
Grapefruit
would benefit from fixed sized vectors. I think we should implement some
small
I remember that type-level arithmetic is already implemented somewhere,
certainly more than once, but certainly seldom in a nicely packaged form.
erm, here
http://www.haskell.org/haskellwiki/Type_arithmetic
Yep, there seem to be a few implementations around (decimal, binary,
peano) but
Hello Henning,
Thursday, January 31, 2008, 5:49:23 PM, you wrote:
I remember that type-level arithmetic is already implemented somewhere,
certainly more than once, but certainly seldom in a nicely packaged form.
one more:
darcs get --partial --tag '0.1'
On Jan 31, 2008 5:47 PM, Bulat Ziganshin [EMAIL PROTECTED] wrote:
one more:
darcs get --partial --tag '0.1' http://www.eecs.tufts.edu/~rdocki01/typenats/
Thanks for the link, I had already checked this library, but using a
binary representation has the same problem as using peano numbers,
error
Am Donnerstag, 31. Januar 2008 15:15 schrieben Sie:
[…]
I think we should base our implementation on Oleg's (for which we need
his permission).
Do you know whether Oleg has released his code under an open source license?
If he had, we wouldn’t need his permission. I’m not sure whether we
