- Beginners - Haskell.org

Given a list of lists, how to drop the last item in each (sub)list.
by Angus Comber 03 Jan '14

03 Jan '14

I have a list like this: [[1,0,0,0,1,1,1,0,0],[1,1,1,0,1,1,1,0,0],[1,0,1,0,0,1,1,0,0],[0,1,0,0,1,1,1,0,0],[0,0,1,0,1,1,1,0,0],[1,0,0,1,1,1,1,0,1]] The 'inner' list is a list of 9 items. I want to process the list so that a list of lists is returned but the 9th element in each inner list is dropped. So the function type would be [[a]] -> [[a]] So to get started I wrote a function like this: discardparitybyte :: [[Bit]] -> [[Bit]] But then not sure how to transform the inner list. I know I can access the first inner element using take 1 list. But how do I then access/manipulate this inner list? discardparitybyte (x:xs) = take 9 ??? (take 1 xs) : discardparitybyte ???

5 6

Problem specifying fst in tuple from list in filter
by Angus Comber 03 Jan '14

03 Jan '14

I can generate a tuple of (index,character) like this: zip [0..] ['A'..'Z'] To filter on an element in the list I can do: filter (== (0,'A')) $ zip [0..] ['A'..'Z'] > [(0,'A')] But that is very basic, I really want to select on index value (ie first item in pair). How do I specify the first part of tuple: filter (fst == 0) $ zip [0..] ['A'..'Z'] this doesn't work. Couldn't match expected type `(a1, Char) -> Bool' with actual type `Bool' In the first argument of `filter', namely `(fst == 0)' In the expression: filter (fst == 0) In the expression: filter (fst == 0) $ zip [0 .. ] ['A' .. 'Z']

3 2

Question on (x:xs) form
by Angus Comber 02 Jan '14

02 Jan '14

Eg for a definition of reverse: reverse' :: [a] -> [a] reverse' [] = [] reverse' (x:xs) = reverse' xs ++ [x] In the last line of the definition, x is an element in the list (the first element) and xs represents the remainder of the list. so if list was [1,2,3] then x is 1 and xs is [2,3] Why are the brackets required? And what do they signify? Eg reverse' x:xs = reverse' xs ++ [x] results in a parse error.

5 4

How to get each list in a list of lists for filter
by Angus Comber 01 Jan '14

01 Jan '14

I am getting a list of lists from chop9. I want to somehow filter each element in the list. How do I do that. I have encoded binary data eg [1,1,0,0,1,0] etc Each 9th bit is a parity bit which is checked using this function: type Bit = Int paritychecker :: [Bit] -> Bool paritychecker xs | length xs == 9 && ((sum (init xs)) `mod` 2) == (last xs) = True | otherwise = False In the stream (the list) I use chop to retrieve each block of 9 bits as in: chop9 :: [Bit] -> [[Bit]] chop9 [] = [] chop9 bits = take 8 bits : chop9 (drop 8 bits) I have been playing with this sort of thing: filter paritychecker ??? chop9 [1,0,0,0,1,1,1,0,0,...] But doesn't work. I want to end up with all the 9 bit chunks which pass the filter. So my end type should be [[Bit]] paritychecker requires a list - eg [Bit] . So I want to run paritychecker on each element returned from chop9. How do I do that? Example encoded data stream: [1,0,0,0,1,1,1,0,0,1,1,1,0,1,1,1,0,0,1,0,1,0,0,1,1,0,0,0,1,0,0,1,1,1,0,0,0,0,1,0,1,1,1,0,0,1,0,0,1,1,1,1,0,1] Angus

3 2

Trying to understand function types eg iterate (a -> a)
by Angus Comber 31 Dec '13

31 Dec '13

iterate' :: (a -> a) -> a -> [a] I am trying going to go ahead and write my own iterate function. But before I do I want to be clear on types. Looking at :: (a -> a) -> a -> [a] The first part is (a -> a) Now because it is in parentheses it is a function? I can call iterate like this: take 5 $ iterate (*2) 5 So (*2) is a possible function. Does the brackets mean it is a function, the left hand a is indicating a general type and the right hand a means the return type must be the same as the function type. Eg in the case of (*2) the 2 is an Int so the function returns and Int? Is my understanding correct? How could this be better explained? The last bit is easier to understand. a -> [a] meaning a singleton of general type and [a] means a list of same type.

3 2

anonymous arguments
by harry 30 Dec '13

30 Dec '13

Is there any reason not to include Scala-like anonymous arguments in Haskell? For example, I would like to write map (\x -> foo x 3) as map (foo _ 3) The named argument in this and similar cases adds nothing but visual and namespace clutter.

4 5

OMG - Cabal again...
by Gregory Guthrie 26 Dec '13

26 Dec '13

YACP - Yet another cabal problem... Trying to install criterion, which fails for test-framework, which fails for regex, which fails for mtl, which reports that it is fine and installed! Is there any simple recipe to restart the libraries for cabal (on windows)? C:\Users\guthrie>cabal install criterion Resolving dependencies... In order, the following will be installed: ... criterion-0.8.0.0 depends on test-framework-0.8.0.3 which failed to install. hastache-0.5.1 failed during the building phase. The exception was: ExitFailure 1 math-functions-0.1.4.0 failed during the building phase. The exception was: ExitFailure 1 monad-par-0.3.4.6 depends on test-framework-0.8.0.3 which failed to install. monad-par-extras-0.3.3 failed during the building phase. The exception was: ExitFailure 1 mwc-random-0.13.1.0 failed during the building phase. The exception was: ExitFailure 1 statistics-0.10.5.1 depends on test-framework-0.8.0.3 which failed to install. test-framework-0.8.0.3 failed during the configure step. The exception was: ExitFailure 1 test-framework-hunit-0.3.0.1 depends on test-framework-0.8.0.3 which failed to install. vector-algorithms-0.6.0.1 depends on mwc-random-0.13.1.0 which failed to install. vector-binary-instances-0.2.1.0 failed during the building phase. The exception was: ExitFailure 1 C:\Users\guthrie>cabal install test-framework Resolving dependencies... Configuring test-framework-0.8.0.3... cabal: The following installed packages are broken because other packages they depend on are missing. These broken packages must be rebuilt before they can be used. package regex-base-0.93.2 is broken due to missing package mtl-2.1.2-5337caef659244e51e2f5fb2e944d97f Failed to install test-framework-0.8.0.3 cabal: Error: some packages failed to install: test-framework-0.8.0.3 failed during the configure step. The exception was: ExitFailure 1 C:\Users\guthrie>cabal install mtl Resolving dependencies... All the requested packages are already installed: mtl-2.1.2 Use --reinstall if you want to reinstall anyway. ------------------------------------------- Dr. Gregory Guthrie Computer Science Department Dean, and Professor of Computer Science School of Computer Science & Mathematics Maharishi University of Management -------------------------------------------

1 0

Trying to understand the foldl type?
by Angus Comber 24 Dec '13

24 Dec '13

The type is: foldl :: (a -> b -> a) -> a -> [b] -> a Eg I might do something like this: foldl (+) 0 [1..10] so taking (a -> b -> a) leftmost a is (+) b is 0 right a is what? The first value in the list? Then -> ? [b] ? Is this like the temporary recursion calculation? final -> a is the result?

3 2

Database.SQLite.Simple: Select query with more than 10 elements tuple
by Miro Karpis 24 Dec '13

24 Dec '13

Hi, please ... I need help with following: I have a table with 11 columns. I would like to create a query where in return I should get values of all columns. Problem is that when I try with 10 elements everything works OK. With 11 I will get compile error. I found in the Database.SQLite.Simple documentation following: A collection type that can be converted from a sequence of fields. Instances are provided for tuples up to 10 elements and lists of any length. So is it possible to select more than 10 columns in one query? It must be right? working code: ------------------------- queryX :: Query queryX = "SELECT el1, el2, el3, el4, el5, el6, el7, el8, el9, el10 FROM tableX" saveBtceTickerData :: IO () saveBtceTickerData = do conn <- open "../mydb.sqlite" r <- query_ conn queryX :: IO [(Double, Int, Double, Double, Double, Double, Double, Double, Double, Double)] mapM_ print r close conn putStrLn "done" non-working code: ------------------------- someQuery :: Query someQuery = "SELECT el1, el2, el3, el4, el5, el6, el7, el8, el9, el10, el11 FROM tableX" saveBtceTickerData :: IO () saveBtceTickerData = do conn <- open "../mydb.sqlite" r <- query_ conn queryX :: IO [(Double, Int, Double, Double, Double, Double, Double, Double, Double, Double, Double)] mapM_ print r close conn putStrLn "done" ------ Error output: No instance for (FromRow (Double, Int, Double, Double, Double, Double, Double, Double, Double, Double, Double)) arising from a use of `query_' Possible fix: add an instance declaration for (FromRow (Double, Int, Double, Double, Double, Double, Double, Double, Double, Double, Double)) thanks, m.

