Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages
6p.
- Introduction
- When Programmers Say “I Need Dynamic/Static Typing”, They Really Mean
- I want type inference
- I want contracts
- I want (coercive) subtyping
- I want Generics
- I want (unsafe) covariance
- I want ad-hoc relationships and prototype inheritance
- I want lazy evaluation
- I want higher-order functions, serialization, and code literals
- Conclusion
- Acknowledgments