Outer Web | Explore

/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		blainehansen.me Databases should have static type checkers \| Blaine Hansen
\|	\|	blog.polybdenum.com Why You Need Subtyping \| Considerations on Codecrafting - words are my own, not an LLM's	7.5 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.	7.5 parsecs away Travel
\|	\|	gavinhoward.com Designing a Type System \| Gavin D. Howard	7.8 parsecs away Travel
\|	\|	There are 8 questions that must be answered to design a good type system. In this post, I attempt to do just that.	7.8 parsecs away Travel
\|	\|	vfoley.xyz Reflecting on ppbert	6.7 parsecs away Travel
\|	\|		6.7 parsecs away Travel
\|	\|	jfenn.me JavaScript: Productivity over Proof \| James Fenn	27.1 parsecs away Travel
\|		In the vast majority everyday software, nobody writes a mathematical proof of every piece of functionality. Dynamically typed languages exist for a reason, and this is not it.	27.1 parsecs away Travel