/explore
|
You are here 
|
blog.darklang.com | ||
| | | | |
lexi-lambda.github.io
|
|
| | | | | [AI summary] An article exploring a philosophical shift in programming from viewing types as restrictive constraints to designing data structures via axioms to ensure correctness by construction. | |
| | | | |
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... | |
| | | | |
vickiboykis.com
|
|
| | | | | What are they? Why are they? | |
| | | | |
boxbase.org
|
|
| | | I came up with an idea when studying type theory. I am a vehement proponent of dynamic typing but there are several ideas that require me to explore into type theory so I am studying it. | ||
