#type-systems

5 pages search “type-systems” ↳ all tags

Wiki 5

Prefer Strict Tables in SQLite Evan Hahn on why STRICT tables (fixed column types) beat SQLite's default flexible typing, plus the mechanics of type affinity
Signed vs Unsigned Sizes The language-design choice between signed and unsigned size types — the bug classes each enables, and the languages that picked each side
Type System Axes Static/dynamic (when types are checked) and strong/weak (how much implicit coercion) are independent dimensions
Type Systems Vocabulary Lewis Campbell's pet-peeve note on the orthogonal axes of type systems and why "strict typing" is an amateur term
Unsigned Sizes — A Five Year Mistake in C3 C3's creator on why defaulting sizes to unsigned was wrong, and why Go and Java got it right