Join Slack
New <KEEP-409> on Subtyping Reconstruction is open for review. This KEEP presents the Subtyping Reco...
# language-proposals
r
Roman Venediktov
02/04/2025, 10:16 AM
New
KEEP-409
on Subtyping Reconstruction is open for review. This KEEP presents the Subtyping Reconstruction technique that introduces smart casts for generics. This feature might be known to you as GADT. Any feedback is welcome
K 17
6
Views
Open in Slack
Previous
Next
kotlinlang
A modern programming language that makes developers happier.
Powered by
