|
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. | |
| | | | |
pointersgonewild.com
|
|
| | | | | Static vs Dynamic: Why not Both? | |
| | | | |
existentialtype.wordpress.com
|
|
| | | | | While reviewing some of the comments on my post about parallelism and concurrency, I noticed that the great fallacy about dynamic and static languages continues to hold people in its thrall. So, in the same "everything you know is wrong" spirit, let me try to set this straight: a dynamic language is a straightjacketed static | |
| | | | |
river.cat
|
|
| | | [AI summary] The author details their personal journey and methodology for learning the Haskell programming language, including specific resources, compilers, and exercises they are using. | ||