0

これは、http：//homepages.inf.ed.ac.uk/stg/NOTES/node42.htmlにある標準MLチュートリアルの演習です。

私は授業を受けていないので、ここで不正行為は行われていません。しかし、私はこれを行う方法を理解することはできません。誰かが助けることができますか？

関数のfn x => fn y => xタイプは'a -> ('b -> 'a)です。明示的な型制約を与えずに、型を使用して関数を定義します'a -> ('a -> 'a)

4

1 に答える 1

2

ヒント1：2つ以上の部分式があるが、それらが同じ型である必要がある式を見つける必要があります。

ヒント2：リストまたは条件文は良い候補です。

ヒント3：もちろん、そこに入力する部分式には2つの引数があります。

ヒント4：この式の結果を使用する必要はありません。

于 2012-05-09T22:12:00.740 に答える