|
You are here |
weblog.raganwald.com | ||
| | | | |
www.shuttle.dev
|
|
| | | | | This article takes a deep dive into type safety, language features that enable type safety, and why type safety is a good idea. | |
| | | | |
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. | |
| | | | |
blog.jooq.org
|
|
| | | | | Sometimes there are these moments of truth. They happen completely unexpectedly, such as when I read this tweet: https://twitter.com/whileydave/status/536422407297171457 David is the author of the lesser-known but not at all lesser-interesting Whiley programming language, a language that has a lot of static type checking built in it. One of the most interesting features of the... | |
| | | | |
blog.florimondmanca.com
|
|
| | | Type hints add optional static typing to Python 3.5+, and I love them. I now use annotated variables throughout my projects. | ||