/explore
|
You are here 
|
loup-vaillant.fr | ||
| | | | |
pointersgonewild.com
|
|
| | | | | Static vs Dynamic: Why not Both? | |
| | | | |
gavinhoward.com
|
|
| | | | | There are 8 questions that must be answered to design a good type system. In this post, I attempt to do just that. | |
| | | | |
jamie-wong.com
|
|
| | | | | [AI summary] The post analyzes the tradeoffs between dynamically and statically typed programming languages regarding iteration speed, correctness, and IDE support, discussing how modern languages and techniques are attempting to combine the best aspects of both approaches. | |
| | | | |
jfenn.me
|
|
| | | In the vast majority everyday software, nobody writes a mathematical proof of every piece of functionality. Dynamically typed languages exist for a reason, and this is not it. | ||
