RE: AW: slide: useful function?

2002-12-02 Thread Christopher Milton
--- Mark Carroll <[EMAIL PROTECTED]> wrote: > On Mon, 2 Dec 2002, David Bergman wrote: > (snip) > > Till then, we "Haskellers" will probably continue expressing our > > patterns either directly in Haskell or using highly formal language, > > with terms such as "catamorphisms". > > > > The virtue,

RE: AW: slide: useful function?

2002-12-02 Thread Mark Carroll
On Mon, 2 Dec 2002, David Bergman wrote: (snip) > Till then, we "Haskellers" will probably continue expressing our > patterns either directly in Haskell or using highly formal language, > with terms such as "catamorphisms". > > The virtue, and weakness, of traditional design patterns is their > vag

RE: Implementing forward refs in monadic assembler and interprete r

2002-12-02 Thread Ashley Yakeley
At 2002-12-02 00:37, Simon Peyton-Jones wrote: >Main things in the next major release are > mdo > Template Haskell Can mdo be done in TH? It would be nice if there were some kind of macro system for this sort of thing; I know there's also a syntax for Arrows that requires a preproce

RE: Implementing forward refs in monadic assembler and interprete r

2002-12-02 Thread Simon Peyton-Jones
| For the moment I've chosen to do the mdo desugaring manually instead | of moving to the CVS ghc (or exclusively using Hugs.) Will mdo be in | the next release? (That's 5.04.2, I think -- though I've recently | been confused about GHC releases.) The relevant revision to Lex.lhs | is pretty rec