Hey guys! So I understand Kotlin's default type sy...
# getting-startedm
Manasseh
07/29/2023, 8:55 PMHey guys! So I understand Kotlin's default type system is based on subtyping. I was also wondering if it uses the Hindley-Milner type system (probably for its type inference)?
d
dmitriy.novozhilov
07/30/2023, 12:01 PMWill, I guess that kotlin inference algorithm potentially can be expressed in Hindley-Miller terms
You can read all details about kotlin type system in specification: https://kotlinlang.org/spec/type-system.html#type-system
m
Manasseh
07/30/2023, 7:27 PMOk, while it can be expressed in HMTS terms, I guess currently it's just not using HTMS.