Introduction

イントロダクション モナドとは何か なぜモナドを理解しようとするのか モナドとは何か モナドは値およびその値を使う計算の並びという観点からいえば、計算を構造化 する方法です。モナドを使うと、プログラマはひとならびのブロックを使って計 算を構築することができます。このブロックはそれ自身計算の並びです。モナド はどのように合成された計算が新しい計算を形成するかを決定します。これによ り、要求があるたびに組み合わせを手でコーディングしなければならないプログ ラマを解放してくれます。 モナドを、計算を合成して、より複雑な計算にする戦略と考えると いいでしょう。たとえば、Haskell の Maybe 型については よく馴染んでいると思いますが、 data Maybe a = Nothing | Just a これは結果を返しそこなうかもしれない計算の型を表現しています。 Maybe 型が示唆するも

[mash180sx]

haskell monado