Re: [Haskell-cafe] Stacking monads

Andrew Coppin wrote: Wuh? What's Traversable? > In general, one way to make the composition of two > monads m and n into a monad is to write a function n (m a) -> m (n a); > this is the sequence method of a Traversable instance for n. Oh, *that's* Traversable? Mind you, looking at Data.Travers

[Haskell-cafe] Interesting new user perspective

http://sandersn.com/blog/index.php?title=two_weeks_of_haskell Has some good thoughts on what tripped him up in his first two weeks of Haskell programming. Anything people want to work on there? :-) Worth a read if you're thinking about how to make Haskell yet more accessible. -- Don

Re: [Haskell-cafe] Re: Total Functional Programming in Haskell

David Menendez wrote: On Wed, Oct 1, 2008 at 7:53 PM, wren ng thornton <[EMAIL PROTECTED]> wrote: [1] Just like existential types, you can put something in but you can never get it back out again. For inescapable monads like IO and ST, this is why they have the behavior of sucking your whole pro

[Haskell-cafe] Re: Job Opportunity

Michael Bott wrote: > I have been recommended to use this site from a couple of people I have > spoken to. Sorry if this offends anyone but I have an amazing > opportunity for a 2 Functional Programmers based in London. > > Functional Programming - (HASKELL / ERLANG / OCAML) - Financial > > This

[Haskell-cafe] Re: Hackage Build Failures

Emil Axelsson wrote: > Stephan Friedrichs skrev: >> Emil Axelsson wrote: >>> [...] >>> >>> The error comes from using QuickCheck 2, which happens to also use the >>> operator (><). I can see two ways to solve the problem: >>> >>> (1) Add "< 2" after "QuickCheck" in the Wired.cabal file. >>> >>> (2)

Re: [Haskell-cafe] Restricted file reading monad

On Thu, 2 Oct 2008, George Pollard wrote: Hello all, I'm currently working on a (toy) ID3 [1] tag reader, which made me think of a library which might be quite useful. The structure of an ID3 tag goes something like this: Header: - total size of tag - other header info A series of frames, ea

RE: [Haskell-cafe] Hackage Build Failures

On Wed, 1 Oct 2008, Mitchell, Neil wrote: The error comes from using QuickCheck 2, which happens to also use the operator (><). I can see two ways to solve the problem: (1) Add "< 2" after "QuickCheck" in the Wired.cabal file. (2) Add "hiding ((><))" after "import Test.QuickCheck" in Data/H

Re: [Haskell-cafe] Haddock Feature Proposal

On 2008 Oct 4, at 17:41, Jason Dagit wrote: I was just thinking about how many devs put "TODO ...", "FIXME ...", or "HACK..." into comments. Do others think this could be nice optional information for Haddock to display? I think it could give people an idea for how mature, stable or clean

[Haskell-cafe] outdated OpenSPARC webpage

Hello, the webpage under ist outdated. There is still the line saying that students can now apply. Who is responsible for this page? Wouldn’t it be better to move this page to the wiki so that keeping it up to date is easier? Best wishes, Wolfgang ___

[Haskell-cafe] Haddock Feature Proposal

Hello, I was just thinking about how many devs put "TODO ...", "FIXME ...", or "HACK..." into comments. Do others think this could be nice optional information for Haddock to display? I think it could give people an idea for how mature, stable or clean an api is just by inspecting the above item

[Haskell-cafe] Haskell Weekly News: Issue 88 - October 4, 2008

--- Haskell Weekly News http://sequence.complete.org/hwn/20081004 Issue 88 - October 04, 2008 --- Welcome to issue 88 of HWN, a newsletter covering

Re: [Haskell-cafe] monadic parser with Happy and Alex

On Sat, 2008-10-04 at 17:05 +0200, Manlio Perillo wrote: > Hi. > > I have completed a draft of a CSS lexer, using Alex. > http://hg.mperillo.ath.cx/haskell/webtools/file/tip/src/CSS/Lexer.x > > The lexer use the posn wrapper. > > Now I'm starting to write the parser with Happy, however for the f

[Haskell-cafe] Re: Health effects

Simon Brenner wrote: > 2kg of chocolate 'thunks' to 'force' really might 'blow your stack' later > on. Oh my god, this one made me laugh so hard I almost choked on the piece of chocolate I was just eating. It should definitely make it into HWN Quotes of the Week... Cheers Ben __

