/explore
|
You are here |
blog.samibadawi.com | ||
| | | | |
blog.darklang.com
And their influence on Dark After two decades of coding professionally in a dozen languages, I've come to a conclusion about static and dynamic types: * Static types help you ensure that your changes work, especially for changes that span large parts of the program. This leads to long-term productivity |
|
| | | | | ||
| | | | |
blog.ploeh.dk
Combine a strong type system with Property-Based Testing to specify software. |
|
| | | | | ||
| | | | |
nurkiewicz.com
When choosing or learning a new programming language, type system should be your first question. How strict is that language when types don't really match? Will there be a conservative, slow and annoying compiler? Or maybe a fast feedback loop, often resulting in crashes at runtime? And also, is the language runtime trusting you know what you are doing, even if you don't? Or maybe it's babysitting you, making it hard to write fast, low-level code? Believe it or not, I just described static, dynamic, weak and strong typing. |
|
| | | | | ||
| | | | |
simpleprogrammer.com
Software Engineers do the complex work so that we can enjoy efficient software solutions. They're creating the systems behind the digital tools we use at work or in our personal life. This takes strong logical thinking and problem-solving skills, as well as a deep knowledge of computer science and programming. It's a challenging, but exciting [...] |
|
| | | |||