Programming Languages

Subcategories

Posts

  1. Types and text

    Text is rarely “just a string.” The moment a program needs to compare, display, slice, normalize, or persist it, an implicit model of text becomes part of the design.

  2. What a type name promises

    A type name is a small promise about the values a program may contain. When the name and the representation disagree, every caller must quietly repair that promise in its own head.