Pattern matches should be typed inspired by linear logic’s & (“with”). Especially striking in stack-based, concatenative languages. Munch-Maccagnoni noted this in 2009 but doesn’t seem to have percolated up to functional programming language implementers vmchale.github.io/pizarnik/i…
8
22
1
191
What would be different if functional language implementers did something like this?
1
3
Replying to @samth
Sorta nice way to handle non-empty lists: vmchale.github.io/pizarnik/n… It was motivated by solving the expression problem solves the expression problem. dl.acm.org/doi/10.1145/11598…

Extensible programming with first-class cases | Proceedings of the eleventh ACM SIGPLAN internati...

dl.acm.org

Oct 27, 2025 · 6:08 PM UTC

2
Replying to @vamchale
But this is about extensible sums, and not just patterns, right?
Replying to @vamchale @samth
What do you think about REFAL language? Do you think it is worth improving it in the way you propose?
Load more