Discussion on answer by Steve Jessop: Language constructs to reduce inadvertent interface implementation in purely structural type systems?

Discussion on answer by Steve Jessop: Language constructs to reduce inadvertent interface implementation in purely structural type systems?

Programming Language Design and Implementation

Imported from a comment discussion on https://langdev.stackexchange.com/questions/4318/language-constructs-to-reduce-inadvertent-interface-implementation-in-purely-str/4323#4323

polymorphism structural-types type-systems
first message2025-02-13
last message151 days ago
join this room
view transcript

24
2

Owners of this room