Stack Overflowに質問されていた、「In what areas might the use of F# be more appropriate than C#?」の回答を翻訳してみた。 simon cousinsの回答 私は、とあるエネルギー会社向けに、発電所のポートフォリオに関する国の発電スケジュールと取引ポジショ…

13.9 練習問題 付録Aにある標準ライブラリの中から重複のあるパターンを使って定義されている関数を探せ。 教科書を見ながら抜き出してみる。 ガードも重複パターンのうちかな？ A.1 クラス min, max :: a -> a -> a min x y | x <= y = x | otherwise = y m…

13.9 練習問題 付録Aにある標準ライブラリの中から重複のあるパターンを使って定義されている関数を探せ。 いま手元に教科書がなくて、付録Aを確認できないので、今日はパス。 add n (Succ m) = Succ (add n m) であることをnに対する数学的帰納法で示せ。 n…

13.7 コンパイラーの正しさ 忙しかったのでかなり間が空いてしまった。 今回は10.5節で出てきた関数を、10.5節とは違った形で（コンパイルして実行することで）評価する関数を定義して、その関数の振る舞いがもとの関数の振る舞いと一致することを証明する。…