diff --git a/TODO.org b/TODO.org index d8ca6c01..1fc05579 100644 --- a/TODO.org +++ b/TODO.org @@ -20,6 +20,11 @@ Dyn text stays immutable, with chars and text converting to and from a dyn vector of characters; length and indexing count characters on dyn text and bytes on str. Waits on the dyn-unless-annotated design. +** NEXT type-of +Decided 2026-09-25: (type-of x) answers a keyword — :nil :bool :int :float :text :vec +:map :keyword, :char once dyn has one, and a class instance's class name as class-of +does; a class named like a built-in kind is refused. + ** NEXT Any typed container crosses into dyn as a view Decided 2026-09-25: every element type (all numbers, chars, structs, nested arrays) and any storage; a dev build checks a view against its frame or allocation and traps