[Haskell]結局、モナド則は何を要求しているのか - Qiita
Qiita 初投稿です。仲良くしてね (*´σｰ｀)ｴﾍﾍ モナド則の解釈に悩む Haskell 初心者の方向けの記事です。 はじめに Haskellに入門すると、すぐにモナドという概念に向き合うことになります。 モナドは純粋関数型言語であるHaskellの中で手続きを扱うための概念であり、モナドを使うと 手続きを記述できる 入出力を伴う処理が書ける 例外処理が書ける 書き換え可能なグローバル変数をエミュレートできる パーサが簡単に書ける などなど、なんだか便利そうです。 そしてモナドを解説する記事や本を読むと、必ず モナド則 という、3つの式からなるモナドの条件が説明されています。 また、自分でモナドを作るときにはこれらのモナド則を満たさなければいけない、とも書かれています。 この記事の目的は、 「これらの式が自作モナドにどんな性質を要求しているのか」 「モナド則を満たすとどんなメリット
![[Haskell]結局、モナド則は何を要求しているのか - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/d00bce7e676f34dbf92aeea8908c2e45e4de54c4/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JTVCSGFza2VsbCU1RCVFNyVCNSU5MCVFNSVCMSU4MCVFMyU4MCU4MSVFMyU4MyVBMiVFMyU4MyU4QSVFMyU4MyU4OSVFNSU4OSU4NyVFMyU4MSVBRiVFNCVCRCU5NSVFMyU4MiU5MiVFOCVBNiU4MSVFNiVCMSU4MiVFMyU4MSU5NyVFMyU4MSVBNiVFMyU4MSU4NCVFMyU4MiU4QiVFMyU4MSVBRSVFMyU4MSU4QiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ODYyMmRkNzA3YjE2ZGM2ODYyNGY3YzM1ZWVkYjQ5MDk%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwdGV6Y2E2ODYmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTRhZTU5YWI3YWRhZTVhZjU3NmU1MWEwYjRjNTkwZDEx%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D53f44c95966af9d74f119fca3ce1b376)
[Haskell] 数値リテラルの活用 - Qiita
本当は [Haskell] リテラルのあれこれ（数値・リスト・文字列） というタイトルで、リストや文字列のリテラルについても触れるつもりでしたが、思ったより長くなってしまったのでとりあえず数値リテラルについて。 お手柔らかに (*´σｰ｀)ｴﾍﾍ はじめに HaskellではC言語などのように浮動小数点型のリテラルを、3.0のように明示的に小数点をつけて書く必要はありません。 以下のコードはコンパイルを通ります。
![[Haskell] 数値リテラルの活用 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/67017b805a764a8ec348c0b2f80fefa4713c3dcb/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JTVCSGFza2VsbCU1RCUyMCVFNiU5NSVCMCVFNSU4MCVBNCVFMyU4MyVBQSVFMyU4MyU4NiVFMyU4MyVBOSVFMyU4MyVBQiVFMyU4MSVBRSVFNiVCNCVCQiVFNyU5NCVBOCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9Zjk2ZDE2MTc5NTM4NDI4NTk2Njg5YmViMjQxMjI4Y2U%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwdGV6Y2E2ODYmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTRhZTU5YWI3YWRhZTVhZjU3NmU1MWEwYjRjNTkwZDEx%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Da9daeae73b7236c41f7e4620f9711962)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
