- Beginners - Haskell.org

How to write replicateM with interspersed guards?
by Sebastien Zany 04 Oct '11

04 Oct '11

What would be the idiomatic way to write a function which expands to the following? f n m = do { x1 <- m; guard (f [x1]); x2 <- m; guard (f [x1, x2]); . . . xn <- m; guard (f [x1,x2,...,xn]); } What I'm trying to do is generate a list of lists of length n with some property (checked by f) efficiently.

2 2

A post about Currying and Partial application
by Petar Radosevic 04 Oct '11

04 Oct '11

Hi, Like most here I'm also learning the beautiful language called Haskell and arrived at the subject of Currying. To see if I really understood the concept, I decided to write a blog post about it. http://s3.wunki.org/posts/2011-09-30-curry-and-its-partial-application.html I hope it helps some of the beginners here. Please take a look at it and let me know if I'm wrong or if I missed something. Thank you! -- Petar Radošević, Programmer wunki.org | @wunki

5 8

Re: [Haskell-beginners] How to write replicateM with interspersedguards?
by anyzhen 04 Oct '11

04 Oct '11

like this? let inits' xs = drop 1 $ inits xs in let getLists n m = inits' take n (repeat m) in f m n =map (\x-> guard $ f x) xs where xs =getLists n m ------------------ Original ------------------ From: "Sebastien Zany"; Date: 2011年10月4日(星期二) 晚上8:27 To: "Haskell Beginners"; Subject: [Haskell-beginners] How to write replicateM with interspersedguards? What would be the idiomatic way to write a function which expands to the following? f n m = do { x1 <- m; guard (f [x1]); x2 <- m; guard (f [x1, x2]); . . . xn <- m; guard (f [x1,x2,...,xn]); } What I'm trying to do is generate a list of lists of length n with some property (checked by f) efficiently.

1 0

Trying out GuiTV
by Martin Baldan 03 Oct '11

03 Oct '11

Hello all, I hope this is the right place to ask :) I'm very new to Haskell, but I'm intrigued with the concept of "tangible values". I'm trying to run the examples from Conal Elliott's TV library. I did Cabal install TV and GuiTV. Then I tried to compile the examples from the GuiTV package, but no luck, so I decided to go for something simpler, so I took the examples from the TV site http://haskell.org/haskellwiki/TV but I used the imports from the GuiTV package. I called the file "myexample.hs" and it looks like this: ------------------ {-# LANGUAGE OverlappingInstances, UndecidableInstances , IncoherentInstances, FlexibleContexts , TypeSynonymInstances, FlexibleInstances , MultiParamTypeClasses #-} -- For ghc 6.6 compatibility {-# OPTIONS -fglasgow-exts -fallow-overlapping-instances -fallow-incoherent-instances #-} ---- Some GuiTV examples. See also the examples in TV. import Data.List (sort) -- my addition import Data.Monoid -- end my addition import Interface.TV.UI import Control.Arrow.DeepArrow import Data.FunArr -- TypeCompose import Data.Title -- To pick up the FunArr instance for OFun. import Interface.TV.OFun() reverseT :: CTV (String -> String) reverseT = tv (oTitle "reverse" defaultOut) reverse main = runUI reverseT ----------------------- I don't understand the "#LANGUAGE" and "#OPTIONS" parts, I just left them as they were. I assume that they don't influence the result, since they are comments. I also added the "import Data.Monoid" line, because of a previous error message. I guess it doesn't hurt. Then I type "ghc ./myexample.hs" and the output is: ------------------ myexample.o: In function `s2oa_info': (.text+0x2b): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZMZN0_closure' myexample.o: In function `s2ob_info': (.text+0x61): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultInsrcZMZN0_closure' myexample.o: In function `s2od_info': (.text+0xc6): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZLzmzgZR_closure' myexample.o: In function `s2of_info': (.text+0x169): undefined reference to `TVzm0zi4zi7_InterfaceziTVziOutput_oTitle_closure' myexample.o: In function `r1jF_info': (.text+0x1b7): undefined reference to `TVzm0zi4zi7_InterfaceziTVziTangible_tv_closure' myexample.o: In function `r2nX_info': (.text+0x224): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonOutsZCzi_closure' myexample.o: In function `r2nX_info': (.text+0x22b): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonInsZCzi_closure' myexample.o: In function `r2nX_info': (.text+0x28a): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_runUI_closure' myexample.o: In function `r2nX_info': (.text+0x325): undefined reference to `__stginit_GuiTVzm0zi4_InterfaceziTVziUI_' myexample.o: In function `r2nX_info': (.text+0x32f): undefined reference to `__stginit_TVzm0zi4zi7_InterfaceziTVziOFun_' myexample.o: In function `r2nX_info': (.text+0x339): undefined reference to `__stginit_DeepArrowzm0zi3zi3_ControlziArrowziDeepArrow_' myexample.o: In function `r2nX_info': (.text+0x343): undefined reference to `__stginit_DeepArrowzm0zi3zi3_DataziFunArr_' myexample.o: In function `r2nX_info': (.text+0x34d): undefined reference to `__stginit_TypeComposezm0zi8zi3_DataziTitle_' myexample.o: In function `s2oc_info': (.text+0x7c): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_defaultOut_info' myexample.o: In function `r1jF_srt': (.data+0x8): undefined reference to `TVzm0zi4zi7_InterfaceziTVziOutput_oTitle_closure' myexample.o: In function `r1jF_srt': (.data+0xc): undefined reference to `TVzm0zi4zi7_InterfaceziTVziTangible_tv_closure' myexample.o: In function `r1jF_srt': (.data+0x10): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZMZN0_closure' myexample.o: In function `r1jF_srt': (.data+0x14): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultOutsrcsnkZLzmzgZR_closure' myexample.o: In function `r1jF_srt': (.data+0x18): undefined reference to `TVzm0zi4zi7_InterfaceziTVziDefaults_zdfDefaultInsrcZMZN0_closure' myexample.o: In function `r2nX_srt': (.data+0x24): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonOutsZCzi_closure' myexample.o: In function `r2nX_srt': (.data+0x28): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_zdfCommonInsZCzi_closure' myexample.o: In function `r2nX_closure': (.data+0x40): undefined reference to `GuiTVzm0zi4_InterfaceziTVziUI_runUI_closure' collect2: ld returned 1 exit status ------------------ I have no clue what the problem may be. Any ideas? Thanks in advance!

