रञ्जित (Ranjit Mathew)Sep 7, 2024

Episode 100 of the #SoftwareUnscripted #podcast was so interesting. 👌🏽

Richard Feldman talks to Chris Lattner about #Mojo, #Python, #Swift, #Rust, #CPlusPlus, #Roc, #LLVM, etc.

Audio: https://pod.link/1602572955/episode/cf74afbc4e0909c47764209ae1cf4694

Video: https://youtu.be/ENviIxDTmUA

#PLDI #ProgrammingLanguages

Software Unscripted

Software Unscripted, A weekly podcast of casual conversations about code hosted by Richard Feldman. Hosted on Acast. See acast.com/privacy for more information.

Show threadरञ्जित (Ranjit Mathew)

More on the #HindleyMilner #TypeInference slow-down in the #Swift #compiler due to #overloading:

“Why Swift’s Type Checker Is So Slow”, Daniel Hooper (https://danielchasehooper.com/posts/why-swift-is-slow/).

On HN: https://news.ycombinator.com/item?id=40661001

On Lobsters: https://lobste.rs/s/p30juy/why_swift_s_type_checker_is_slow

#PLDI #Programming

Why Swift’s Type Checker Is So Slow

How a 10 year old design choice for Swift’s type checker still haunts us to this day

Oct 15, 2024 at 12:01pmMastodon for iOS
Show threadरञ्जित (Ranjit Mathew)Oct 16, 2024

By ex-#Apple #Swift developer Jordan Rose [2021]:

“Swift Regret: Type-Based Overloading” (https://belkadan.com/blog/2021/08/Swift-Regret-Type-based-Overloading/).

Part of the 👌🏽 “Swift Regrets” series (https://belkadan.com/blog/2021/09/Swift-Regrets/).

On HN: https://news.ycombinator.com/item?id=28603794

On Lobsters: https://lobste.rs/s/thej9w/swift_regrets

#PLDI #Programming

Swift Regret: Type-based Overloading

When we were first developing Swift, many of the mainstream languages had type-based overloading (C++, Java, C#), and many didn't (C, Python, Objective-C). How did Swift end up with it?

-dealloc
Show threadÓscar Morales VivóOct 15, 2024
@rmathew the problem with the solution he proposes is that “modern Swift practices” lean hard into the type checker to work. I think a less open-ended type checker would run into trouble against SwiftUI and other newer libraries.