fwd, 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.
initial 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?
run formatter2025-01-01T12:33:48ZKimplulkimi.h.kuparinen@gmail.com2025-01-01T12:33:48Zurn:sha1:718784ca20b8cb49aec438daecc846f273971793enough type checking for all examples to pass2024-12-28T14:40:41ZKimplulkimi.h.kuparinen@gmail.com2024-12-28T14:40:41Zurn:sha1:bf804fa1e18c717cec3944f5edea858a2f3a015dadd enough type checking to compile uniq.fwd2024-12-20T12:52:34ZKimplulkimi.h.kuparinen@gmail.com2024-12-20T12:52:34Zurn:sha1:98c3d8fbc924c62e2be571ed71b22053b9e8baa3fix generated files in .gitignore2024-12-20T10:32:41ZKimplulkimi.h.kuparinen@gmail.com2024-12-20T10:32:41Zurn:sha1:0f5ce98342a7742c4e3af0dd33b5b642419d5286add note about closure calls2024-12-11T16:02:54ZKimplulkimi.h.kuparinen@gmail.com2024-12-11T16:02:54Zurn:sha1:8ecf1531d93acda9f904f11efb2a34dfec169153add some thought about error handling2024-12-08T13:59:24ZKimplulkimi.h.kuparinen@gmail.com2024-12-08T13:59:24Zurn:sha1:e743e30a0523d9990876cbbd56bbe1ba3e65b70eadd a motivating case2024-12-07T14:36:30ZKimplulkimi.h.kuparinen@gmail.com2024-12-07T14:36:30Zurn:sha1:307f777fc0e846007280fac22b7506083fa02812
+ Hopefully it generalizes well, but at least it does use both lifetime
and ownership intermixed
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