- Beginners - Haskell.org

Are these statements about Haskell correct?
by Costello, Roger L. 25 Oct '11

25 Oct '11

Hi Folks, Are these statements accurate: 1. The Haskell language is a layer of abstraction on top of Lambda Calculus. 2. Haskell programs may be expressed entirely using Lambda expressions. 3. The non-Lambda stuff in Haskell is syntactic sugar to make Haskell programs easier to write. 4. The field of Lambda Calculus is formal and rich and enables powerful properties of Lambda expressions to be proven. 5. A Haskell program may be translated to consist entirely of Lambda expressions. Then, Lambda Calculus may be employed to prove powerful properties about the program. /Roger

3 2

List of all prelude function types?
by Patrick LeBoutillier 25 Oct '11

25 Oct '11

Hi, Does anyone know where I can find a list of types for all Prelude functions? Something like: all :: (a -> Bool) -> [a] -> Bool and :: [Bool] -> Bool ... zip :: [a] -> [b] -> [(a, b)] Thanks, Patrick -- ===================== Patrick LeBoutillier Rosemère, Québec, Canada

4 3

problem installing checkers
by Britt Anderson 24 Oct '11

24 Oct '11

I wanted to try reactive, but cabal install fails on checkers (a dependency). Here is a portion of the error message, there are other overlapping instances that follow. Can someone advise me how to proceed. Thank you. [13 of 15] Compiling Test.QuickCheck.Classes ( src/Test/QuickCheck/Classes.hs, dist/build/Test/QuickCheck/Classes.o ) src/Test/QuickCheck/Classes.hs:137:38: Overlapping instances for Show (a -> b) arising from a use of `property' Matching instances: instance Show (a -> b) -- Defined in Text.Show.Functions instance Show base:System.Event.Manager.IOCallback -- Defined in base:System.Event.Manager (The choice depends on the instantiation of `a, b' To pick the first instance above, use -XIncoherentInstances when compiling the other instance declarations) In the expression: property binopP In the expression: ("binop", property binopP) In the expression: [("identity", property identityP), ("binop", property binopP)]

4 5

How do I determine if a list created using a lambda expression is null?
by Costello, Roger L. 24 Oct '11

24 Oct '11

Hi Folks, I have a lambda expression that can be used to construct a list of values: cons = (\a -> (\b -> (\f -> f a b))) Here is an example that uses cons to construct "hello" hello = cons 'h' (cons 'e' (cons 'l' (cons 'l' 'o'))) And here is a lambda expression that returns the tail of a list created using cons: tail' = (\c -> c (\a -> (\b -> b))) I would like to create a function that computes the length of a cons-created list: length' = \xs -> if ( null' xs ) then 0 else length' (tail' xs) + 1 How would I define null' to determine if a cons list is empty? null' = ??? /Roger

2 1

Newbie unicode utf8 question
by Manfred Lotz 23 Oct '11

23 Oct '11

Hi there, I want to read a unicode file and print it to screen. My terminal was unintentionally set to POSIX locale and that was the reason that it didn't work properly. When I added two hSetEncoding statements it worked fine, even under POSIX. Test file uc.in contains a simple line Möbius Château Here is the small test program I tried: <-----------------------------snip----------------------------> module Main where import System.IO import Text.Printf main :: IO () main = do h <- openFile "uc.in" ReadMode hSetEncoding h utf8 hSetEncoding stdout utf8 s <- hGetContents h print s putStrLn $ "File contains line: " ++ s printf "File contains line: %s\n" s <-----------------------------snap----------------------------> Both putStrLn, and printf work fine. When setting a different locale, e.g. en_GB.iso88591 then both putStrLn and printf work fine even if I haven't set encoding to utf in the source. Then I discovered System.IO.UTF8. However, when I use this as below then the output is garbled. <-----------------------------snip----------------------------> module Main where import System.IO import System.IO.UTF8 as U import Text.Printf main :: IO () main = do h <- openFile "uc.in" ReadMode hSetEncoding stdout utf8 s <- U.hGetContents h U.print s U.putStrLn $ "File contains line: " ++ s printf "File contains line: %s\n" s <-----------------------------snap----------------------------> Any idea why this won't work. -- Manfred

2 2

Placement in module hierarchy
by Moritz Fischer 23 Oct '11

23 Oct '11

Hi list, I've been working on bindings for pcsclite. The library allows for communicating with smartcard readers and RFID. (My final goal is to hook it up to talk to a Mifare DESFire RFID card.) Where would you place something like this? System.Smartcard? Cheers & happy hacking Moritz Btw: If you want to have a look at what I did so far (just basic functionality), check out http://github.com/mfischer/haskell-smartcard. I'm open for comments on possible improvements.

2 1

slightly scramble list randomly
by Dennis Raddle 22 Oct '11

22 Oct '11

I want to take a list of size N that starts in ascending order and "slightly randomly scramble it"--- each element is moved within M steps of its original position (there can be some tolerance for slightly over M). The application is a backtracking algorithm that produces random solutions but tends to favor certain choices--at each node of the search tree I can evaluate the goodness of each possible next step, but I don't want the algorithm to always take the best choice. Just roughly, much of the time. Dennis

2 1

[Yesod] How can I dynamically generate selectFields
by Michael Litchard 21 Oct '11

21 Oct '11

Link to details http://stackoverflow.com/questions/7854923/how-can-i-dynamically-generate-s…

1 0

Unresponsive interactive GHC using Leksah
by Hugo Ferreira 21 Oct '11

21 Oct '11

Hello, I am trying out the code in the book http://nlpwp.org/. When testing the code in chapter 7 (POS tagger), the interactive session consumes much memory and the whole system becomes unresponsive (Ubuntu 10.04, Dual Core, 2 Gig memory). I even find it difficult to kill the process. If I execute a ghci session I see very large memory (1.6Gig) use and relative slow execution. However the system does not become as unresponsive. If I run the executable directly the execution goes from minutes to seconds. Anyone know if I can tweak GHCi and/or leksah to avoid or simple reduce this problem? TIA, Hugo F.

2 2

TLS, PGP and maybe more crypto-stuff
by Mateusz Neumann 21 Oct '11

21 Oct '11

Hi I am considering using Haskell in my next project. However the very core of my application depends on strong cryptographic algorithms securing communication. I thought about using GnuPG (PGP) but did not find Haskell library (I admit, I did not search for long). So my idea was to look into TLS based stuff, but here I found few different libraries. For a moment I thought of developing something basing on ECC, but again I did not find anything. My questions are: * is there a (decent) GnuPG (PGP) library in Haskell? * what TLS (possibly 1.2) library would you suggest? * is there a ECC library? -- Mateusz

2 4