Pragmatic concurrency Re: [Haskell-cafe] multiple computations,
john at repetae.net
Wed Mar 29 16:59:52 EST 2006
On Wed, Mar 29, 2006 at 03:23:04PM +0100, Robin Green wrote:
> I suggest that a Haskell program should be treated as an executable
> specification. In some cases the compiler can't optimise the program
> well enough, so we (by which I mean, ordinary programmers, not compiler
> geeks) should be able to explicitly provide our own optimisations, as
> rewrite rules (generalised ones, or specialised ones for individual
> functions). Democratise the means of automated optimisation! Then we
> should be able to prove formally that our rewrite rules preserve
> functional correctness. This is the approach I am pursuing in the
> programming language I am working on, which is a derivative of Haskell.
have you seen the RULES pragma? it is implemented in both ghc and jhc.
John Meacham - ⑆repetae.net⑆john⑈
More information about the Haskell-Cafe