~bfiedler/typing-is-hard#5: 
Add Kotlin analysis

Please

Status
REPORTED
Submitter
~fanfan
Assigned to
No-one
Submitted
3 years ago
Updated
3 years ago
Labels
new content

~bfiedler REPORTED FIXED 3 years ago

I don't know enough about Kotlin's type system to have a verdict yet. The Kotlin spec includes some information about how the type inference works, and I haven't noticed any immediate sources of undecidability. If anybody knows a source (proof/paper/blog post/etc.) cementing this I'd be happy to include Kotlin.

~bfiedler FIXED REPORTED 3 years ago

Register here or Log in to comment, or comment via email.