[smcdow]

Curious as to how you would set up a DMA transaction in any of those languages? If you're doing system programming, you'll need to do DMA.

[pjmlp]

By providing an unsafe package that allows you do such things.

Have a look at:

Modula-3 + Spin

Oberon + Oberon System

Spec# + Singularity

Haskell + Home

OCaml + Mirage