Type systems expressive enough to write actual programs is widespread these days.

Typescript's typesystem is even Turing complete.

Regardless, it is not very practical to use a type checker as your runtime.