Pict is a statically typed programming language, one of the very few based on the π-calculus.

Gower has designed a statically typed programming language to aid in the project's development.

This is analogous to the situation in statically typed computer programming languages, where variables have declared types.

Xtend is statically typed and uses Java's type system without modifications.

One exception is the statically typed Cat language.

Sawzall is statically typed, and the engine compiles the script to x86 before running it.

Unlike true statically typed programs, these warnings are not fatal; the program will still run, and possibly do the right thing, with type errors.

Systems based on statically typed languages are technically feasible, however.

It is statically typed: your stream never crashes because you made a typo in a dark corner of the configuration.

Despite being statically typed, it also shows homoiconic properties.