Other languages such as Epigram make the value of all expressions in the language decidable so that type checking can be decidable.
Další jazyky, např. Epigram dělá hodnotu všech výrazů v jazyce rozhodnutelnou, takže typová kontrola může rozhodnout.