search

Kotlin / KEEP

Kotlin Evolution and Enhancement Process
Apache License 2.0
3.29k stars 357 forks source link

Design Notes on Kotlin Type Expressions #333

Closed thumannw closed 1 year ago

thumannw commented 1 year ago

Dear Kotlin designers, could this be a basis for a valuable design note? @elizarov

elizarov commented 1 year ago

It would be better to follow the contribution process as explained int the README. First of all, you shall start with the problem you are facing with your code and collect similar use-cases. I would recommend you to start with the following issues that seems to be centered around similar problems:

Also, when it comes to the type system, it is important to have some kind of a prototype or a good understanding of how the extensions can be made to work in the framework of the existing type system of the Kotlin language and the algorithms that are used for type inference.