Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
littlegem: the design is starting to come into focus and i've started noodling around on the bit of the prototype that isn't presyntax.
so i think the type theory i'm aiming for is quite similar to kovacs' super-mega-poly from elaboration zoo, which is a bit more than i really wanted to implement but oh well, i suppose i was going to have to go there sooner or later and at least this one has been implemented and i might have a chance of hacking in all the other stuff i want... https://github.com/AndrasKovacs/elaboration-zoo/tree/master/experiments/super-mega-poly
in terms of data structures, i was thinking to start with simple c-style structs which could be easily exported for use with C, but it seems a bit weird to go aggressively first order if you've got a fairly powerful type theory there. although it kinda feels like it would work out similar to zig if i did. we'll see on that, i guess. i can't say i hold out much hope for it staying that simple forever 😬