/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 evanfarrer.blogspot.com
Real World Academia: Unit testing isn't enough. You need static typing too.
| | tomstu.art
Consider static typing
4.4 parsecs away

Travel
| |
| | blog.ploeh.dk
Zone of Ceremony
4.3 parsecs away

Travel
| | Static typing doesn't have to involve much ceremony.
| | weblog.raganwald.com
A "fair and balanced" look at the static vs. dynamic typing schism
3.5 parsecs away

Travel
| | [AI summary] A 2006 blog post debates the merits of static versus dynamic typing in programming languages, using C, C++, Java, and dynamic languages to discuss type safety and error consequences.
| | blog.polybdenum.com
Why You Need Subtyping | Considerations on Codecrafting - words are my own, not an LLM's
17.2 parsecs away

Travel
| Ever since Stephen Dolan's 2016 thesis Algebraic Subtyping showed how to combine type inference and subtyping, I've been developing increasingly sophisticated programming languages based on those ideas, first IntercalScript in 2019, then CubiML in 2020, PolySubML in 2025, and with my next language already in the planning stages.