[Haskell-cafe] The Haskell Platform

Hello, I probably missed some details for which I apologize. My feeling is that "periodically" the "haskell platform server" should attempt to rebuild the Haskell library. Any library that fails to rebuild then the "maintainer" of that library should be notified, e.g. email, pager(;^)),

Re: [Haskell-cafe] Health effects

I often wonder how many cuts you need to divide a steak in n pieces. You can obviously get n pieces with (sqrt n) cuts by cutting a grid. But I'm sure some smart mathematician thought of a (log n) way. Adrian Am 29.09.2008 um 21:43 schrieb Andrew Coppin: The other day, I sat down to eat a 2

Re: [Haskell-cafe] Hackage Build Failures

On Wed, 2008-10-01 at 03:04 +0200, Cetin Sert wrote: > Hi, > > what is the best action to take if a package from hackage fails to > build? Is there a recommended/established common way to deal with > build failures/runtime bugs etc.? Most packages specify a maintainer which is conventionally an e

Re: [Haskell-cafe] cabal upgrade

On Wed, 2008-10-01 at 01:59 +0200, Cetin Sert wrote: > A reminder: > > When I wanted to upgrade to yi 0.4.6.2, I needed to download the new > package list > > cabal update #download list of new packages > cabal upgrade #make any upgrades Note that 'cabal upgrade' upgrades every

Re: [Haskell-cafe] Re: Hmm, what license to use?

brianchina60221: > On Tue, Sep 30, 2008 at 8:54 PM, Stefan Monnier > <[EMAIL PROTECTED]> wrote: > >> That still leaves anyone free to use LGPL if they want to, but please > >> don't assume that it allows commercial use by all potential users. > > > > It *does* allow commercial use. Your example ju

Re: [Haskell-cafe] Re: Hmm, what license to use?

On Tue, Sep 30, 2008 at 8:54 PM, Stefan Monnier <[EMAIL PROTECTED]> wrote: >> That still leaves anyone free to use LGPL if they want to, but please >> don't assume that it allows commercial use by all potential users. > > It *does* allow commercial use. Your example just shows that some > people m

[Haskell-cafe] Re: Hmm, what license to use?

> I am not allowed to use such an interpretation. The (expensive and very > carefully researched) legal advice used to shape the use of Open Source > code at my employer has resulted in a "no LGPL under any circumstances > whatsoever" policy. [...] > That still leaves anyone free to use LGPL if the

[Haskell-cafe] Hackage Build Failures

Hi, what is the best action to take if a package from hackage fails to build? Is there a recommended/established common way to deal with build failures/runtime bugs etc.? For example: [EMAIL PROTECTED]:~/Links/Elite/ac> cabal install wired Resolving dependencies... Downloading Wired-0.1.1... Con

Re: [Haskell-cafe] state monad and continuation monads ...

Galchin, Vasili wrote: 1) pedagogical examples of State monad and the Continuation monad Shameless plug: http://www.vex.net/~trebla/haskell/ContMonad.lhs ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinf

Re: [Haskell-cafe] Re: having fun with GADT's

has the "with" syntax described in > been replaced with the "where" syntax? so data Foo a where FooInt :: FooInt the same thing as data Foo A = FooInt with a = Int ___ Haskell-Cafe ma

Re: [Haskell-cafe] Packages

A reminder: When I wanted to upgrade to yi 0.4.6.2, I needed to download the new package list first cabal update#download list of new packages cabal upgrade #install newer versions of all packages see "cabal help upgrade" for more, for upgrading a single package cabal upgrade yi Regards,

Re: [Haskell-cafe] cabal upgrade

A reminder: When I wanted to upgrade to yi 0.4.6.2, I needed to download the new package list cabal update #download list of new packages cabal upgrade #make any upgrades Regards, CS 2008/9/26 Duncan Coutts <[EMAIL PROTECTED]> > On Fri, 2008-09-26 at 10:49 +0200, Achim Schnei

Re: [Haskell-cafe] Class Quantification

