Chapter 7Idris
No one likes a debate like a passionate programmer. Developers argue endlessly but sometimes productively about tools, techniques, and approaches to programming. Type models in particular have been a source of constant tension throughout the history of programming languages.
When type zealots collide, the fireworks can be fascinating. Want to be safe and secure? Tired of being burned by things like SQL injection errors? You’re probably a static-typing kind of character. You’ve likely seen compile-time checks pay for the extra weight in code, or for the extra time it takes to pacify the compiler.
If on the other hand you’re in the dynamic camp, you probably like working with sharp tools without safety ...
Get Seven More Languages in Seven Weeks now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
