Just a note - if this use case is important, I've observed that Julia will often properly inline numerical integrals - even some fairly tricky ones. But you do generally have to make sure your loops are striding the quadrature in the memory correct order - Julia doesn't seem to reorder them.

I wonder whether Hope devs intend to add the Cython functionality of selectively removing dynamic nature of specific functions via annotations.

You should definitely look at Julia.