- Beginners - Haskell.org

'cabal install hdirect' can't find hdirect
by Larry Evans 04 Jul '10

04 Jul '10

hdirect is here: http://hackage.haskell.org/package/hdirect however, as shown by the following terminal session, cabal can't find it. What should I do to insteall hdirect? ~/download/haskell/libs $ cabal -V cabal-install version 0.6.0 using version 1.6.0.1 of the Cabal library ~/download/haskell/libs $ uname -a Linux evansl-desktop 2.6.24-24-generic #1 SMP Fri Sep 18 16:16:18 UTC 2009 x86_64 GNU/Linux ~/download/haskell/libs $ cabal install happy --dry-run Resolving dependencies... In order, the following would be installed (use -v for more details): mtl-1.1.0.2 happy-1.18.1 ~/download/haskell/libs $ cabal install hdirect --dry-run cabal: There is no package named hdirect ~/download/haskell/libs $

3 3

Emacs tags
by Michael Mossey 04 Jul '10

04 Jul '10

(I asked this question on the logical email list to ask, haskell-mode, but got no reply, so I'm hoping someone here might know the answer.) I tried to use tags with emacs. I ran :etags in ghci, then tried to use C-c M-. inside Emacs to find the definition of a symbol. It reported "no source information available". I did some basic checking---a TAGS file does exist in the same directory as the file I was visiting, and contains some kind of entry for the specific symbol (whether the right syntax I don't know). I'm using haskell-mode 2.4 and emacs 21.3.1 on Windows XP. Also ghci 6.12.1. Thanks, Mike

1 0

Where is hugs (or other) version of gofer modular-interpreter code?
by Larry Evans 03 Jul '10

03 Jul '10

Page 2 of: http://www.cs.yale.edu/~liang-sheng/popl95.ps.gz says the source code is at: nebula.cs.yale.edu/pub/yale-fp/modular-interpreter However, that's no longer present. Since Hugs is the successor to gofer, I was wondering if anyone could tell me how to get a copy of the corresponding hugs code. TIA. -Larry

2 1

multreplace
by prad 02 Jul '10

02 Jul '10

so after being inspired by the continual excellent help here, i am trying my hand at writing a multiple replace using Useful.replace Useful.replace origStr pattStr replStr gives for Useful.replace "This original string" "orig" "very orig" "This very original string" what i want to do is something like multRepl origStr [patt1,patt2] [repl1,repl2] so we get from multRepl "This original string" ["orig","ing"] ["very orig","ucture"] "This very original structure" what i have come up with is: multRepl :: String -> [String] -> [String] -> [String] multRepl str ss rs = [U.replace str a b | (a,b) <- (zip ss rs)] this produces in 2 passes: ["This very original string","This very original structure"] to get the final result, i could just last multRepl but i would like to know if this is a good way to do things. i suppose going through the incremental steps is obligatory, but after printing out the result and seeing these steps, it feels like i'm producing throw away stuff - though perhaps that's just an illusion stemming from a similar function php5 has where you get the result without seeing anything behind the scenes. -- In friendship, prad ... with you on your journey Towards Freedom http://www.towardsfreedom.com (website) Information, Inspiration, Imagination - truly a site for soaring I's

4 8

upgrade Hackage show to QuickCheck 2 for lambdabot
by Mark Wright 02 Jul '10

02 Jul '10

