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