using sml as a backend for dynamic and dependent languages

[GunpowderGuy]

Hello, i have been interested in using ML as a backend for functional langauges with a dependent type system like idris2 and dynamic languages like scheme. The reason being MLton is by far the best optimizer for functional languages ( and the SML# compiler also may be faster than most schemes )

I think the dynamic system "A compilation method for dynamic typing in ML " designed for SML# would greatly help to do this. Lets discuss this idea