|
You are here |
gafter.blogspot.com | ||
| | | | |
typesanitizer.com
|
|
| | | | | A close examination on the supposed benefits of effect systems, framed as a conversation between two programming language designers. | |
| | | | |
rickyclarkson.blogspot.com
|
|
| | | | | Some bloggers and people I've talked with think of closures in Java as something unnecessary - e.g., "why must we copy C#?". As it happens,... | |
| | | | |
bruceeckel.com
|
|
| | | | | ||
| | | | |
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. | ||