https://kotlinlang.org logo
#getting-started
Title
# getting-started
m

Manasseh

07/29/2023, 8:55 PM
Hey 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 PM
Will, 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 PM
Ok, while it can be expressed in HMTS terms, I guess currently it's just not using HTMS.