[Haskell-cafe] Arch Haskell News: Oct 4 2008

A weekly update about Haskell on Arch Linux. Highlights, * Arch now has 609 Haskell packages in AUR. That’s a record increase of 19 new packages in the last 7 days. Noteworthy, * mp3decoder-0.0.1: “MP3 decoder for teaching.” * yi-0.4.6.2: “The Haskell-Scr

Re: [Haskell-cafe] announcing darcs 2.1.0pre3

Eric Kow wrote: The third pre-release of darcs 2.1 is now available at http://darcs.net/darcs-2.1.0pre3.tar.gz darcs 2.1.0pre3 is now available in Gentoo Linux, hard masked. Update your portage tree and unmask[1] it. Cheers, Lennart Kolmodin [1] http://gentoo-wiki.com/Masked#Hard_Masked

[Haskell-cafe] An important question to Simon P. Jones

Dear Simon! Can you please give an authoritative explanation, in the nutshell, what is exact relationship between object-oriented programming and proposed lightweight extensible records? Thanks in advance, sincerely yours, Vag. ___ Haskell-Cafe mailing l

Re: [Haskell-cafe] NewLines in string

On 2008 Oct 4, at 10:57, Serge D. Mechveliani wrote: Here is a certain naive question about string setting in a Haskell program. I have the functions parseProgram :: String -> Program apply:: Program -> Term -> Term-- interpreter, and try to build the example modules for

[Haskell-cafe] monadic parser with Happy and Alex

Hi. I have completed a draft of a CSS lexer, using Alex. http://hg.mperillo.ath.cx/haskell/webtools/file/tip/src/CSS/Lexer.x The lexer use the posn wrapper. Now I'm starting to write the parser with Happy, however for the final product I would like to: 1) Be able to do I/O in the lexer, for s

Re: [Haskell-cafe] maybe a goal and challenge for the Haskell in terms of scientific computing

FWIW, I always thought that Haskell, and in particular, ghci, would be a great environment for statistics. I've used R a bit, and while it has a functional flavor to it, I find Haskell much nicer for programming. We just need a nice data frame type: a sliceable, labelable¹ multi-dimensional arra

[Haskell-cafe] NewLines in string

People, Here is a certain naive question about string setting in a Haskell program. I have the functions parseProgram :: String -> Program apply:: Program -> Term -> Term-- interpreter, and try to build the example modules for them as in the following example: ---

Re: [Haskell-cafe] Haskell-cafe-cafe? Was: Re: Health effects

On Fri, 3 Oct 2008, Brandon S. Allbery KF8NH wrote: Oddly enough, it seems to me that haskell-*cafe* identifies a list that isn't tightly focused, as compared to [EMAIL PROTECTED] Perhaps we need to rethink names (although any changes will probably hurt). I thought this too. But, I think

Re: [Haskell-cafe] Type family oddity

-- erase_range :: (Sequence s) => RangeTrait s -> IO (RangeTrait s) This can't work, as you can see after desugaring: -- erase_range :: (Sequence s,RangeTrait s~rs) => rs -> IO rs There is nowhere to get 's' from, unless you start applying type families backwards, from results to parameters.

Re: [Haskell-cafe] Haskell participating in big science like CERN Hadron....

Gents Too late to get in on that act - that software was designed over the last 10/15 years implemented and trailed over the last 5 and being tuned now. But all is not lost, Haskell is being used! Well in least in helping ATLAS people understand how to the data acquisition system performs

[Haskell-cafe] Type family oddity

I can't figure out why the following code doesn't compile with the October 2n GHC 6.10 beta (-XTypeFamilies -XFlexibleContexts) when the type declaration is not commented out. module T where type family RangeTrait c class InputRange r where remaining :: r -> Bool advance :: r -> r class

Re: [Haskell-cafe] Model-driven development (was: Haskell participting in big science like CERN Hadrian...)

On Fri, Oct 3, 2008 at 6:39 PM, <[EMAIL PROTECTED]> wrote: > G'day all. > > Quoting Don Stewart <[EMAIL PROTECTED]>: > > How about EDSLs for producing high assurance controllers, and other >> robust devices they might need. I imagine the LHC has a good need for >> verified software components...