Trail · CuratedHow things are shaped and counted

The quiet grammar of quantity, kind, and spatial arrangement.

Holding questionWhat might type systems inherit from languages that classify what a thing is before counting it?

These capabilities look less obviously computational than the epistemic ones, but they touch every schema that stores a number, a category, or a location.

Route · 4 stops
Read top → bottom
  1. 01

    Classifier Systems

    What kind of thing is this in the current context?

    Why hereMany languages count kinds before counting units. Classifier morphemes are effectively runtime kind-checks.

    Meaning and Context·Research · Illustrative·Graft · Documented
  2. 02

    Grammatical Number

    How many are there, and does that count matter here?

    Why hereSingular, dual, plural, paucal — number is a system, not a boolean flag on a field.

    Meaning and Context·Research · Under review·Graft · Documented
  3. 03

    Reduplication, Repetition and Intensity

    Is this happening repeatedly, intensely, or in a diminished way?

    Why hereRepetition itself can mark intensity, plurality, or iteration. It is grammar as multiplicity.

    Time and Action·Research · Under review·Graft · Documented
  4. 04

    Spatial Frames of Reference

    Is direction expressed relative to me, to a landmark, or to the world?

    Why hereEgocentric or absolute? Spatial frames of reference are the coordinate systems geography APIs assume without asking.

    Space and Orientation·Research · Source required·Graft · Documented
ClosingWhat the trail argues

Numeric primitives and enum types are impoverished versions of the distinctions grouped here. This trail is a reminder that quantity was never just a scalar.