smlnj - 如何对函数进行模式匹配？

Question

H，

我正在尝试进行模式匹配，但函数的输入是一个柯里化函数，你怎么能匹配这样的东西？

谁能给我一些例子吗？

Answer 1

如果我对您的理解正确，那么您是在尝试对作为输入的函数进行模式匹配？

这是不可能的。函数没有结构，因此尝试这样做没有任何意义。