> a downside of this approach is that you sacrifice late binding, as the module language and "core" language are stratified into different layers https://peopl

> a downside of this approach is that you sacrifice late binding, as the module language and "core" language are stratified into different layers https://people.mpi-sws.org/~rossberg/1ml/1ml-extended.pdf https://people.mpi-sws.org/~rossberg/1ml/1ml-extended.pdf https://github.com/rossberg/1ml https://github.com/rossberg/1ml