That's true, but Urbit isn't like that. It runs on stock hardware, which is to say, untyped imperative hardware. And even from a purely theoretical point of view, Urbit's lowest level (Nock) is untyped.

The last time anyone built a computer that was typed all the way down to the hardware was (ironically) Lisp machines.