fwd, 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
allow omitting ';' in trivial calls2026-01-06T15:19:52ZKimplulkimi.h.kuparinen@gmail.com2026-01-06T13:51:30Zurn:sha1:64146b46da45ce69ab380add00459f7b60fe9196work 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?)
small build system improvements2025-08-10T18:44:58ZKimplulkimi.h.kuparinen@gmail.com2025-08-10T18:44:43Zurn:sha1:49320376a1ba3fcc7eba7ceda2c728649ee8323eCopy individual fields instead of a whole struct2025-05-01T12:21:25ZKimplulkimi.h.kuparinen@gmail.com2025-05-01T12:21:25Zurn:sha1:1fadcec6d7b26d34edf3b5b3a293deea0edb4139
+ Still not quite as robust as I'd like (and the autovectorization
problem persists) but at least there shouldn't be a risk of
overwriting a field following the parameters
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:350f6c40fa18c35bde9489225175c82de44ba709improve printing2025-03-22T13:40:15ZKimplulkimi.h.kuparinen@gmail.com2025-03-22T13:40:15Zurn:sha1:199d1342d76b5cae6503fa0a97322d2658d43b5f