週末デッドエンド

勉強と日記と怪文書

2021-06-05から1日間の記事一覧

2021-06-04 Fri. — match 式とリストパターン

勉強 プログラミング in OCaml (–§5.2 リストの要素へのアクセス) 練習問題 4.6 fun x y -> yを、コンビネータsとkを関数適用のみで組み合わせた形で表現する。 予想(間違っている) s k x y --> k y (x y) (* ??? *) --> y となってほしいけど、型付けエラー…