/explore
|
You are here 
|
chadaustin.me | ||
| | | | |
jfenn.me
In the vast majority everyday software, nobody writes a mathematical proof of every piece of functionality. Dynamically typed languages exist for a reason, and this is not it. |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
pointersgonewild.com
Static vs Dynamic: Why not Both? |
|
| | | | | ||
| | | | |
boxbase.org
Dart and TypeScript introduce optional static typing, which is then used in every example. It makes me feel troubled. Are they implying that all production code should always be statically typed? Probably no. Is someone getting that idea? |
|
| | | |||