3 2

clarity and complexity of Haskell code?
by Gregory Guthrie 28 Sep '11

28 Sep '11

I always enjoy and tout the clarity and simplicity of the declarative style of functional programming, and with that also Haskell. But it seems that although the wonderfully short and clear examples dominate early learning and usage, the forums like this and café are dominated by examples more like this: import Data.Enumerator (run_, ($$), (=$)) import Data.Enumerator.Binary (enumHandle, iterHandle) import Data.Enumerator.List as EL (map) import Data.ByteString as B (map) import Data.Bits (complement) import System.IO (withFile, IOMode(..)) main = withFile "infile" ReadMode $ \inh -> withFile "outfile" WriteMode $ \outh -> do run_ (enumHandle 4096 inh $$ EL.map (B.map complement) =$ iterHandle outh) And many more - looks more like APL or Perl to me. :) Certainly not the Python'ish model of "anyone can read this, and it is clear what it does". Seems like the assertion that FP is easier and more clear is true at introductory levels, but there are some subsequent big gradients in the learning and usage curve. I use it only in very simple and small programs, so wondered about the observations on this from more experienced experts. I wonder if any studies have been done to quantify and measure the complexity of programs in Haskell, as a way to assess this property.

6 5

Builds with cabal, but not with GHC
by Amy de Buitléir 28 Sep '11

28 Sep '11

I'm getting some weird errors when I try to compile this with GHC, or load it in GHCi, but it compiles (and runs) just fine using cabal. Here's the file... ********** FILE Test.hs: ********** module Main where import Control.Monad.Error ( runErrorT, ErrorT, join, liftIO ) import Data.ConfigFile ( get, CPError, emptyCP, readfile ) data Configuration = Configuration { popDir :: FilePath, username :: String, sleepTime :: Int } deriving Show parseConfig :: ErrorT CPError IO Configuration parseConfig = do cp <- join $ liftIO $ readfile emptyCP "/etc/creatur-daemon.conf" u <- Data.ConfigFile.get cp "DEFAULT" "user" pd <- Data.ConfigFile.get cp "DEFAULT" "dir" st <- Data.ConfigFile.get cp "DEFAULT" "sleeptime" return $ Configuration { popDir = pd, username = u, sleepTime = st } main :: IO () main = do rv <- runErrorT parseConfig case rv of Left (_, msg) -> putStrLn msg Right config -> print config ********** When I compile it with ghc, I get the following: $ ghc -hide-package monads-fd Test.hs [1 of 1] Compiling Main ( Test.hs, Test.o ) Test.hs:20:9: No instance for (mtl-1.1.1.1:Control.Monad.Error.Class.MonadError CPError (ErrorT CPError IO)) arising from a use of `get' Possible fix: add an instance declaration for (mtl-1.1.1.1:Control.Monad.Error.Class.MonadError CPError (ErrorT CPError IO)) In a stmt of a 'do' expression: st <- get cp "DEFAULT" "sleeptime" In the expression: do { cp <- join $ liftIO $ readfile emptyCP "/etc/creatur-daemon.conf"; u <- get cp "DEFAULT" "user"; pd <- get cp "DEFAULT" "dir"; st <- get cp "DEFAULT" "sleeptime"; .... } In an equation for `parseConfig': parseConfig = do { cp <- join $ liftIO $ readfile emptyCP "/etc/creatur-daemon.conf"; u <- get cp "DEFAULT" "user"; pd <- get cp "DEFAULT" "dir"; .... } Test.hs:21:3: No instance for (Error (CPErrorData, String)) arising from a use of `return' Possible fix: add an instance declaration for (Error (CPErrorData, String)) In the expression: return In the expression: return $ Configuration {popDir = pd, username = u, sleepTime = st} In the expression: do { cp <- join $ liftIO $ readfile emptyCP "/etc/creatur-daemon.conf"; u <- get cp "DEFAULT" "user"; pd <- get cp "DEFAULT" "dir"; st <- get cp "DEFAULT" "sleeptime"; .... } I tried adding the instance declarations, but I don't think I did it right because I then had to add a bunch of imports, and the problems just snowballed. With this cabal file, I can do "cabal install", and the program compiles and runs just fine. ********** FILE: Creatur.cabal ********** Name: Creatur Version: 2.0 Description: Créatúr License: OtherLicense License-file: LICENSE Author: Amy de Buitléir Maintainer: amy(a)nualeargais.ie Build-Type: Simple Cabal-Version: >=1.2 Executable amy-test Main-Is: Test.hs GHC-Options: -Wall -Werror Build-Depends: base >= 4 && < 5, mtl ==1.1.*, ConfigFile ==1.0.* ********** Can anyone tell me how to modify the code so it will compile? Thank you in advance.

