Explore >> Select a destination
|
You are here 
|
vickiboykis.com | ||
| | | | |
chadaustin.me
|
|
| | | | | This may be the only time I weigh in on the static vs. dynamic typing discussion. Each side has its extreme proponents, and people differ in their ability and desire to work in systems with implicit invariants. Many years ago, back when Java and C++ were the Mainstream Languages and Python was the shiny new up-and-comer, I read Bruce Eckel's arguments in support of dynamically typed languages, and some of the nonobvious (at the time) ways you can get more done at higher quality in a more flexible languag... | |
| | | | |
ruudvanasseldonk.com
|
|
| | | | | I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system. | |
| | | | |
tech.preferred.jp
|
|
| | | | | Most computer applications can be configured to behave a certain way, be it via command line flags, environment variables, or configuration files. For you | |
| | | | |
programmingmadecomplicated.wordpress.com
|
|
| | | There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For... | ||
