Explore >> Select a destination
|
You are here 
|
dafoster.net | ||
| | | | |
www.layer9.org
|
|
| | | | | Group blog for the computer networking and systems research community. | |
| | | | |
frenchy64.github.io
|
|
| | | | | [AI summary] This essay explores the debate around type system soundness, comparing the intentional unsoundness of TypeScript with the soundness of Typed Racket and Typed Clojure, and discusses the trade-offs between usability and robustness in programming languages. | |
| | | | |
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.glyph.im
|
|
| | | Deciphering Glyph, the blog of Glyph Lefkowitz. | ||
