A variant of ML called Dependent ML has been created based on this type system, but because type checking for conventional dependent types is undecidable, not all programs using them can be type-checked without some kind of limits.
Варијанта ML-а која се зове Зависни ML је креиран базирајући се на систем куцања, али зато што је провера куцања за конвензионална зависна куцања неодлучива, не могу сви програми који га користе да буду проверени без неких врста ограничења.