Hi, I'm trying to upgrade Hackage show to QuickCheck 2, after applying the diffs below (which may not be correct, since I am a beginner), I am left which this error message: runghc ./Setup.hs build Preprocessing library show-0.3.4... Building show-0.3.4... [4 of 4] Compiling ShowQ ( ShowQ.hs, dist/build/ShowQ.o ) ShowQ.hs:104:20: Not in scope: `generate' Compilation exited abnormally with code 1 at Fri Jul 2 23:07:17 The error occurs in this method: tests :: Gen Result -> StdGen -> Int -> Int -> [[String]] -> IO String tests gen rnd0 ntest nfail stamps | ntest == 500 = done "OK, passed" ntest stamps | nfail == 1000 = done "Arguments exhausted after" ntest stamps | otherwise = case ok result of Nothing -> tests gen rnd1 ntest (nfail+1) stamps Just True -> tests gen rnd1 (ntest+1) nfail (stamp result:stamps) Just False -> return $ "Falsifiable, after " ++ show ntest ++ " tests:\n" ++ reason result where result = generate (((+ 3) . (`div` 2)) ntest) rnd2 gen (rnd1,rnd2) = split rnd0 The QuickCheck 1 generate method is near the bottom this page: http://hackage.haskell.org/packages/archive/QuickCheck/1.2.0.0/doc/html/Tes… but I can not find generate in QuickCheck 2. I am wondering if you have any ideas on how to fix it? I'm trying to package lambdabot on Solaris. I have already packaged the Haskell Platform and about 90 packages, they are in: http://pkgbuild.sourceforge.net/spec-files-extra/ Thanks very much, Mark here are the diffs: goanna% diff -wc show-0.3.4-orig/ShowQ.hs show-0.3.4/ShowQ.hs *** show-0.3.4-orig/ShowQ.hs Wed Jan 20 11:24:11 2010 --- show-0.3.4/ShowQ.hs Fri Jul 2 23:07:13 2010 *************** *** 12,22 **** --- 12,25 ---- import qualified Test.SmallCheck (smallCheck, Testable) import Test.QuickCheck + import Test.QuickCheck.Arbitrary import Data.Char import Data.List import Data.Word import Data.Int import System.Random + import Control.Exception (evaluate) + import Test.QuickCheck.Property (ok, stamp) type T = [Int] type I = Int *************** *** 23,36 **** --- 26,45 ---- instance Arbitrary Char where arbitrary = choose (minBound, maxBound) + + instance CoArbitrary Char where coarbitrary c = variant (ord c `rem` 4) instance Arbitrary Word8 where arbitrary = choose (minBound, maxBound) + + instance CoArbitrary Word8 where coarbitrary c = variant (fromIntegral ((fromIntegral c) `rem` 4)) instance Arbitrary Ordering where arbitrary = elements [LT,EQ,GT] + + instance CoArbitrary Ordering where coarbitrary LT = variant 1 coarbitrary EQ = variant 2 coarbitrary GT = variant 0 *************** *** 37,42 **** --- 46,53 ---- instance Arbitrary Int64 where arbitrary = sized $ \n -> choose (-fromIntegral n,fromIntegral n) + + instance CoArbitrary Int64 where coarbitrary n = variant (fromIntegral (if n >= 0 then 2*n else 2*(-n) + 1)) instance (Integral a, Arbitrary a) => Arbitrary (Ratio a) where *************** *** 48,53 **** --- 59,65 ---- else (b % a) else (a % b) + instance (Integral a, CoArbitrary a) => CoArbitrary (Ratio a) where coarbitrary m = variant (fromIntegral $ if n >= 0 then 2*n else 2*(-n) + 1) where n = numerator m *************** *** 87,93 **** Just False -> return $ "Falsifiable, after " ++ show ntest ++ " tests:\n" ! ++ unlines (arguments result) where result = generate (((+ 3) . (`div` 2)) ntest) rnd2 gen (rnd1,rnd2) = split rnd0 --- 99,105 ---- Just False -> return $ "Falsifiable, after " ++ show ntest ++ " tests:\n" ! ++ reason result where result = generate (((+ 3) . (`div` 2)) ntest) rnd2 gen (rnd1,rnd2) = split rnd0 goanna%

1 0

the role of assignments
by prad 02 Jul '10

02 Jul '10

i'm trying to sort the assignment concept out in my mind. as i understand it so far, <- is for IO so you can do something like someIOVar <- readFile filename this will be of type IO String which is different from String as in let someStrVar = "this is a string" to work with an IO String you need to convert it into a String which seems to automatically happen inside a do structure as in: main = do tmplX <- readFile "zztmpl.htm" navbx <- readFile "zznavb.htm" let page = U.replace tmplX "NAVX" navbx are there some other ways to make IO String into String? also, it seems that assignment is different for the '=' in a program vs ghci for functions: sum x y = x + y (program) vs let sum x y = x + y (ghci) but not for strings and other things because you must always preface assignment of values with 'let': let a = 4 i suppose the let is there for variable assignments because such things necessitate a change of state and i've read that this is not desirable in functional programming - you have to work a little harder to do assignment than languages which just allow a = 4 b = 5 c = 6 etc in haskell, is it preferable to do something like this: var <- readFile fn someFunction var or someFunction (readFile fn) -- In friendship, prad ... with you on your journey Towards Freedom http://www.towardsfreedom.com (website) Information, Inspiration, Imagination - truly a site for soaring I's

