Yeah, is very good the write-ups. I remember this from https://scattered-thoughts.net/writing/a-practical-relational-query-compiler-in-500-lines/ https://scatt

Yeah, is very good the write-ups. I remember this from https://scattered-thoughts.net/writing/a-practical-relational-query-compiler-in-500-lines/ https://scattered-thoughts.net/writing/a-practical-relationa.... Working with the relational model for my lang (https://tablam.org 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!.