Imp: A full-stack relational language built around incremental maintenance

Yeah, is very good the write-ups.

I remember this from https://scattered-thoughts.net/writing/a-practical-relationa....

Working with the relational model for my lang (https://tablam.org) I also found very challenging how surface iterators/generators (like here: "a maybe-infinite type") is the most significant challenge.

Is interesting how on this the solving look clean! It take me a long time to figure out how do it on rust (still using rust semantics) so see it doing in a more "pure" version is very nice!.

He is reinventing Chris Granger's Eve language all over again. I have seen many, many attempts at "functional-reactive programming languages with an Excel-style DB bolted on top" and not a single one has succeeded so far. The biggest reason for failure is that trying to do both tend to result in a half baked platform. The DB /spreadsheet lacks features and the programming language doesn't offer enough functionality/libraries to make apps. OP needs to make a killer application/compelling use case.