エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
なぜモナドが必要なのか? - Qiita
良い感じだが… STEP 3 次の問題: いくつかの関数は失敗する可能性を持っている(例えば、g(2, 0)は0除算... 良い感じだが… STEP 3 次の問題: いくつかの関数は失敗する可能性を持っている(例えば、g(2, 0)は0除算となる)。 関数型プログラミングでは「例外」を持ってはいない(例外は関数ではない)。これをどのように扱うか? 解決法 関数に二種類のものを返すことができるようにする。 g : Real,Real -> Real(二つの実数から一つの実数への関数)の代わりに、g : Real,Real -> Real | Nothing(二つの実数から一つの実数またはNothingへの関数)とする。 良さそうだ、しかし… STEP 4 しかし、関数は一つの値のみ返すべきだ(シンプルにするため)。 解決法 戻り値のための新しい型を作ろう。 新しい型は、実数かNothingを閉じ込む「Box化型」だ。 そのため、g : Real,Real -> Maybe Realとなる。だがしかし… STEP



2018/07/12 リンク