language-agnostic - 等效于 ADT 上的模式匹配的功能

Question

是否有一些最小的函数集共同构成了与 ADT 上的模式匹配等效的函数？

如果有证据证明它们是等价的，我特别感兴趣。