Post #3017414

Replies (1)

• @miado@discuss.systems 2026-03-08 15:46

  @CanLehmann@mastodon.social hmmm interesting, thanks for the pointer! Glancing at it, it seems quite interesting but also like they're trying to encode a different set of constructs, and don't seem to mention recursion or adts anywhere, so it's unclear how it could model something like Haskell? There are a couple of dialects that attempted to encode something close to lambda calculus in mlir, most notable one that actually partially upstreamed is `rise`, but they tended to not want to deal with recursion of higher order functions and their design was really focused around making it easier to target llvm ir, so that's why we opted for making a more recursion focused, hardware oriented one. It's a very fun space to work it because so many people have different views of what is important to keep in the ir to make the lowering easier, I'm excited to see how much we'll have to change `lc` when we try to upstream it 😅

  Open ##3017415