fwd/scripts, branch gncA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=gnc2025-08-10T18:44:58Zsmall build system improvements2025-08-10T18:44:58ZKimplulkimi.h.kuparinen@gmail.com2025-08-10T18:44:43Zurn:sha1:49320376a1ba3fcc7eba7ceda2c728649ee8323eWIP: 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
bump conts and remove c23 requirement2025-03-22T13:08:31ZKimplulkimi.h.kuparinen@gmail.com2025-03-22T13:08:31Zurn:sha1:d922c61db5a4eacf9c4c0a6ec5ed7647d000171ause generic conts2025-03-18T18:00:06ZKimplulkimi.h.kuparinen@gmail.com2025-03-18T17:23:38Zurn:sha1:195b0c7d812811287996c3f39cbf5e9ec63da482initial move checking2025-01-03T23:25:31ZKimplulkimi.h.kuparinen@gmail.com2025-01-03T23:25:31Zurn:sha1:aec19e55ca32f68536a550f100d3f058b8a93c02
+ Missing implementations for most things, but it already highlights
an oversight in my initial plan, namely that currently, a function
might call multiple of its closures, meaning that a closure wouldn't
be allowed to move a value. I'm debating whether to check that only
one closure from a parameter list is called at a time or if I should
do what Hylo does and add in some kind of 'subscript' that's like a
function but has slightly different rules?
initial commit2024-12-03T20:04:38ZKimplulkimi.h.kuparinen@gmail.com2024-12-03T20:04:38Zurn:sha1:2253da61e9b3dd5408bed182ea08e5270156c17e
+ Lots of code copied from ek, so didn't have to start from scratch, but
might mean there are some quirks here and there that made sense in ek
but not necessarily here.