- Beginners - Haskell.org

generating the set of all finite-valued functions on a finite space
by Erik Quaeghebeur 23 Apr '09

23 Apr '09

Hi, I'd like to lazily generate the set of all {-1,0,1}-valued functions on {'a','b','c'}? How should I best approach this. I was thinking about generalizing the power set definition powerset :: [a] -> [[a]] powerset = filterM (const [True, False]) but clearly don't know enough about filterM and the like to do it this way. Erik

1 0

problem cabal install'ing hmatrix
by Erik Quaeghebeur 22 Apr '09

22 Apr '09

$ cabal install hmatrix Resolving dependencies... Configuring hmatrix-0.5.1.1... Preprocessing library hmatrix-0.5.1.1... running dist/build/Numeric/GSL/Special/Internal_hsc_make failed command was: dist/build/Numeric/GSL/Special/Internal_hsc_make >dist/build/Numeric/GSL/Special/Internal.hs cabal: Error: some packages failed to install: hmatrix-0.5.1.1 failed during the building phase. The exception was: exit: ExitFailure 1 What should I do to diagnose/resolve this problem? I'm on Gentoo/amd64 and have also posted this question in the gentoo forums. TIA for any help and pointers, Erik

2 1

Design questions for a Pascal interpreter
by Giuliano Vilela 21 Apr '09

21 Apr '09

Hello, I've been doing some research for a upcoming homework project, a Pascal interpreter written in Haskell. As a beginner to the language, I have a few design questions I'd like to share with you. I started playing with Parsec, getting a feel for parsing with monadic combinators. My assumption here is that i'm going to take the source, transform it in an AST (built with normal data constructors present in Haskell), maybe build a symbol table while doing that (using the implicity state in Parsec), do some checking (mainly type checking I think), and the evaluation itself. Here are a few questions I had so far: - Keeping the whole AST in memory for the evalution phase seems overkill. Is there a better way? - The evalution, I think, would be a set of nice pure mutually recursive functions that do some pattern matching on the program AST. I would pass the current stack and heap for those functions to use and modify. Is the State monad a good fit for this task? Wouldn't the code become "too imperative"? - And finally, the big question. Consider the following pascal source: program HelloWorld; begin writeln('Hello World'); end. To evaluate the AST, I would eventually arrive at something like: eval (FunctionCall func_name func_args) = ... Obviously, to evaluate writeln I need to be in the IO monad. Here, my whole scheme went down. Do I really have to mix my own state (stack, heap) within the IO monad along my evaluation functions? PS: I could keep a list of things to print, that I would eventually do after I traversed the whole tree, but that wouldn't be "realistic". Thank you! -- []'s Giuliano Vilela.

3 2

typeclass error
by Amitava Shee 21 Apr '09

21 Apr '09

I have the following code -- foo.hs module Foo where class Foo a where bar :: a -> a instance Foo Int where bar i = i + 10 ------------------ It fails to compile withe following error *Foo> bar 10 <interactive>:1:4: Ambiguous type variable `t' in the constraints: `Num t' arising from the literal `10' at <interactive>:1:4-5 `Foo t' arising from a use of `bar' at <interactive>:1:0-5 Probable fix: add a type signature that fixes these type variable(s) *Foo> - Thanks Amitava Shee

3 4

Parsec 3.0 problems
by Ian Duncan 20 Apr '09

20 Apr '09

Hello everyone, I have the simple applicative parser combinator: parseLabel = Label <$> (between spaces (char ':') (many1 alphaNum)) This gives me the error: No instance for (Stream s m Char) arising from a use of `spaces' at tree.hs:18:32-37 Possible fix: add an instance declaration for (Stream s m Char) In the first argument of `between', namely `spaces' In the second argument of `(<$>)', namely `(between spaces (char ':') (many1 alphaNum))' In the expression: Label <$> (between spaces (char ':') (many1 alphaNum)) When I test this function in ghci, I have no problems, yet whenever I try to open it in a file it fails. What am I doing wrong? For those who are curious, Label is a data constructor in the following data type: data Loc = Label String | Addr Int deriving Show Thanks! Ian Duncan

2 1

Question on Lists
by Nathan Holden 19 Apr '09

19 Apr '09

I have been reading Chris Okasaki's PhD thesis on Purely Functional Data Structures (www.cs.cmu.edu/~rwh/theses/*okasaki*.pdf) and it discusses his idea of lazy lists (He uses Standard ML in the paper), and it raised some questions for me. To cut to the chase, my question is this: Say I have list x of length n, and I have a single piece of data y. Does x ++ [y] take more cycles, or the same as if I'd said y:[x] (which would get it on the wrong side?)

2 1

Installing Yi With GTK Frontend
by aditya siram 18 Apr '09

18 Apr '09

Hi all, I am having issues installing Yi with the GTK frontend. I have GTK2hs installed correctly but when I do 'yi --help' I get: Usage: yi [option...] [file] --self-check run self-checks -f [frontend] --frontend=[frontend] Select frontend, which can be one of: vty -y path --config-file=path Specify a configuration file -V --version Show version information -h --help Show this help --debug Write debug information in a log file -l [num] --line=[num] Start on line number --as=[editor] Start with editor keymap, where editor is one of: emacs, vim, cua --recompile-force Force recompile of custom yi before starting --resume Resume execution of yi from previous state --recompile Recompile custom yi if required then exit --ghc-options=[flags] Flags to pass to GHC Does Yi need a specific version of Gtk2hs? Thanks ... -deech

2 1

Re: [Haskell-beginners] Partial Loading and Debugging with GHCI
by Kalman Noel 18 Apr '09

18 Apr '09

aditya siram schrieb: > I would then have to comment out 'bad', reload the program and query output > types to my hearts content. This is fine for a small program, but when I > have functions are downriver from 'bad', it gets extremely cumbersome. Is > there a way to load a file such that functions that compile stay loaded in > the interpreter even if something else fails? You can identify the offensive functions and write, in your example, bad :: String -- bad = hello ++ number bad = undefined

1 0

Re: [Haskell-beginners] Installing Yi With GTK Frontend
by Kalman Noel 17 Apr '09

17 Apr '09

aditya siram schrieb: > I am having issues installing Yi with the GTK frontend. The gtk frontend has been replaced by the pango frontend. It depends on gtk2hs likewise. On installation, pass -fpango to Setup.hs to make sure that the frontend will get installed, or to be told what it doesn't find. Kalman

1 0

Partial Loading and Debugging with GHCI
by aditya siram 17 Apr '09

17 Apr '09

Hi all, I'm curious as to how one would go about debugging the following program: hello :: String hello = "Hello" world :: String world = "World" number :: Int number = 1 helloWorld :: String helloWorld = hello ++ " " ++ world -- This fails! bad :: String bad = hello ++ number Predictably once I load this program into ghci I get the following error: [1 of 1] Compiling Main ( TestCode.hs, interpreted ) TestCode.hs:14:15: Couldn't match expected type `[Char]' against inferred type `Int' In the second argument of `(++)', namely `number' In the expression: hello ++ number In the definition of `bad': bad = hello ++ number Failed, modules loaded: none. At this point what I want to do is to query the output type of the different functions like so: > :t hello but GHCI won't let me because the program hasn't been loaded. I would then have to comment out 'bad', reload the program and query output types to my hearts content. This is fine for a small program, but when I have functions are downriver from 'bad', it gets extremely cumbersome. Is there a way to load a file such that functions that compile stay loaded in the interpreter even if something else fails? Thanks ... -deech

4 3