Yes, the idea described in the last paragraph could be called an array JIT. Much like a static APL compiler requires specialized type and shape handling, an APL

Yes, the idea described in the last paragraph could be called an array JIT. Much like a static APL compiler requires specialized type and shape handling, an APL JIT would need some new techniques for deciding when to compile things, what assumptions to make, and how to check them. My more detailed notes are at https://mlochbaum.github.io/BQN/implementation/compile/dynamic.html https://mlochbaum.github.io/BQN/implementation/compile/dynam....