I think the idea of mixing between an interpreter to a Compiler (either or JIT) is a bit stupid.
The only way to realistically be able to statically define an api boundary, then implement library-dependant static analysis inside the language. This is already possible with today's tools except that most languages can't guarantee compile time evaluation or provide enough static reflection.
I'm assuming that by "scale the strictness", you don't mean optional lazyness?
The only way to realistically be able to statically define an api boundary, then implement library-dependant static analysis inside the language. This is already possible with today's tools except that most languages can't guarantee compile time evaluation or provide enough static reflection.
I'm assuming that by "scale the strictness", you don't mean optional lazyness?