|
You are here |
evanfarrer.blogspot.com | ||
| | | | |
tomstu.art
|
|
| | | | | ||
| | | | |
blog.ploeh.dk
|
|
| | | | | Static typing doesn't have to involve much ceremony. | |
| | | | |
weblog.raganwald.com
|
|
| | | | | [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
|
|
| | | 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. | ||