> do not acknowledge trade-offs when it comes to type systems
Could you elaborate?
Here's a good summary of the limited evidence for the benefits of strong type systems: https://danluu.com/empirical-pl/
Here's a good summary of the limited evidence for the benefits of strong type systems: https://danluu.com/empirical-pl/