Explore >> Select a destination

You are here

 gavinhoward.com
Designing a Type System | Gavin D. Howard
| | weblog.raganwald.com
Dynamic is the opposite of Static, not of Explicit
0.9 parsecs away

Travel
| |
| | existentialtype.wordpress.com
Dynamic Languages are Static Languages | Existential Type
1.5 parsecs away

Travel
| | 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
| | blog.jooq.org
The Inconvenient Truth About Dynamic vs. Static Typing - Java, SQL and jOOQ.
3.5 parsecs away

Travel
| | Sometimes there are these moments of truth. They happen completely unexpectedly, such as when I read this tweet: https://twitter.com/whileydave/status/536422407297171457 David is the author of the lesser-known but not at all lesser-interesting Whiley programming language, a language that has a lot of static type checking built in it. One of the most interesting features of the...
| | leejo.github.io
TPC and The End of Language Dominance
22.6 parsecs away

Travel
| [AI summary] The author reflects on the history and evolution of the Perl programming language, its influence on Unix systems, and the community's role in its development, while discussing recent conferences and the future of programming languages.