プログラムコンテンツへスキップはじめてプログラムプログラミング初心者向けチュートリアルやUnity5やC#の記事を書いています。Contentsはじめに問題点ソースコード型が一致しませんエラーが解決できません。調べてみるHaskellでもエラーがでる?関連記事はじめに関数型プログラミング言語は、ラムダ計算という仕組みが元になっているというのをよく入門記事で見かけます。実際にラムダ計算を調べてみると基本ルールはとても小さく、関数だけで数字や演算子を作り上げる面白い仕組みというのが分かりました。F#やHaskellは文法上、括弧が少なくカリー化で引数がひとつずつ繋がっているのでラムダ計算の表記をF#にとても落とし込みやすかったです。Haskellも同じようにやりやすいのだと思います。私のスキルはFizzBuzzを書くぐらいのレベルですが、興味のある事をしないと命令型言語に戻ってしまうのでF#でラムダ計算をやるだけやってみました。コードの次に書いてあるエラーのように、型が一致しませんの表記がすごいことになっていて、とても解決できるものではありません。今現在は、型チェックが解決できず引き算が実装できない。pred関数で、minusを作ったら、型でエラーが発生します。pred'として、pair,fst,sndを使う方法で実装。こちらも同様にエラーが出ます。今現在は、型チェックが解決できず引き算が実装できない。pred関数で、minusを作ったら、型でエラーが発生します。pred'として、pair,fst,sndを使う方法で実装。こちらも同様にエラーが出ます。整数の終了コードを返します型が一致しませんエラーが解決できません。n2のコメントアウトを外すと型が一致しません。いうエラーが発生します。