JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Flan is dyn unless annotated

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 21:43:21 +07:00
parent 94134da25a
commit 7bc04cc434
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
TODO.org
View File

@ -11,6 +11,11 @@ rejected without a record is an idea that gets re-proposed.
* Language surface * Language surface
** NEXT Dyn unless annotated
Decided 2026-09-25: in both syntaxes an unannotated value is dyn — [6 2 4 9] is a dyn
vector, 1 a dyn integer — and a typed value needs an annotation. Rules and migration
wait on a design pass.
** DONE Dynamic-first, and the dyn half of the language ** DONE Dynamic-first, and the dyn half of the language
CLOSED: [2026-09-20] CLOSED: [2026-09-20]
An unannotated parameter or return is =dyn=: a NaN-boxed value over a mark-sweep An unannotated parameter or return is =dyn=: a NaN-boxed value over a mark-sweep