История изменений

Ага. Но это не полноценные зависимые типы.

https://cstheory.stackexchange.com/questions/53728/isnt-it-misleading-for-scala-3-to-claim-it-has-dependent-function-types

Scala 3 doesn’t have full dependent types, but only path dependent types, which is a weaker form of dependency. They allow values (e.g. objects) to carry types along with them, and these types can be used in type-checking.

То есть, ты, конечно, можешь сказать, что и скала и хачкель (см. синглтоны) имеют зависимые типы, но что-то реально применимое в повседневности из этого сделать сложно.

Ага. Но это не полноценные зависимые типы.

https://cstheory.stackexchange.com/questions/53728/isnt-it-misleading-for-scala-3-to-claim-it-has-dependent-function-types

То есть, ты, конечно, можешь сказать, что и скала и хачкель (см. синглтоны) имеют зависимые типы, но что-то реально применимое в повседневности из этого сделать сложно.