So then why not use C# or even F# for language abstractions? Or clojure on JVM?

Just playing devils advocate it seems higher level behaviours don’t belong in a low level language.