smlnj - 関数をパターンマッチングする方法は？

Question

H、

パターンマッチングをしようとしていますが、関数への入力はカリー化された関数ですが、どうすればそのようなパターンマッチングを行うことができますか？

誰かが私にいくつかの例を見せてもらえますか？

Answer 1

私があなたを正しく理解しているなら、あなたはあなたが入力として得る関数とパターンマッチしようとしていますか？

それは不可能です。関数には構造がないので、それを試してみるのはあまり意味がありません。