6 7

functor declaration
by Michael Mossey 01 Jul '10

01 Jul '10

in the declaration of Functor: class Functor f where fmap :: (a -> b) -> f a -> f b does the compiler infer that f is a type constructor (not a type) because of the appearance of "f a" and "f b"? What I'm thinking is that some classes are classes of types, not type constructors. Like class CanMakeInt a where makeInt :: a -> Int In this case a is a type, not a type constructor. But there is no difference in the form of the first line of the class declaration. Thanks, Mike

3 2

a bunch o' questions
by Michael Mossey 01 Jul '10

01 Jul '10

I have some questions about terminology re types and type constructors. If we have data Tree a = Branch (Tree a) (Tree a) | Leaf a Then is 'Tree' a type constructor? Is it correct to say: - 'Tree' is parameterized by one type, a - 'Tree a' is a type Regarding (->): - Is (->) a type constructor parameterized by two types? - Is (->) an operator? If so, it is the only operator that is also a type constructor? Thanks, Mike

4 4

Re: [Haskell-beginners] a bunch o' questions
by Markus Läll 01 Jul '10

01 Jul '10

Leaf and Branch are type-constructors, and "Tree a" is a parametrized type. Constructor is what you actually use to construct trees, but the type (Tree a) you use to annotate values. Like in > let t = Branch (Leaf 1) (Leaf 2) :: Tree Int you constuct a tree with two leaves, and after two colons say, that the type of the tree is Tree Int Markus

2 2

More Deserialization Woes
by Tom Hobbs 01 Jul '10

01 Jul '10

Hi guys, Thanks for all the previous help I'm having with serialization in Haskell, I couldn't have gotten as far as I have without the help from this group. Many thanks! Now I've put you in a good mood, maybe you can help me with my latest problem... :-) I have the following code which reads strings from a handle; import qualified Data.ByteString.Lazy.UTF8 as UTF readNames 0 _ = [] readNames n h = do length <- fmap (fromIntegral . runGet getWord32be) $ L.hGet h 4 name <- L.hGet h length (UTF.toString name) : readNames (n-1) h Where n is the number of names remaining to read and h is the handle to the stream that I'm reading from. It is my intention that this function would return a [String] of all the names. I'm sure further explainations probably aren't necessary, but just in case; - "length" becomes equal to some number (represented by four bytes) which describes the length of the string to read - "name" becomes the string I'm trying to read - Then I add that String to the list and go again But the problem I'm getting is this; Couldn't match expected type `[a]' against inferred type `IO b' In a stmt of a 'do' expression: length <- fmap (fromIntegral . runGet getWord32be) $ L.hGet h 4 In the expression: do { length <- fmap (fromIntegral . runGet getWord32be) $ L.hGet h 4; name <- L.hGet h length; (UTF.toString name) : readNames (n - 1) h } In the definition of `readNames': readNames n h = do { length <- fmap (fromIntegral . runGet getWord32be) $ L.hGet h 4; name <- L.hGet h length; (UTF.toString name) : readNames (n - 1) h } I (think I) understand what the message is saying, but not why it's occurring. I read the documentation as "UTF8.tostring" essentially rips the [Char] out of the ByteString and returns that, so where does the "IO b" come into it? Is it complaining because the reads from the handle are IO operations and it's expecting me to use the IO monad somewhere? What i want to be able to do is do the IO stuff inside the monad, but end up with a [String] which I can then use in a pure function. RWH and Learn You A Good Haskell all cover some stream reading, but their examples are to different from what I'm trying to do that I'm getting stuck. Any pointers are very gratefully accepted. Many thanks, Tom

3 2