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