mandel59 https://blog.hatena.ne.jp/mandel59/ Ryusei’s Notes (a.k.a. M59のブログ) https://mandel59.hateblo.jp/ プログラミング プログラムにおける「関数」とは何かについて、自分なりのまとめ - Line 1: Error: Invalid Blog('by Esehara' )bugrammer.hateblo.jp a -> bというのは、引数にa型の値をとり、b型の値を返す関数の型だ。 Monad mが存在するような任意の型コンストラクタmについて、m aというのは、a型の値を生成する（Monad mの）アクションの型だ。 という型の意味を理解していれば、関数(>>) :: Monad m => m a -> m b -> m bは、その型から、 Monad mが存在するような任意の型コンストラクタmについて、 m… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2015%2F08%2F15%2F051720" title="アクションと関数、式の値の話 - Ryusei’s Notes (a.k.a. M59のブログ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-08-15 05:17:20 rich https://mandel59.hateblo.jp/entry/2015/08/15/051720 1.0 100%