The current system is a bit hacky, but we just have no languages that crystalize the use case clearly enough for this to happen at the hardware level.

Were we all programming in Erlang, Rust and Go, maybe we'd see hardware follow.