[Haskell-cafe] Expanding do notation

[Lennart Augustsson]

Daniel Fischer wrote:
> Cool. So let's see if I got it.
> If I have
> 
> n <- readIO
>      ...
> mapM_ (func n) list
>      ...
> 
> in my programme, the runtime system will/might build object code for
> func n that is then used instead of using the general code for func and 
> supplying both arguments to that?
> 
> That'd be wow, triple wow!
> And run-time compilation is a fitting name for that.

Well, it's possible to do that.  But I don't know of any Haskell
implementation that does.  Sure, you might get a little bit of
that if func is defined suitably, like
   func 0 = foo
   func 1 = bar
   func n = baz
Implementations that have the "full laziness" property will handle
one argument at a time to a function, and may do some work with just
one argument to func.  But it's nothing like having real run-time code
generation.

	-- Lennart