2 1

Question on : usage
by Angus Comber 23 Dec '13

23 Dec '13

I am playing with concatenating lists so I start with this: testconcat :: [[a]] -> [a] testconcat [[]] = [] testconcat [(x:xs)] = x : xs Now, testconcat [[]] and testconcat [[1,2]] works So now I want to try with a 2nd inner list so I do this: testconcat :: [[a]] -> [a] testconcat [[]] = [] testconcat [(x:xs)] = x : xs testconcat [(x:xs), (y:ys)] = x : xs : y : ys and I get load error: Couldn't match expected type `a' with actual type `[a]' `a' is a rigid type variable bound by the type signature for testconcat :: [[a]] -> [a] at prog_haskell.hs:218:15 In the first argument of `(:)', namely `xs' In the second argument of `(:)', namely `xs : y : ys' In the expression: x : xs : y : ys But this loads ok: testconcat :: [[a]] -> [a] testconcat [[]] = [] testconcat [(x:xs)] = x : xs testconcat [(x:xs), (y:ys)] = x : xs Even this line cannot be loaded: testconcat [(x:xs), (y:ys)] = x : xs : [] Couldn't match expected type `a' with actual type `[a]' `a' is a rigid type variable bound by the type signature for testconcat :: [[a]] -> [a] at prog_haskell.hs:218:15 In the first argument of `(:)', namely `xs' In the second argument of `(:)', namely `xs : []' In the expression: x : xs : [] Failed, modules loaded: none. if x : xs works why not x : xs : <something else> ??? Can someone please explain?

5 4