Forgive me if I misunderstood, (NOT!) but point 3 in that link? Isn't that exactly what I described?
The point I was trying to make is that Object Pascal is a strongly typed language.
Object Pascal can output to an intermediate form (as an example js) that can theoretically be fed into webassembly toolchain. (which takes basically a transform as a starting point)