2007-12-22から1日間の記事一覧
次の関数 thrd は3要素のタプルを引数にとって,3番目の要素を返す。 # let thrd (x, y, z) = z;; val thrd : 'a * 'b * 'c -> 'c = <fun>この, 'a,'b,'c を型変数といい,thrd を適用するときには具体的にどんな型がきてもいい。つまり引数のタプルの各要素が</fun>…
次の関数 thrd は3要素のタプルを引数にとって,3番目の要素を返す。 # let thrd (x, y, z) = z;; val thrd : 'a * 'b * 'c -> 'c = <fun>この, 'a,'b,'c を型変数といい,thrd を適用するときには具体的にどんな型がきてもいい。つまり引数のタプルの各要素が</fun>…