fwd/include, branch gncA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=gnc2026-01-06T15:19:52Zimprove move checker to detect pointer leaks2026-01-06T15:19:52ZKimplulkimi.h.kuparinen@gmail.com2026-01-06T15:17:27Zurn:sha1:99601456e6ad4c86287ba786923c99c5499037e0
+ Currently requires a lot of unnecessary `forget` statements,
but at least some can likely be eliminated by doing some
basic origin analysis, kind of like with groups
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
implement enough type analysis for vector example2026-01-06T15:19:52ZKimplulkimi.h.kuparinen@gmail.com2025-05-07T18:22:38Zurn:sha1:d501b2c9ebab6f5b90c808ea0e5fde912818707d
+ Big commit, scary
+ Some details still a bit up in the air, mainly about move checking
structure member access ('register' types are freely copied I guess,
same as in rust? How about user types?)
WIP: rewrite C++ backend to be C2025-03-30T19:41:21ZKimplulkimi.h.kuparinen@gmail.com2025-03-30T19:36:53Zurn:sha1:957da9056c36a5eea15c6058701f7465b31f64a8
+ C allows for a bit more control, and we can manually handle closure
contexts. For example `examples/fib.fwd` now works for effectively any
`n`, pretty cool.
+ Fairly slow Fibonacci, I must admit. Initial profiling indicates it's
mainly due to branch mispredictions, but I'll have to look into this a
bit deeper.
+ The code is a bit hacked together, for now I'm more interested in
getting things working, I'll worry about making things pretty later.
+ For testing, there's also initial support for modules, just so I can
print stuff to the terminal
+ This commit is way too big, lol
start sketching out type system2025-03-23T20:29:11ZKimplulkimi.h.kuparinen@gmail.com2025-03-23T20:29:11Zurn:sha1:c87f5a8871edf6880b894a00b180c554ffd46d0ause maps in scope2025-03-22T14:36:18ZKimplulkimi.h.kuparinen@gmail.com2025-03-22T14:36:18Zurn:sha1:350f6c40fa18c35bde9489225175c82de44ba709use generic conts2025-03-18T18:00:06ZKimplulkimi.h.kuparinen@gmail.com2025-03-18T17:23:38Zurn:sha1:195b0c7d812811287996c3f39cbf5e9ec63da482fix some total moves2025-03-17T19:49:25ZKimplulkimi.h.kuparinen@gmail.com2025-03-17T19:49:25Zurn:sha1:17c7dbd9cec96862384c4323a0e36eb0558b580ddetect leaks2025-03-17T00:12:02ZKimplulkimi.h.kuparinen@gmail.com2025-03-17T00:12:02Zurn:sha1:78bf3e039d77e3eb0d5e394273adb69b2b70a76dinitial ptr stuff2025-01-09T21:00:01ZKimplulkimi.h.kuparinen@gmail.com2025-01-09T21:00:01Zurn:sha1:2367a8b63c3bcfe62d1aaf7d82c0ab3622f3b16c