fwd/lib, branch mvcheckA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=mvcheck2025-01-05T23:05:57Zimplement 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.