[saagarjha]

The author is welcome to add type annotations if they want…?

[grandempire]

?? No other language times out error checking. This is insanity.

[saagarjha]

Not regularly but many languages have type systems that are algorithmically worse, like TypeScript

[9dev]

As a user, I couldn’t care less about the algorithmic beauty of the type system if it works, lets me type complex things reliably, and is fast enough to stay out of my way. Does it do that by being a mess of duct table and plywood? Totally fine for me.

[saagarjha]

Sure, but often the duct tape and plywood makes it difficult to make things that are reliable and stay out of your way.

[troupo]

And yet TypeScript doesn't fail with a cryptic nonsensical error just because you have the impossible component with an unfathomable number of two nested lists, like in SwiftUI.

[saagarjha]

Algorithmically worse doesn't mean worse in practice

[grandempire]

Can you show a common line of type script that will take exponential complexity for typescript to resolve?

[saagarjha]

I think you misunderstood my comment.