IOモナド

モナドとは、哲学ではライプニッツが提唱した分割不可能な実体を、プログラミングでは計算の文脈を抽象化する仕組みを指す言葉です。意味の違いやライプニッツ・関数型プログラミングとの関係をわかりやすく解説します。