4 6

sorting almost sorted list
by Dennis Raddle 28 Sep '11

28 Sep '11

I have a problem from music. I have a list of notes sorted by begin time. I want to sort them by end time. Notes that are sorted by begin time are usually close to sorted by end time, because notes tend to cluster within a small range of durations. What algorithms are available to me (hopefully in a library) that are good with this kind of thing? Dennis

4 3

Re: [Haskell-beginners] sorting almost sorted list
by David Fletcher 27 Sep '11

27 Sep '11

On Mon, 26 Sep 2011 19:46:29 -0700 Dennis Raddle wrote: > I have a problem from music. I have a list of notes sorted by begin > time. I want to sort them by end time. > > Notes that are sorted by begin time are usually close to sorted by end > time, because notes tend to cluster within a small range of durations. > > What algorithms are available to me (hopefully in a library) that are > good with this kind of thing? > How about something like this? It keeps an output queue sorted by the end time. We allow notes to exit the queue and become part of the result as soon as we can guarantee we aren't going to see any notes with an earlier end time. data Note = Note { begin :: Integer, end :: Integer } noteSort :: [Note] -> [Note] noteSort = noteSort' [] noteSort' :: [Note] -> [Note] -> [Note] noteSort' outq [] = outq noteSort' outq (x:xs) = out ++ noteSort' outq'' xs where (out, outq') = span (`entirelyBefore` x) outq outq'' = insertBy (comparing end) x outq' entirelyBefore :: Note -> Note -> Bool a `entirelyBefore` b = end a < begin b Here I've used a sorted list for the queue, so in the worst case (with a note that lasts for the whole piece), it degrades into an insertion sort of the whole thing. But you could replace that list with a heap, and then it would degrade into a heapsort. David.

1 0

Re: [Haskell-beginners] sorting almost sorted list
by Yitzchak Gale 27 Sep '11

27 Sep '11

I wrote: > Can you guarantee for some value of m that for each note N, > only the first m notes following N might end earlier than N? > If so, then the following simple algorithm is linear > and runs in constant space. You could then use: > sortAlmostBy m (comparing endTime) > ...You might be able to do a little better than this. After running some tests, it seems empirically that you can use m `div` 2 instead of m for lists of even length, which gives you a nice speedup for larger values of m. For lists of prime length, the best you can do seems to be m-1. It's more complicated for lists of non-prime odd length. I can't immediately see why any of that is true. Daniel to the rescue perhaps? test n k = fmap (all isSorted . map (sortAlmostBy n compare)) $ rands k isSorted xs = and . zipWith (<=) xs $ drop 1 xs rands d = fmap (take 100 . map (concat . zipWith (map . (+)) [0,d ..] . chunksOf d) . chunksOf 1000 . randomRs (0, d-1)) newStdGen Thanks, Yitz

2 6

Re: [Haskell-beginners] Functional programming principles at higher levels?
by Christopher Howard 26 Sep '11

26 Sep '11

On 09/24/2011 09:12 PM, Mike Meyer wrote: > > Actually, functional programming and the higher math are separate > things. Haskell (and I expect the similar languages) have a lot of > math in their documentation. But that's not true for other functional > languages, like Clojure or Scheme. With a background in those > languages, I didn't have much trouble with the functional nature of > haskell. But I'm still trying to recall the graduate math courses I > took long time ago in a state far, far different from today. > Really? I'll confess I'm a bit surprised to hear that perspective. I don't know anything about Clojure or Scheme. But I found in trying to understand Haskell that it really is all about higher math. Once I finally gave up on "learnyouahaskell" and other ridiculous tutorials, I found the real functional programming textbooks, and discovered that it all starts with lambda calculus; all the explanations are given in set theory notation, with occasionally comparisons to integral and differential calculus for illustration, with very specific rules regarding substitution and reduction and normal forms. I'm still trying to figure out what all those combinators are about! And it is all rested on mathematical proofs, usually inductive. And that is just the lambda calculus aspect. Then we move on to type theory (!!!) plus the various types of polymorphism, and then on to a number of other topics that I don't know enough about to even mention intelligibly. -- frigidcode.com theologia.indicium.us

5 6