> Another benefit of this approach is that it would be very easy to turn it off, and generate static code (like Java would) for production.
Note that there's already zero peak overhead to a switch point for an invoke dynamic call site, so 'turning it off' wouldn't make any difference to the machine code or speed of the program.
Cold performance, warmup time, wasted iterations, etc. Unfortunately it's impossible (as far as we know) to give a single scalar number for 'performance'.
> Depending on the context, one of these particular forms may be more useful than the others. You may want to toggle the verbosity of names on the fly with a keybinding, perhaps.
A neat idea! Like semantic folding. Has anyone seen an editor that does this?
https://web.archive.org/web/20221002050011/https://luisthiam...
https://archive.ph/GOo1s
(For those not wishing to be hit in the face with pop-over registration modal dialog upon scrolling down the page)
> Another benefit of this approach is that it would be very easy to turn it off, and generate static code (like Java would) for production.
Note that there's already zero peak overhead to a switch point for an invoke dynamic call site, so 'turning it off' wouldn't make any difference to the machine code or speed of the program.
What is meant by "zero peak overhead"? How is it different from "zero overhead"?
Depends on when you measure the overhead. Peak means when it’s running at its fastest.
What is the cost at whatever the opposite of peak is called?
Cold performance, warmup time, wasted iterations, etc. Unfortunately it's impossible (as far as we know) to give a single scalar number for 'performance'.
> Depending on the context, one of these particular forms may be more useful than the others. You may want to toggle the verbosity of names on the fly with a keybinding, perhaps.
A neat idea! Like semantic folding. Has anyone seen an editor that does this?