[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