Aplikácie s funkciou „typesafe“

Jerkar

Jerkar

Výkonný a bohatý, čisto vybavený nástroj na zostavovanie a automatizáciu Java. Jerkar okrem iného zahŕňa správu závislostí, publikáciu úložiska, super-ľahkú editáciu zostavenia a odladenie.
Rust

Rust

Systémový programovací jazyk, ktorý beží rýchlo a rýchlo, zabraňuje takmer všetkým haváriám a eliminuje dátové rasy.,