Explore >> Select a destination
|
You are here 
|
sophiabits.com | ||
| | | | |
vickiboykis.com
|
|
| | | | | What are they? Why are they? | |
| | | | |
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... | |
| | | | |
blog.quaddmg.com
|
|
| | | | | ||
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
