Stream: compiler development

Topic: Unrolling recursive tag unions interferes with lambda sets


view this post on Zulip Ayaz Hafiz (Jul 11 2023 at 22:32):

when trying out the continuation monad based effect interpreter Brendan ran into https://github.com/roc-lang/roc/issues/5464. I think I have figured out at least one problem here that i described here: https://github.com/roc-lang/roc/issues/5464#issuecomment-1631583439. would anyone mind looking over the analysis and let me know if I'm missing something obvious or you come to a different conclusion?

view this post on Zulip Richard Feldman (Jul 11 2023 at 23:59):

I read it, and...I am confused :laughing:

view this post on Zulip Ayaz Hafiz (Jul 12 2023 at 02:43):

me too

view this post on Zulip Ayaz Hafiz (Jul 12 2023 at 02:44):

i was hoping i would share my analysis and get affirmation or rebuttal haha

view this post on Zulip Ayaz Hafiz (Jul 12 2023 at 02:45):

gotta love emergent properties... expected in a statistical setting, totally unexpected in an analytical one


Last updated: Jul 06 2025 at 12:14 UTC