Do you think something like lightweight modular staging (https://scala-lms.github.io/ https://scala-lms.github.io/) would allow fairly high level code to get to

Do you think something like lightweight modular staging (https://scala-lms.github.io/ https://scala-lms.github.io/) would allow fairly high level code to get to the theoretical limit?