> For (1) and (2), the worst-case just doesn't occur. I mean, installing packages and type checking can surely be slow. But, at least in my career, I've never seen a galactic blow-up.

Hehe, clearly the author hasn't written any SwiftUI.

▲

maleldil 2 hours ago | parent | next [-]

I think that Swift is the exception that proves the rule. The fact that it is notorious for giving up on certain type checks indicates that it isn't a problem for most languages.

▲

murderfs an hour ago | parent | next [-]

It's the other way around, I think: it's not a problem for most languages because bidirectional type inference with overloading is NP-hard. It'd be nice to have, but it's impossible to implement in a way that's reliably fast, so it's not even considered as an option.

▲

inigyou an hour ago | parent | prev [-]

Got examples for non-Swift programmers?

▲

murderfs an hour ago | parent [-]

Most expressions with overloads are a disaster in swift: https://www.cocoawithlove.com/blog/2016/07/12/type-checker-i...

	▲	inigyou 31 minutes ago \| parent [-]
		https://archive.ph/C0jGr

▲

ngruhn 2 hours ago | parent | prev [-]

Author here. I have indeed not.