fwd/lib, branch gncA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=gnc2025-03-30T19:41:21ZWIP: 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
add move queues2025-03-18T16:37:00ZKimplulkimi.h.kuparinen@gmail.com2025-03-18T16:37:00Zurn:sha1:3d7713b5af2e1229949b31dcce74c7aba1fe042a
+ Returning blocks don't want to show moves for subsequent statements,
but do want to show them for possible closure callers above.
improve codegen2025-03-17T18:25:27ZKimplulkimi.h.kuparinen@gmail.com2025-03-17T18:25:27Zurn:sha1:f9c5985ce715cb2b353d87a19fed71d9904b60ed
+ Probably kind of silly since I'll probably not use the C++ backend in
the future but at least it's a bit easier to read what's going on
+ Total move checking doesn't seem to work in if statements, will have
to fix at some point
detect 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:2367a8b63c3bcfe62d1aaf7d82c0ab3622f3b16cimplement move checking further2025-01-05T23:05:57ZKimplulkimi.h.kuparinen@gmail.com2025-01-05T23:05:21Zurn:sha1:89bac537165bf262594cca343cb45e16a2167145
+ Enough that examples still compile, but missing references etc.
add trailing closures2024-12-06T18:00:42ZKimplulkimi.h.kuparinen@gmail.com2024-12-06T18:00:42Zurn:sha1:0cef986e6958a0a6a7e94e8256b0039709aed56b
+ Useful for guard statements, not entirely sure about the final syntax
but at least they're possible
add types to parser2024-12-06T16:14:40ZKimplulkimi.h.kuparinen@gmail.com2024-12-06T16:14:40Zurn:sha1:e5fda1c96af409065fedbe032b0f7908d9f312ac
+ No actual type checking is implemented as of yet, but with references
and pointers I should be able to start playing around with checking
move semantics and so on
+ Might at some point also look into type propagation for let,
annoying to have to specify the same thing twice.
implement expression handling further2024-12-04T09:04:16ZKimplulkimi.h.kuparinen@gmail.com2024-12-04T09:04:16Zurn:sha1:5d4b4ef80d8dc427b0e2803d50e439f76f06e17a
+ Add some notes about returning functions that I started thinking about
as a result of the fib example
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.