fwd/TODO, branch masterA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=master2026-03-13T12:09:53Zadd initial reference invalidation2026-03-13T12:09:53ZKimplulkimi.h.kuparinen@gmail.com2026-03-13T12:07:29Zurn:sha1:ed7da0d9e31e8dd6847e2e603f0d1943330cf4d0
+ Makes vec example actually memory safe, which is cool
+ Specify owner > sub relationships with ">" in closure parameter
lists, uses the same group idea as closure calls
+ Relies on users implementing functions in a consistent manner,
since you can kind of do whatever with pointers. Presumably
there would be a stdlib of vec/map/set etc. which applications
could then use and by proxy be memory safe. Although some more
checks wouldn't hurt, I suppose?
+ Not sure I like having reference invalidation be 'just a move',
seems to work alright but the semantics of it are a bit muddy.
work towards a simple integer vector implementation2026-01-06T15:19:52ZKimplulkimi.h.kuparinen@gmail.com2025-12-28T22:07:16Zurn:sha1:c7b41b47d038fd4973da05224b7aa29efaae1784
+ Hopefully shows that useful programs can be implemented with
the rules present
+ Still missing at least external functions with non-void returns