On Wed, Jul 31, 2013 at 4:26 PM, David Barbour <[email protected]> wrote:
> When we speak of separating meaning from optimization, I get the > impression we want to automate the optimization. In that case, we should > validate the optimizer(s). But you seem to be assuming hand-optimized code > with a (simplified) reference implementation. That's a pretty good pattern > for validation and debugging, and I've seen it used several times (most > recently in a library called 'reactive banana', and most systematically in > Goguen's BOBJ). > True, though IME, the reference implemention is given in a different language (in fact I've never seen it in the same language but I'll check out your examples). I always hated that (it's so simple to do certain things in, say, R or Octave, for example, yet so difficult to port to production code), and I think is the reason the idea has not been used as a fallback but only for validation and debugging. -- Fernando Cacciola SciSoft Consulting, Founder http://www.scisoft-consulting.com
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
