Re: [Haskell-cafe] Optimizing cellular automata evaluation (round 2)

2007-11-30 Thread Laurent Deniau
Justin Bailey wrote: On Nov 29, 2007 9:11 PM, Jon Harrop [EMAIL PROTECTED] wrote: Mathematica uses a single arbitrary-precision integer to represent each generation of a 1D automaton. The rules to derive the next generation are compiled into arithmetic operations on the integer. The offloads

Re: [Haskell-cafe] Categories list in French (off-topic?)

2007-11-30 Thread Laurent Deniau
Maurí­cio wrote: Hi, I'm learning about categories using Saunders Mac Lane book. I'm also learning French. Do you guys know of a nice French mailing list, or forum, where people discuss about categories (and where beginners are accepted)? newsgroup: fr.sci.math a+, ld.

Re: [Haskell-cafe] Re: New slogan for haskell.org

2007-11-29 Thread Laurent Deniau
Mirko Rahn wrote: The following code is the direct translation of your Haskell code void f(int x, intset s) { printf(%d, , x); f (intset_elem(s, x/2) ? 3*x : x/2, intset_put(s, x)); } No, not that easy. The Haskell code works with arbitrary precision Integer, the C code with a fixed

Re: [Haskell-cafe] Re: New slogan for haskell.org

2007-11-28 Thread Laurent Deniau
apfelmus wrote: Henning Thielemann wrote: apfelmus wrote: Back then, I was given the task to calculate some sequence of numbers which I did in one page of C code. So far so good, but when I asked the task assigner about his solution, he responded: Ah, this problem, that's 1 line in Haskell.

Re: [Haskell-cafe] Tetris

2007-11-23 Thread Laurent Deniau
Conal Elliott wrote: On Nov 21, 2007 3:49 AM, Laurent Deniau [EMAIL PROTECTED] mailto:[EMAIL PROTECTED] wrote: Peter Verswyvelen wrote: Conal Elliott wrote: Moreover, functional programming makes it easy to have much more state than imperative programming, namely state over

Re: [Haskell-cafe] Tetris

2007-11-23 Thread Laurent Deniau
Peter Verswyvelen wrote: Laurent Deniau wrote: Peter Verswyvelen wrote: And you still need to think about where you have to introduce delays to avoid infinite loops? I don't see why, unless you want to have a memory or explicitly stop the time which means it's a parameter of the transition

Re: [Haskell-cafe] Tetris

2007-11-21 Thread Laurent Deniau
Peter Verswyvelen wrote: Conal Elliott wrote: Moreover, functional programming makes it easy to have much more state than imperative programming, namely state over *continuous* time. The temporally discrete time imposed by the imperative model is pretty puny in comparison. Continuous (or

Re: [Haskell-cafe] Tetris

2007-11-20 Thread Laurent Deniau
Andrew Coppin wrote: 2. How do you implement a program that is fundamentally about state mutation in a programming language which abhors state mutation? Haskell taught me one thing (at least). The World is not mutating but it is moving. Physics shows that no movement (no time) means no World

Re: [Haskell-cafe] Why are OCaml and Haskell being used at these companies?

2007-11-14 Thread Laurent Deniau
Jon Harrop wrote: On Tuesday 13 November 2007 16:03, Laurent Deniau wrote: OCaml was used to write a meta-program which applies heuristics to minimize the runtime of the critical C code (i.e. the butterflies). This has nothing to do with FFT computation No. The sole purpose of the OCaml

Re: [Haskell-cafe] Why are OCaml and Haskell being used at these companies?

2007-11-13 Thread Laurent Deniau
Henning Thielemann wrote: On Tue, 13 Nov 2007, Jon Harrop wrote: On Tuesday 13 November 2007 08:41, Henning Thielemann wrote: On Tue, 13 Nov 2007, Jon Harrop wrote: Penetration is highest in parts of industry where small groups of talented programmers get together, most notably startups.

Re: [Haskell-cafe] Why are OCaml and Haskell being used at these companies?

2007-11-13 Thread Laurent Deniau
Jules Bean wrote: Laurent Deniau wrote: Henning Thielemann wrote: On Tue, 13 Nov 2007, Jon Harrop wrote: the FFT routines in MATLAB (FFTW: written in OCaml) and the SML software that The MathWorks sell. I see, but FFTW was not developed by MathWorks, but by Matteo Frigo and Steven G

Re: [Haskell-cafe] New slogan for haskell.org

2007-10-05 Thread Laurent Deniau
Henning Thielemann wrote: On Fri, 5 Oct 2007, Albert Y. C. Lai wrote: Granted, perhaps your perspective is, if every other company is shouting customers are number one, then ours must too, and who actually lives up to it is the non-sequitur here. You're in the buzzword war, not the evidence

Re: [Haskell-cafe] New slogan for haskell.org

2007-10-05 Thread Laurent Deniau
Henning Thielemann wrote: Productivity, robustness, maintainability: purity, type system, etc. Parallelism! 'type system' is something where C derivatives and scripting languages are weak - but their users count this as advantage. Rarely (maybe in the 70's but not since C89). They count

Re: [Haskell-cafe] New slogan for haskell.org

2007-10-05 Thread Laurent Deniau
Henning Thielemann wrote: On Fri, 5 Oct 2007, Laurent Deniau wrote: Henning Thielemann wrote: Productivity, robustness, maintainability: purity, type system, etc. Parallelism! 'type system' is something where C derivatives and scripting languages are weak - but their users count

Re: [Haskell-cafe] New slogan for haskell.org

2007-10-05 Thread Laurent Deniau
Brandon S. Allbery KF8NH wrote: On Oct 5, 2007, at 12:33 , Henning Thielemann wrote: http://www.henning-thielemann.de/CHater.html#CvsM3_ControlFlow I can has English? :) If the first large table is any indication, though, we may need to define inconsistent. C syntax shown there is quite

Re: [Haskell-cafe] Darcs users [was: New book: Real-World Haskell!]

2007-05-30 Thread Laurent Deniau
Jon Harrop wrote: On Wednesday 30 May 2007 06:58:36 Ketil Malde wrote: On Tue, 2007-05-29 at 14:05 -0500, Doug Kirk wrote: I *want* people (and companies) to move to Haskell As a complete noob considering making a commercial venture into Haskell, may I ask what people's opinions are on this?