On Tue, Sep 30, 2008 at 11:25 PM, Sean Leather <[EMAIL PROTECTED]> wrote: > But perhaps you're looking for potentially unknown classes? Yes indeed. Thanks, Bas ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listin

Re: [Haskell-cafe] System.Process

Quoth David Roundy <[EMAIL PROTECTED]>: ... | My point was that which of these is correct entirely depends on what | your input is. It's often a huge (and security-bug-prone) chore to | escape all those shell characters, and so in many cases it's much | nicer to execute an external program direcly

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

2008/9/30 Jason Dagit <[EMAIL PROTECTED]>: >> It seems to me that dependent types are best for ensuring totality. > > Bear with me, as I know virtual nothing about dependent types yet. In the > total functional paradigm the language lacks a value for bottom. This means > general recursion is out

Re: [Haskell-cafe] postmortem question about xmonad

On Tue, Sep 30, 2008 at 1:20 PM, Don Stewart <[EMAIL PROTECTED]> wrote: > noteed: > > Hi, > > > > I'd like to know, now that time got by a bit, what the writers of the > > X monad think about the use of the ReaderT/WriterT/IO brought to them > > (to isolate Configuration data and dynamic data and

Re: [Haskell-cafe] postmortem question about xmonad

On 2008 Sep 30, at 17:59, Derek Elkins wrote: On Tue, 2008-09-30 at 13:20 -0700, Don Stewart wrote: noteed: I'd like to know, now that time got by a bit, what the writers of the X monad think about the use of the ReaderT/WriterT/IO brought to them (to isolate Configuration data and dynamic d

Re: [Haskell-cafe] postmortem question about xmonad

On Tue, 2008-09-30 at 13:20 -0700, Don Stewart wrote: > noteed: > > Hi, > > > > I'd like to know, now that time got by a bit, what the writers of the > > X monad think about the use of the ReaderT/WriterT/IO brought to them > > (to isolate Configuration data and dynamic data and glue them together

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

On Mon, 2008-09-29 at 20:02 -0700, Jason Dagit wrote: > Hello, > > I recently had someone point me to this thread on LtU: > http://lambda-the-ultimate.org/node/2003 > > The main paper in the article is this one: > http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_tur

Re: [Haskell-cafe] csv one-liner

On Tue, 2008-09-30 at 14:54 -0400, Graham Fawcett wrote: > 2008/9/30 wman <[EMAIL PROTECTED]>: > > I got asked how to do one particular thing in excel, which led to discssion > > with "our local MSOffice expert". > > During the discussion I stated that's it too much of a PITA and that I'd > > rathe

Re: [Haskell-cafe] Class Quantification

> Now I would like to generalise 'foo' and 'bar' to 'bla' so that I can > write: > > testBla1 = bla fromInteger 1 :: (Int, Float) > testBla2 = bla read "1" :: (Int, Float) > > My question is how to define 'bla'. > > I can write: > > > bla :: (forall b. a -> b) -> a -> (c, d) > > bla f x =

Re: [Haskell-cafe] Distributing Haskell binaries as OSX App Bundles

