Hacker News new | ask | show | jobs
by scns 1544 days ago
As your sibling allready stated, in Kotlin it is known as smart casting. Good to see that the article allready recognizes the prior art from ML which was conceived in 1971.