Re: [Haskell-cafe] Monads

2012-10-01 Thread Jon Fairbairn
Albert Y. C. Lai tre...@vex.net writes: On 12-09-30 06:33 PM, Jake McArthur wrote: When discussing monads, at least, a side effect is an effect that is triggered by merely evaluating an expression. A monad is an interface that decouples effects from evaluation. I don't understand that

[Haskell-cafe] Is inspectable recursion in Arrows possible?

2012-10-01 Thread Alessandro Vermeulen
Dear all, I am trying to find a way to translate normal recursive notation such as the |fib| function below to an arrow, retaining as much of the structure of the recursive notation as possible. In addition I would like to inspect the arrow. For this I created a datatype containing a constructor

[Haskell-cafe] ANN: monadLib-3.7.1 on Hackage

2012-10-01 Thread Iavor Diatchki
Hello, I am pleased to announce the availability of monadLib-3.7.1 on Hackage. MonadLib is a library intended to help programmers to quickly and easily construct various monads. The library has support for a wide range of effects: threading state, read-only variables, collecting output,

[Haskell-cafe] Compiler jobs

2012-10-01 Thread Tom Hawkins
Hi, BAE Systems has some open positions for principal level Haskell programmers with compiler experience. Our DARPA project[1] is building a compiler for a new programming language with dynamic information flow control, targeting a custom ISA with hardware enforced information security. On the

Re: [Haskell-cafe] List indexer

2012-10-01 Thread Alex Stangl
On Mon, Sep 17, 2012 at 10:24:07AM +0200, Edgar Klerks wrote: I find it useful. I benchmarked it with criterion and your test file (see below) and it is a *lot* faster: Maybe an elevator list is a nice name? Hi Edgar, Thanks for your input. I made a separate unit test and benchmark (using

Re: [Haskell-cafe] Monads

2012-10-01 Thread Albert Y. C. Lai
On 12-10-01 05:34 AM, Jon Fairbairn wrote: Albert Y. C. Lai tre...@vex.net writes: On 12-09-30 06:33 PM, Jake McArthur wrote: When discussing monads, at least, a side effect is an effect that is triggered by merely evaluating an expression. A monad is an interface that decouples effects from

Re: [Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer

2012-10-01 Thread Conrad Parker
On 27 September 2012 14:51, Chris Wong chrisyco+haskell-c...@gmail.com wrote: Hello all Some of you in the audience may have read Dave Keenan's paper, [To Dissect a Mockingbird][]. A subset of that may have wondered if it was possible to generate those pretty pictures programmatically. For

Re: [Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer

2012-10-01 Thread Alistair Bayley
On 2 October 2012 15:23, Conrad Parker con...@metadecks.org wrote: I'd love to see a game which incrementally teaches reduction and expansion steps in the way that DragonBox [http://dragonboxapp.com/] teaches algebra. That would be a learning mode like Angry Birds, where new combinator birds

Re: [Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer

2012-10-01 Thread Chris Wong
On Tue, Oct 2, 2012 at 3:23 PM, Conrad Parker con...@metadecks.org wrote: Nice, it builds and runs fine for me. Perhaps you could include a few more example commandlines to get started? Running without arguments (as the README.mkd suggests) just prints the help text. Thanks for pointing that