Thanks for all the replies. I did the whole otool -L thing, but not packaging it in a .app bundle because osx seems to swallow up terminal output from them (and gui stuff wasn't an option), so I jdidn't bundle it up. (actually, I ended up not following through that route. In the very, very end I

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

side tangent ... I wrote a posix real-time package and it sits now in System 1) I'm sure it can be improved I purposely tried to keep the API close to the Posix real-time API; however, I am open to suggestions about the implementation itself and also the API 2) I am looking at changing the

Re: [Haskell-cafe] postmortem question about xmonad

noteed: > Hi, > > I'd like to know, now that time got by a bit, what the writers of the > X monad think about the use of the ReaderT/WriterT/IO brought to them > (to isolate Configuration data and dynamic data and glue them together > with IO). Are you happy of it, did it make things easier or not

Re: [Haskell-cafe] csv one-liner

On Tue, 30 Sep 2008, wman wrote: Thanks a lot, I've had a hunch it was possible to get rid of those those liftM's. I turned it into: (writeFile "output.csv") . printCSV . (map updateLine) . (either (error "Chyba pri cteni CSV.") id) =<< parseCSVFromFile "input.csv" You may even remove paren

Re: [Haskell-cafe] csv one-liner

True, true. And i told myself no-one would notice ;-)) On Tue, Sep 30, 2008 at 9:51 PM, Graham Fawcett <[EMAIL PROTECTED]>wrote: > 2008/9/30 wman <[EMAIL PROTECTED]>: > > Thanks a lot, I've had a hunch it was possible to get rid of those those > > liftM's. I turned it into: > > > > (writeFile "ou

Re: [Haskell-cafe] csv one-liner

2008/9/30 wman <[EMAIL PROTECTED]>: > Thanks a lot, I've had a hunch it was possible to get rid of those those > liftM's. I turned it into: > > (writeFile "output.csv") . printCSV . (map updateLine) . (either (error > "Chyba pri cteni CSV.") id) =<< parseCSVFromFile "input.csv" > > and am sincerely

Re: [Haskell-cafe] csv one-liner

Thanks a lot, I've had a hunch it was possible to get rid of those those liftM's. I turned it into: (writeFile "output.csv") . printCSV . (map updateLine) . (either (error "Chyba pri cteni CSV.") id) =<< parseCSVFromFile "input.csv" and am sincerely hoping he will try to decypher it's meaning ;-)

[Haskell-cafe] postmortem question about xmonad

Hi, I'd like to know, now that time got by a bit, what the writers of the X monad think about the use of the ReaderT/WriterT/IO brought to them (to isolate Configuration data and dynamic data and glue them together with IO). Are you happy of it, did it make things easier or not, would you do it ag

Re: [Haskell-cafe] csv one-liner

Something like this perhaps: writeFile "output.csv" . printCSV . map updateLine . fromRight =<< parseCSVFromFile "input.csv" (with fromRight = either (error "fromRight :: Left") id or something equivalent) On 9/30/08, wman <[EMAIL PROTECTED]> wrote: > I got asked how to do one particular thing i

Re: [Haskell-cafe] csv one-liner

2008/9/30 wman <[EMAIL PROTECTED]>: > I got asked how to do one particular thing in excel, which led to discssion > with "our local MSOffice expert". > During the discussion I stated that's it too much of a PITA and that I'd > rather write a script. > Long story short, I promised him a one-liner to

Re: [Haskell-cafe] csv one-liner

2008/9/30 wman <[EMAIL PROTECTED]>: > I got asked how to do one particular thing in excel, which led to discssion > with "our local MSOffice expert". > During the discussion I stated that's it too much of a PITA and that I'd > rather write a script. > Long story short, I promised him a one-liner to

Re: [Haskell-cafe] csv one-liner

On Tue, 30 Sep 2008, wman wrote: I got asked how to do one particular thing in excel, which led to discssion with "our local MSOffice expert". During the discussion I stated that's it too much of a PITA and that I'd rather write a script. Long story short, I promised him a one-liner to "show th

Re: [Haskell-cafe] System.Process

how about using a wrapper script, to which you would supply the value as parameter so you would just use runCommand "thescript " ? Herein lies the problem: I have a program that accepts complete commands > from a file and executes them. It works perfectly. And now I'd just like to > set an enviro

[Haskell-cafe] csv one-liner

I got asked how to do one particular thing in excel, which led to discssion with "our local MSOffice expert". During the discussion I stated that's it too much of a PITA and that I'd rather write a script. Long story short, I promised him a one-liner to "show the power and beauty of Haskell". I go

Re: [Haskell-cafe] Distributing Haskell binaries as OSX App Bundles

2008/9/24 Stephen <[EMAIL PROTECTED]>: > I wrote a command-line program recently for a friend in haskell. However, > he's far away and not particularly computer literate. I sent him the raw > binaries, but they came up with errors about not being able to find libgmp > stuff. So then I thought I

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

On Tue, Sep 30, 2008 at 12:51 AM, apfelmus <[EMAIL PROTECTED]>wrote: > Jason Dagit wrote: > > Hello, > > > > I recently had someone point me to this thread on LtU: > > http://lambda-the-ultimate.org/node/2003 > > > > The main paper in the article is this one: > > > http://www.jucs.org/jucs_10_7/to

Re: [Haskell-cafe] GHC, names of inferred type variables

Shiqi Cao wrote: Error messages from GHC contain inferred type variables, is there anyway to find out which term an inferred type variable is for(if the term exists)? Example: f :: a -> a f xs = map not xs This causes: Couldn't match expected type `[Bool]' against inferred type `a'

Re: [Haskell-cafe] System.Process

David Roundy <[EMAIL PROTECTED]> writes: > Actually, it's no problem having any of those characters in your > arguments, My point is that using 'words' on the argument sting to 'runProcess' and expecting the same result as 'runCommand' implies making those assumptions:: Prelude System.Process>

[Haskell-cafe] Class Quantification

Hello, I was writing some Haskell when I stumbled on the following problem: With the following language extension... > {-# LANGUAGE RankNTypes #-} ... it's possible to define 'foo' and 'bar' like so: > foo :: (Num c, Num d) => (forall b. Num b => a -> b) -> a -> (c, d) > foo f x = (f x, f x)

Re: [Haskell-cafe] System.Process

On Tue, Sep 30, 2008 at 06:33:52PM +0200, Ketil Malde wrote: > David Roundy <[EMAIL PROTECTED]> writes: > > Actually, it's no problem having any of those characters in your > > arguments, > > My point is that using 'words' on the argument sting to 'runProcess' and > expecting the same result as 'r

Re: [Haskell-cafe] System.Process

On Tue, 2008-09-30 at 09:30 -0700, Jonathan Cast wrote: > On Tue, 2008-09-30 at 18:33 +0200, Ketil Malde wrote: > > David Roundy <[EMAIL PROTECTED]> writes: > > > > > Actually, it's no problem having any of those characters in your > > > arguments, > > > > My point is that using 'words' on the ar

Re: [Haskell-cafe] System.Process

On Tue, 2008-09-30 at 18:33 +0200, Ketil Malde wrote: > David Roundy <[EMAIL PROTECTED]> writes: > > > Actually, it's no problem having any of those characters in your > > arguments, > > My point is that using 'words' on the argument sting to 'runProcess' and > expecting the same result as 'runCo

Re: [Haskell-cafe] System.Process

On Tue, Sep 30, 2008 at 10:14:38AM +0200, Ketil Malde wrote: > "Svein Ove Aas" <[EMAIL PROTECTED]> writes: > > All programs want argument arrays, not un-split lines, and if you > > don't have the shell split it you'll have to do it yourself. words > > works fine. > > ...as long as the words don't

[Haskell-cafe] Re: Haskell versus F#, OCaml, et. al. ...

> "Don" == Don Stewart <[EMAIL PROTECTED]> writes: Don> There are duplicates here, but if you can find missing categories, Don> that might give an indication of weak points. No "Real Time" Don> package, for example. I'd say, despite the danger to repeat oneself, that, imho, Haskell needs some

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

On 2008 Sep 30, at 10:25, John Goerzen wrote: Galchin, Vasili wrote: Frank mode on ... ;^) In terms of functionality, where is Haskell superior vs inferior to ML, Caml, OCaml, F#, Erlang, etc.? E.g. in terms of library functionality? * Two list-like types. Standard list was strict,

Re: [Haskell-cafe] pure Haskell database

On Tue, Sep 30, 2008 at 9:18 AM, Manlio Perillo <[EMAIL PROTECTED]> wrote: > Graham Fawcett ha scritto: >> >> On Thu, Sep 25, 2008 at 5:09 PM, Manlio Perillo >> <[EMAIL PROTECTED]> wrote: >>> >>> Graham Fawcett ha scritto: If you're on Intel/Itanium, I believe there's a CMPXCHG instructio

Re: [Haskell-cafe] pure Haskell database

On Tue, Sep 30, 2008 at 9:18 AM, Manlio Perillo <[EMAIL PROTECTED]> wrote: > Graham Fawcett ha scritto: >> >> On Thu, Sep 25, 2008 at 5:09 PM, Manlio Perillo >> <[EMAIL PROTECTED]> wrote: >>> >>> Graham Fawcett ha scritto: If you're on Intel/Itanium, I believe there's a CMPXCHG instructio

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

Galchin, Vasili wrote: > Hello, > >Frank mode on ... ;^) In terms of functionality, where is Haskell > superior vs inferior to ML, Caml, OCaml, F#, Erlang, etc.? E.g. in terms > of library functionality? I used OCaml for a little while before I moved to Haskell. In some ways, such as the

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

On Tue, Sep 30, 2008 at 4:37 AM, Robin Green <[EMAIL PROTECTED]> wrote: > On Tue, 30 Sep 2008 03:27:09 -0600 > "Luke Palmer" <[EMAIL PROTECTED]> wrote: > >> But I *want* to do something like that with Coq (I prefer it to Agda >> for little more than personal taste). In particular, I'd like to se

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

On Tuesday 30 September 2008 11:53:02 Manlio Perillo wrote: > Galchin, Vasili ha scritto: > > Hello, > > > >Frank mode on ... ;^) In terms of functionality, where is Haskell > > superior vs inferior to ML, Caml, OCaml, F#, Erlang, etc.? E.g. in terms > > of library functionality? > > The "a

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

On Tuesday 30 September 2008 08:40:51 Mitchell, Neil wrote: > Hi, > > For libraries F# is probably superior to all, as it has libraries for > virtually everything, and can interoperate seamlessly with COM and .NET. > I doubt there will be any library functionality that can't be found or > bought.

Re: [Haskell-cafe] pure Haskell database

Rich Neswold ha scritto: > [...] On Wed, Sep 24, 2008 at 4:17 PM, Manlio Perillo <[EMAIL PROTECTED] >> wrote: I need a simple, concurrent safe, database, written in Haskell.

Re: [Haskell-cafe] pure Haskell database

Graham Fawcett ha scritto: On Thu, Sep 25, 2008 at 5:09 PM, Manlio Perillo <[EMAIL PROTECTED]> wrote: Graham Fawcett ha scritto: If you're on Intel/Itanium, I believe there's a CMPXCHG instruction that will do atomic compare-and-set on a memory address, and I'm not sure you could get much faste

Re: [Haskell-cafe] pure Haskell database

Marc Weber ha scritto: On Wed, Sep 24, 2008 at 11:17:01PM +0200, Manlio Perillo wrote: Hi. I need a simple, concurrent safe, database, written in Haskell. A database with the interface of Data.Map would be great, since what I need to to is atomically increment some integer values, and I wo

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

On Tue, 2008-09-30 at 01:55 -0700, Don Stewart wrote: > dons: > > kr.angelov: > > > On Tue, Sep 30, 2008 at 8:46 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > > > > There's almost 800 Haskell libraries on hackage.haskell.org (millions of > > > > lines of code). On average, 2 new libraries are relea

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

Here's the original file: http://blog.well-typed.com/wp-content/uploads/2008/09/package-sizes-all-crop.png The area of each package is determined by the number of packages that depend on it. -chris On 30 sep 2008, at 13:08, Jim Burton wrote: Don Stewart-2 wrote: [...] Haskell was in t

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

Don Stewart-2 wrote: > > [...] > Haskell was in the nice position > of already having such a process underway, > > http://haskell.org/haskellwiki/Haskell_Platform > Hi Don, I'm curious -- what do the images on that page represent? Can you link to readable versions? Thanks, Jim > Enj

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

Galchin, Vasili ha scritto: Hello, Frank mode on ... ;^) In terms of functionality, where is Haskell superior vs inferior to ML, Caml, OCaml, F#, Erlang, etc.? E.g. in terms of library functionality? The "advantage" of F# is that you get all the .NET framework (but this leaves me s

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

- is the programs are not registered by Cabal issue going to be fixed before platform release? No. Not the right thing for cabal the package system to do. Huh? Having tool availability out in the open, as updateable packages, would be more flexible than the current built-in stuff in cabal

Re: [Haskell-cafe] state monad and continuation monads ...

On Tue, 30 Sep 2008, Galchin, Vasili wrote: Hello, I would like to read 1) pedagogical examples of State monad and the Continuation monad 2) library usage of these monads For continuations I found the withCString example especially convincing: http://www.haskell.org/haskellwi

Re: [Haskell-cafe] Hmm, what license to use?

"Jeremy O'Donoghue" <[EMAIL PROTECTED]> writes: > Therefore, I have to say that for at least some commercial users, LGPL > will never be acceptable, and GPL is actually more acceptable because we > know for sure what obligations it places on us. I don't see how this can be, since according to cla

Re: [Haskell-cafe] Hmm, what license to use?

On Mon, 29 Sep 2008 14:39:33 -0700, "Don Stewart" <[EMAIL PROTECTED]> said: > magnus: > > 2008/9/29 Bit Connor <[EMAIL PROTECTED]>: > > [..] > > > > Basically it seems to me that you believe in the benevolence and > > enligtenment of companies. Something I don't. I believe you are > > right in

Re: [Haskell-cafe] Hmm, what license to use?

On Mon, Sep 29, 2008 at 10:39 PM, Don Stewart <[EMAIL PROTECTED]> wrote: > magnus: >> 2008/9/29 Bit Connor <[EMAIL PROTECTED]>: >> [..] >> >> Basically it seems to me that you believe in the benevolence and >> enligtenment of companies. Something I don't. I believe you are >> right in splitting t

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

On Tue, 30 Sep 2008 03:27:09 -0600 "Luke Palmer" <[EMAIL PROTECTED]> wrote: > But I *want* to do something like that with Coq (I prefer it to Agda > for little more than personal taste). In particular, I'd like to see > a reasoning framework for partial functions, so you could state and > prove

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

Hi > for little more than personal taste). In particular, I'd like to see > a reasoning framework for partial functions, so you could > state and prove a property like: > > length [1..] = _|_ In a compiler, with: default(Int) main = print $ length [1..] Results in 2147483647 I don't thin

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

2008/9/29 Jason Dagit <[EMAIL PROTECTED]>: > Hello, > > I recently had someone point me to this thread on LtU: > http://lambda-the-ultimate.org/node/2003 > > The main paper in the article is this one: > http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf > > I

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

claus.reinke: > >for the libraries? > > > > * http://haskell.org/haskellwiki/Haskell_Platform > > You might have mentioned that there is finally a tracker (*) and > an approximate .cabal meta-package (for dependencies only). > > - is the programs are not registered by Cabal issue going to be >

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

for the libraries? * http://haskell.org/haskellwiki/Haskell_Platform You might have mentioned that there is finally a tracker (*) and an approximate .cabal meta-package (for dependencies only). - is the programs are not registered by Cabal issue going to be fixed before platform release?

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

dons: > kr.angelov: > > On Tue, Sep 30, 2008 at 8:46 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > > > There's almost 800 Haskell libraries on hackage.haskell.org (millions of > > > lines of code). On average, 2 new libraries are released each day > > > (though 12 new libs were released in the last

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

kr.angelov: > On Tue, Sep 30, 2008 at 8:46 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > > There's almost 800 Haskell libraries on hackage.haskell.org (millions of > > lines of code). On average, 2 new libraries are released each day > > (though 12 new libs were released in the last 24 hours). That'

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

On Tue, Sep 30, 2008 at 8:46 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > There's almost 800 Haskell libraries on hackage.haskell.org (millions of > lines of code). On average, 2 new libraries are released each day > (though 12 new libs were released in the last 24 hours). That's 700 new > librarie

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

vigalchin: >ok .. is there a "roadmap" for Haskell?? for the language? * http://video.google.com/videoplay?docid=5177116830079185902 for the compiler? * http://hackage.haskell.org/trac/ghc/wiki/Status/Releases for the libraries? * http://haskell.org/haskellwiki/Haskell_Platfor

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

ok .. is there a "roadmap" for Haskell?? Vasili On Tue, Sep 30, 2008 at 2:41 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > noteed: > > Haskell is growing really fast (in community, libraries and tools). But, > Vasili, > > Dons pushes a lot into Arch, so although he gives a correct statement, > y

Re: [Haskell-cafe] System.Process

"Svein Ove Aas" <[EMAIL PROTECTED]> writes: > All programs want argument arrays, not un-split lines, and if you > don't have the shell split it you'll have to do it yourself. words > works fine. ...as long as the words don't contain quotes, or wildcard/globbing characters, or $, ! and probably ot

RE: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

> > For libraries F# is probably superior to all, as it has > libraries for > > virtually everything, and can interoperate seamlessly with > COM and .NET. > > I doubt there will be any library functionality that can't > be found or > > bought. > > Libraries for monad transformers I found lot

[Haskell-cafe] Re: Health effects

Andrew Coppin wrote: > The other day, I sat down to eat a 2 Kg block of chocolate - one of > those ones that's divided into lots of little squares. I proceeded to > recursively subdivide it into smaller and smaller blocks, and then eat > the individual squares in depth-first order. It was only afte

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

Hi 1) Total Functional Programming is great. But a combination of Approve and Catch gives you termination and pattern-match safety checks for Haskell, giving you all the advantages of TFP without forcing you to write total patterns etc. Plus you can use all the Haskell tools. In reality, neither

[Haskell-cafe] Re: System.Process

Timothy Goddard wrote: > On Tue, 30 Sep 2008 08:49:44 Andrew Coppin wrote: >> Before anybody remarks that "words" will do this, consider the "echo" > command, which treats whitespace meaningfully.) > > [EMAIL PROTECTED]:~/$ echo foo barbaz > foo bar baz > > Echo doesn't receive spec

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

Jason Dagit wrote: > Hello, > > I recently had someone point me to this thread on LtU: > http://lambda-the-ultimate.org/node/2003 > > The main paper in the article is this one: > http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf > > It leaves me with seve

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

neil.mitchell.2: > > Hi, > > For libraries F# is probably superior to all, as it has libraries for > virtually everything, and can interoperate seamlessly with COM and .NET. > I doubt there will be any library functionality that can't be found or > bought. Libraries for monad transformers or com

RE: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

Hi, For libraries F# is probably superior to all, as it has libraries for virtually everything, and can interoperate seamlessly with COM and .NET. I doubt there will be any library functionality that can't be found or bought. Thanks Neil -- Hello,

Re: [Haskell-cafe] state monad and continuation monads ...

2008/9/30 Galchin, Vasili <[EMAIL PROTECTED]>: > Hello, > >I would like to read > > 1) pedagogical examples of State monad and the Continuation monad > > 2) library usage of these monads Regarding 1), there is a lot to find on the web. Maybe start on haskell.org. In term of examp

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

noteed: > Haskell is growing really fast (in community, libraries and tools). But, > Vasili, > Dons pushes a lot into Arch, so although he gives a correct statement, you > shouldn't build your point of view relying only on that part of his answer > > Just rember the number about the Haskell l

Re: [Haskell-cafe] System.Process

On Tue, Sep 30, 2008 at 2:32 AM, Timothy Goddard <[EMAIL PROTECTED]> wrote: > On Tue, 30 Sep 2008 08:49:44 Andrew Coppin wrote: >> Before anybody remarks that "words" will do this, consider the "echo" > command, which treats whitespace meaningfully.) > > [EMAIL PROTECTED]:~/$ echo foo bar

Re: [Haskell-cafe] Haskell versus F#, OCaml, et. al. ...

2008/9/30 Galchin, Vasili <[EMAIL PROTECTED]>: > > thanks .. ... just trying to get an objective viewpoint and see where the > "holes" are ... > [...] > On Tue, Sep 30, 2008 at 1:46 AM, Don Stewart <[EMAIL PROTECTED]> wrote: >> [...] >> Without more information, all we can really do is an overview.