- Haskell-Cafe - Haskell.org

Clausula where
by vieira.ufpi＠gmail.com 20 Dec '15

20 Dec '15

I’m using GHCi in a Haskell version 7.10.2 and using this fragmente of coding: data ArvBinA t = Folha t | No Int (ArvBinA t) (ArvBinA t) deriving (Eq, Ord, Show) arvbina = No 4 (No 2 (Folha 14) (Folha 09)) (No 2 (Folha 19) (Folha 51)) tamArvBinA :: ArvBinA t -> Int tamArvBinA (Folha x) = 1 tamArvBinA (No n xt yt) = n rotula :: ArvBinA t -> ArvBinA t -> ArvBinA t rotula ae ad = No n ae ad where n = (tamArvBinA ae) + (tamArvBinA ad) listoArvBinA :: (Eq t) => [t] -> ArvBinA t listoArvBinA xs |m == 0 = Folha (head xs) |otherwise = rotula (listoArvBinA xse) (listoArvBinA xsd) where m = (length xs) `div` 2 (xse, xsd) = (take m xs, drop m xs) After compiling there is this message: parse error on input ‘=’. There is someone that he/she can help me? I think that’is na error by clause where and the offside rule, or so, but I’m not right of this. Thanks in advance for some help Francisco Vieira Enviado do Email do Windows

4 4

Re: [Haskell-cafe] No instance of ... error with Statistics.Sample.Histogram
by Sigrid Keydana 20 Dec '15

20 Dec '15

1 0

Storable types with zero size
by Douglas McClean 19 Dec '15

19 Dec '15

Can the sizeOf a Storable type be 0? As far as I can see the documentation doesn't say. I wouldn't expect there to be a problem, but there also isn't an instance Storable (), which I was expecting to see. If so, should its alignment be 1 or 0? -Doug McClean

2 3

No instance of ... error with Statistics.Sample.Histogram
by Sigrid Keydana 19 Dec '15

19 Dec '15

2 1

Stackage update and plans for LTS Haskell 4
by Adam Bergmark 19 Dec '15

19 Dec '15

Hi café, This is an update on Stackage moving to GHC 7.10.3 and towards LTS Haskell 4. I especially encourage maintainers with packages on stackage to read the post since some packages have been disabled in the process. http://andnam.tumblr.com/post/135510474243/stackage-update-and-plans-for-lt… All the best, Adam Discussion on Reddit: https://www.reddit.com/r/haskell/comments/3xh5uq/stackage_update_and_plans_…

1 0

Preventing sharing
by David Turner 19 Dec '15

19 Dec '15

I have been playing around with this definition of fib with a colleague: fib n = fibs !! n where fibs = 0 : 1 : zipWith (+) fibs (tail fibs) My initial expectation was that this should take linear time and constant space, but this proved not to be the case: it leaks (a linear amount of) space. We fixed this by replacing (!!) with a version that is strict in the head of its first argument, effectively forcing the list to be strict as far as is needed. With that fix we could quite happily do { print $ fib 1000000 } and all was well, so I tried to write a Criterion benchmark to show that the time taken was linear in n. And the space leak reappeared! Looking at the core, I think what had happened was that GHC had spotted that the inner definition of fibs didn't depend on n and floated it out to the top level so it could be shared between calls. Normally a good move, but in this case it's a disaster as it's much quicker to recalculate the list as needed than to keep it around for next time, for sufficiently large values of n. Now I'm a bit stuck: how do you prevent this from happening? Obviously here we could just implement fibs differently, but as a more general question, how would you prevent unwanted sharing from taking place? Cheers, David

3 4

documentation of Haskell's hierarchical libraries
by s nedunuri 18 Dec '15

18 Dec '15

I am wondering where I might be able to get a reasonably complete documentation of Haskell's libraries. I was using the documentation at https://downloads.haskell.org/~ghc/latest/docs/html/libraries/ but I noticed that it was missing hash tables, which are located in Data.HashTable. I am not sure what other modules might be missing from there. Is there some place where everything (up to some release) is documented? thanks PS the documentation bundled with the Haskell Platform (7.10.2-a) is even worse as its missing large sections of what you find at the online documentation

2 1

Re: [Haskell-cafe] Canned routines for the first say thousand digits of pi, e, sqrt 2, etc?
by Olaf Klinke 18 Dec '15

18 Dec '15

As it happens, I am just studying a presentation [1] Martin Escardo gave to students at the University of Birmingham. It contains Haskell code for exact real number computation. Among other things, there is a function that computes a signed digit representation of pi/32. It computes several thousand digits in a few seconds. I did not try it yet, but many irrational numbers are fixed points of simple arithmetical expressions. For example, the golden ratio is the fixed point of \x -> 1+1/x. Infinite streams of digits should be a type where such a fixed point is computable. Or you could use a sufficiently precise rational approximation and convert that do decimal in the usual way. import Data.Ratio import Data.List (iterate) -- one step of Heron's algorithm for sqrt(a) heron :: (Fractional a) => a -> a -> a heron a x = (x+a/x)/2 -- infinite stream of approximations to sqrt(a) approx :: (Fractional a) => a -> [a] approx a = iterate (heron a) 1 -- Find an interval with rational end-points -- for a signed-digit real number type SDReal = [Int] -- use digits [-1,0,1] interval :: Int -> SDReal -> (Rational,Rational) interval precision x = let f = foldr (\d g -> (a d).g) id (take precision x)) a d = \x -> ((fromIntegral d)+x)/2 in (f(-1),f(1)) Cheers, Olaf [1] www.cs.bham.ac.uk/~mhe/.talks/phdopen2013/realreals.lhs

3 2

Canned routines for the first say thousand digits of pi, e, sqrt 2, etc?
by Jeffrey Brown 18 Dec '15

18 Dec '15

Do there exist libraries for finding the first thousand or so digits of irrational numbers? In base 12? I searhed all the "Numeric" and "Numerical" packages on Hackage and found nothing appropriate. I did figure out how to change the base of a number: https://github.com/JeffreyBenjaminBrown/play/blob/master/digits/chBase.hs but that method appears limited to numbers only a dozen or so digits long. My motivation is this video, in which James Zamerski puts the first couple hundred digits of pi to music. I've listened to it maybe 15 times in two days. https://www.youtube.com/watch?v=AOaR4NS7ObI It makes me want to try playing the first few hundred digits of other irrational numbers on the piano and try to harmonize them. -- Jeffrey Benjamin Brown

3 2

haskell GIS projects
by Noon Silk 18 Dec '15

18 Dec '15

Hello Cafe, Is anyone using any nice modern GIS libraries in Haskell? Say for opening various geographic file formats, and doing geometric queries, etc? Searching often leads me to TerraHS: https://wiki.haskell.org/TerraHS but it's pretty out of date. Is there some cool library I'm missing? -- Noon Silk, ن "Every morning when I wake up, I experience an exquisite joy — the joy of being this signature."

2 1