- Haskell-Cafe - Haskell.org

Latest Haskell Platform for Windows
by Aaron Gray 22 Dec '10

22 Dec '10

Could someone please point me at a copy of the latest Haskell platform or a working GHC please. Many thanks in advance, Aaron

3 3

Windows Haskell Platform download link is broken
by Aaron Gray 22 Dec '10

22 Dec '10

Windows Haskell Platform download link goes nowhere :- http://hackage.haskell.org/platform/windows.html The "Download Haskell for Windows" is broken :- http://lambda.galois.com/hp-tmp/2010.2.0.0/HaskellPlatform-2010.2.0.0-setup… Aaron

1 0

Problem with class Control.Monad.Error noMsg usage
by Aaron Gray 21 Dec '10

21 Dec '10

I have been trying to build the Scheme in 24 Hours on WikiBooks :- http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours http://jonathan.tang.name/files/scheme_in_48/code/listing10.hs But I am getting an error :- scheme.hs:289:6: `noMsg' is not a (visible) method of class `Error' scheme.hs:290:6: `strMsg' is not a (visible) method of class `Error' with the following :- instance Error LispError where noMsg = Default "An error has occurred" strMsg = Default if I try importing them :- import Control.Monad.Error (noMsg, strMsg) I get the following :- scheme.hs:4:29: Module `Control.Monad.Error' does not export `noMsg' scheme.hs:4:36: Module `Control.Monad.Error' does not export `strMsg' Many thanks in advance, Aaron

4 4

Re: [Haskell-cafe] Proof in Haskell
by Daniel Fischer 21 Dec '10

21 Dec '10

I wrote: > On Tuesday 21 December 2010 19:34:11, Felipe Almeida Lessa wrote: >> >> Theorem mirror_mirror : forall A (x : Tree A), mirror (mirror x) = x. >> induction x; simpl; auto. >> rewrite IHx1; rewrite IHx2; trivial. >> Qed. > Since mirror (mirror x) = x doesn't hold in Haskell, I take it that Coq > doesn't allow infinite structures? Oops, mirroring infinite binary trees should work. Ignore above.

1 0

type class design
by Uwe Schmidt 21 Dec '10

21 Dec '10

Dear Haskellers, I've a question about type class design. When developing the set of functions for a class, there are often two or more functions, let's say f and g, where the semantics of g can be expressed by f. When writing down the code, there are two choices for g. First g is included in the type class, second g is defined outside and the signature has a context referencing the class. 1. case class Foo a where f :: ... a ... g :: ... a ... g = expr[f] 2. case class Foo a where f :: ... a ... g :: Foo a => ... a ... g = expr[f] What are the reasons for choosing 1., what are the arguments for 2.? My arguments for 1.: a) Efficiency: g may be overwritten in an instance declaration by a more efficient piece of code. b) Readability: All functions, which are logically connected are grouped together in a single syntactic construct and can be found in one place (similar to an interface in Java). My argument for 2.: c) Correctness: The semantics for g are fix (relative to f), All laws for g hold everywhere, assuming f is implemented correctly. I've sometimes the problem to balance the reasons for 1. and 2 and I doubt, that this list of criteria is complete. In the standard Haskell classes we can find both cases, even within a single class. Eq with (==) as f and (/=) as g belongs to the 1. case, so does Monad and (>>=) as f and (>>) as g. But (>=>) and the Monad class fall into the 2. case. It seem, there is no uniform or consistent strategy in the core Haskell classes. What are your best practice rules for this problem? Expecting your advices, Uwe

6 8

ANN: The attosplit package splits lazy bytestrings lazily
by Yitzchak Gale 21 Dec '10

21 Dec '10

This is a belated announcement of a package I uploaded to hackage last week. When processing a large input stream, one of the most important techniques is to split the input into smaller pieces and process each piece separately. If that large input stream happens to be a lazy bytestring, the attosplit package provides a simple but powerful way to use that technique. The attosplit package exports a single function: split :: Parser Strict.ByteString -> Lazy.ByteString -> [Lazy.ByteString] It splits a lazy bytestring into a lazy list of lazy bytestrings, at boundaries defined by an attoparsec parser. Whenever the parser matches, the result of the match is prepended to the new lazy bytestring which begins at that point. For example, suppose lazyH is a lazy bytestring read from a gigantic HTML file, and you want to process each section beginning with an <H1> tag separately. Each section could itself still be quite large, so you want to process each section lazily as well. Then split (string "<H1>") lazyH is a lazy list of lazy bytestrings. The first lazy bytestring gives you all of the bytes up to the first <H1> tag. The rest of the lazy bytestrings give each section beginning with <H1> separately. This allows you to read the entire file lazily, while processing each individual section lazily on its own. Of course, you are not limited to split only at boundaries defined by a string. You have the full power of attoparsec at your fingertips. http://hackage.haskell.org/package/attosplit Enjoy! -Yitz

1 0

Re: [Haskell-cafe] Do we need Monad fail (or MonadFail)?
by Jonathan Geddes 21 Dec '10

21 Dec '10

I'd be really interested in learning the rationale behind those changes. I'm sure it wasn't done for capricious or arbitrary reasons, but I can't help but see it as a step back. --Jonathan Geddes (sent from android mobile) On Dec 21, 2010 8:47 AM, "Lauri Alanko" <la(a)iki.fi> wrote: On Tue, Dec 21, 2010 at 08:31:08AM -0700, Jonathan Geddes wrote: > I'd love for the compiler to give... You will be interested to know that everything you ask for already was in Haskell ages ago: http://www.cs.auckland.ac.nz/references/haskell/haskell-report-1.4-html/exp… They decided to get rid of it in Haskell 98, for reasons that someone else can probably explain. Lauri _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe(a)haskell.org ...

1 0

Installing snap-server with gnutls on OS X with Homebrew
by Benedict Eastaugh 21 Dec '10

21 Dec '10

Hi -café, I installed Snap 0.3 last night on my Mac, and had some problems getting it to build with SSL support. This is just a quick note of the extra flags I had to pass in when installing it in case someone else has a setup similar to mine. These instructions presume that you are using the Homebrew package manager on OS X, and that Homebrew is installing packages into /usr/local. You first need to install the gnutls library. brew install gnutls Then install snap-server. cabal update cabal install snap-server -fgnutls --extra-lib-dirs=/usr/local/lib/ --extra-include-dirs=/usr/local/include/ Note that while gnutls' dependencies libgcrypt and libgpg-error also need to be in the path, they are dependencies of gnutls and will both be installed when you install gnutls with Homebrew. Cheers, Benedict.

1 0

internal Haddock or GHC error: de-package: openBinaryFile:
by Johannes Waldmann 21 Dec '10

21 Dec '10

Hi. I try to use haddock (2.8.1) but it breaks with haddock: internal Haddock or GHC error: de-package: openBinaryFile: does not exist (No such file or directory) Why would it want to read a file with the name "de-package"? (Is "de" related to the locale? But the error also happens with LC_ALL=C) If I do "touch de-package" in the current directory, then I get haddock: internal Haddock or GHC error: Data.Binary.getWord8: end of file I am running this in a directory where I did ghc --make before, and then haddock -d $(find . -name "*.hi" | sed -e 's/\.hi/.hs/') I can't try this with haddock-2.9 since I am using ghc-6.12.3 (?) Thanks, J.W.

1 0

Haskell Parse Tree
by Jane Ren 21 Dec '10

21 Dec '10

Hi, Does anyone know how to get the parse tree of a piece of Haskell code? Any recommended documentation? Thanks

4 3