News for hackers. Stuff that matters.

A comment on Approaches to Type Erasure in Swift (2020). Parent comment

Re:Approaches to Type Erasure in Swift (2020) by nielsbot on Wednesday April 28, 2021 @11:55AM (#26970809)
If they allowed a bit more dynamism they could make protocols using Self existential too, right?

I know Swift is all about “as static is possible”, but maybe some explicit “dynamic” notation when you want to use Self-using protocols as a type could work.

[ Parent | on HN ]
Re:Approaches to Type Erasure in Swift (2020) by viktorcode on Wednesday April 28, 2021 @12:42PM (#26971384)
That what this proposal should cover. AFAIK there have never been an intention to limit existential for the sake of making the language more static; rather, it was born out of technical limitations of Swift compiler in the past.

To dissuade people from using existentials by default, the ongoing discussion focuses on requiring 'any' keyword in an existential type declaration.

[ Parent | on HN ]