fwd/scripts, branch mvcheckA programming language that cannot returnhttps://metanimi.dy.fi/cgit/fwd/atom?h=mvcheck2025-01-03T23:25:31Zinitial 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.