sml - smlnj の Compose 関数

Question

単項関数 f1,...,fn のリストと値 v を引数として受け取り、f1(f2(. . . (fn(v)) . . .))... を計算する関数 compose を作成する必要があります。 SMLNJで

組み込みのカレー実装を使用せずにカレーバージョンを作成しようとしていますが、何か提案はありますか?

独自のカレーテクニックで実装する方法は?

Answer 1

を使用する場合は::、パターンを囲む角かっこを削除します。それ以外の場合は、要素が別のネストされたリストである 1 要素のリストに一致します。

また、定義の 2 番目のケースは冗長に思えます。