[Haskell] SPJ book - big idea behind supercombinator reductionrestriction

Simon Peyton-Jones simonpj at microsoft.com
Mon Oct 10 08:21:30 EDT 2005

| Is it crucial just for reasons of efficiency - and in actual fact it's
| entirely possible, albeit inefficient, to instantiate one variable at
| time? 

That's exactly right.


More information about the Haskell mailing list