Post #3017416
2026-03-08 18:13 UTC
@miado@discuss.systems I am sadly not very familiar with their work either, it just came to mind while reading through your paper. There is a talk about it here https://www.youtube.com/watch?v=cyMQbZ0B84Q
They mention algebraic data types at 7:00, but don't expand on it. Maybe we would have to look at the code to find out how they handle this. I get the feeling that they are somewhat lower level than your IR though. So in that way it probably mirrors what you say about existing dialects mainly targeting LLVM.
Replies (1)
-
@CanLehmann@mastodon.social 2026-03-08 18:19
@miado@discuss.systems It would be really cool to be able to lower to both LLVM and CIRCT Core dialects from a single lambda calculus IR though. I am not involved with CIRCT though, the last time I experimented with it it still seemed a bit too early for my applications, so 🤷