#haskell - Mon 19 Feb 2007 between 04:41 and 05:10

NY Lost Funds



sorearwho needs types?
anyway - fib :: Int -> Integer
write that, the fastest way possible.
we've had a half dozen proposals
actionddarius wanted to make a program that did some crazy thing when using a type unsafeCoerce#'d from some other incompatible type for IOHCC.
ddariuswanted to make a program that did some crazy thing when using a type unsafeCoerce#'d from some other incompatible type for IOHCC.
Saizanand you are going to use GMP?
sorearyes.
ddariussorear: Incidentally, the "closed form" is still O(log n)
sorearhttp://www.haskell.org/pipermail/haskell-cafe/2007-February/022647.html -- would also make a good "unportable haskell" entry
lambdabotTitle: [Haskell-cafe] speeding up fibonacci with memoizing, http://tinyurl.com/2edg3o
sorearddarius: heh?
actionkc5tja wonders how Haskell would function on a typical 8-bit home computer of the 1982-1989 era. Assuming at least 32K of available RAM of course. :)
kc5tjawonders how Haskell would function on a typical 8-bit home computer of the 1982-1989 era. Assuming at least 32K of available RAM of course. :)
sorearddarius: fib(n) requires O(n) bits
ddarius: are you telling me you've written a sublinear memcpy?
kc5tjaOh well -- I'm just being silly. Too tired. Going to bed.
ddariusCalculating only the nth not all the ones up to then.
sorearddarius: fib(n) takes log(fib(n)) bits =~ n * log(phi) = O(n)
shapr has "ran IOHCC" on resume, wow.
ddariusI'm counting arithmetic operations.
pjdheh
O measures should always be qualified
Saizanand count operations with homegeneus cost
Stinger@paste
lambdabotHaskell pastebin: http://hpaste.org/new
sorearwhat's the progress of that project (Phd?) to add uniquess types to GHC?
donshmm? benl's thesis?
hpasteStinger pasted "time bug?" at http://hpaste.org/554
donshey, sorear does that gmp binding actually work??
Stingercan someone test that, see if you get an exception?
soreardons: if you're lucky
dons: == have a 32-bit machine and miss the garbage collector
donsoh, you mean as long as GC doesn't happen?
sorearyou're referring to the code I sent to the ml?
donsor i have to compile out the GC?
yeah, the libgmp code
soreardons: yeah. since the gc might move the array before I have a chance to tell the gc I have a pointer.
goltrpoathttp://ofb.net/~wnoise/haskell/IOHCC/ulfn/doc.ps -- "all haskell programs are alpha-equivalent"
hehe
sorearI'll have to study the primop code closer to see how the gc is neutralised
Stingerhmmm where can I use case of?

Page: 5 12 19 26 33 40 47 54 61 68 75 82 89 

IrcArchive

NY Lost Funds