ソフトウェアエンジニアとしてモナドを完全に理解する / make-perfect-sense-of-monad - Speaker Deck

2019/12/13 236 users Speaker Deck ソフトウェアエンジニア

All slide content and descriptions are owned by their creators. 続きを読む

30分でわかるJavaScriptプログラマのためのモナド入門

2018/12/17 461 users モナド入門 javascriptプログラマ Monad 分量

「30分でわかる」のは、だいたい、 4. モナド(Monad)とは何か？ の読了までを想定しています。 また速い人なら、30分で全部一気に読み通せる分量でもあると思います。 30分以上かかっても一気読みしてしまうことが推奨されますし、一気読みできるように、前に戻って知識の再確認をしなくて済むように、最大限留意して構... 続きを読む

関数型プログラミングはまず考え方から理解しよう - Qiita

2016/04/25 583 users Qiita 高階関数 パラダイム 関数型プログラミング 数々

関数型プログラミングが注目されて久しいです。 そろそろ勉強しておかないとなぁということで調べてみるものの、情報として出てくるのは"高階関数","カリー化","遅延評価","モナド"などの物々しい単語の数々。これらを勉強して理解した気になったものの、プログラムを書こうと思うと全然書けませんでした。 結局、関数型言語を実現する手段を学ぶ前に関数型と言われるパラダイムを理解しないことには書けません。とい... 続きを読む

モナドって結局何なのよ? — join to Monad v0.1.3 documentation

2015/08/14 202 users Haskell 数学 圏論 関係

モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず「モナド」ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。 そもそも Haskell って何なのよ?¶ 何なんでしょうね... 続きを読む

JavaScriptのモナド | プログラミング | POSTD

2015/08/14 289 users POSTD 一連 マルチパラダイム言語 プログラミング 副作用

モナドは、一連のステップによって実行する計算を記述する際に使用する、1つのデザインパターンです。純粋関数型プログラミング言語 では、モナドは副作用を管理するために利用されていますが、マルチパラダイム言語では、モナドで複雑性を制御することもできます。JavaScriptにおいてモナドを扱う方法について見ていきましょう。恒等モナド Maybeモナド リストモナド 継続モナド Do記法 連鎖呼び出し モ... 続きを読む

PlayFramework - 継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる - Qiita

2015/05/03 102 users Qiita Playframework 継続モナド 前提 程度

継続モナドを使ってPlay FrameworkのActionを作るという話をします。 Play FrameworkはScalaのWebアプリケーションフレームワークであり、Actionはそのコントローラー部分になります。 この記事を読むにあたって継続モナドの知識は前提としませんが、 ある程度のモナドの知識(Scalaのfor構文の使い方、ScalaのモナドがflatMapメソッドで合成できることな... 続きを読む

出、出～～ｗｗｗｗｗ銀行員待行列解説奴～ｗｗｗｗｗｗｗ - モナドとわたしとコモナド

2015/02/05 190 users cons コモナド ｗｗｗｗｗｗｗｗｗ ｗｗｗｗｗ ｗｗｗ

2015-02-05 出、出～～ｗｗｗｗｗ銀行員待行列解説奴～ｗｗｗｗｗｗｗ 銀行員待行列(Banker's deque)、二つのリストで構成奴～～ｗｗｗｗｗ 入奴と出奴～ｗｗｗｗｗｗｗｗｗ ↓入奴 三(^o^)ノ　[(^o^)ノ, (^o^)ノ, (^o^)ノ] ヽ(^o^)三　[ヽ(^o^), ヽ(^o^), ヽ(^o^)] ↑出奴 追加は入奴にcons、取り出しは出奴にuncons奴～ｗｗｗ... 続きを読む

関数型プログラミングとオブジェクト指向の抜き差し可能な関係について整理して考える - モナドとわたしとコモナド

2014/09/22 240 users プログラミングパラダイム 抜き差し コモナド プログラマ 併用

2014-09-22 関数型プログラミングとオブジェクト指向の抜き差し可能な関係について整理して考える Googleで適当に検索すると とズラリと出てくる。 オブジェクト指向 v.s. 関数型プログラミング 関数型とオブジェクト指向という一見相反するプログラミングパラダイムの併用について理解した プログラマが知るべき97のこと/関数型プログラミングを学ぶことの重要性 新人プログラマに知っておいても... 続きを読む

モナド教

2014/08/13 305 users return 操作 前提知識 存在 m b

前提知識：モナド モナドを理解せずともモナド教を信ずることは出来ますが，理解していればより深く納得できるでしょう． 操作 :: 型 -> 型 は，"型"から"型"へ写す"操作"の存在を表します． モナドの文脈 m が必要とする2つの操作： return :: a -> m a で，値を保ちつつ文脈 m の中に入れ込むことが出来ます． (=<<) :: (a -> m b) -> (m a -> m... 続きを読む

絶対に理解出来ないモナドチュートリアル - konn-san.com

2013/06/27 215 users セミコロン 接ぎ木 有象無象 設計図 プログラム

絶対に理解出来ないモナドチュートリアル 世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、設計図の色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。... 続きを読む

モナドが解らない人へ、図解で絶対わかるモナドのしくみ - セカイノカタチ::Techlog

2013/06/24 370 users メタファ Haskell techlog Scala 図解

Scala, Haskell 前置き みなさん、モナドって、わかりにくいですよね。 なので、図解することで解りやすく説明できるんじゃないかと、何回かモナドの図解を試みてきたのですが、むしろ複雑さが強調されてしまい残念な感じになってしまいました。 過去の図解 モナドってなんだよ!?全然わからないんで分解して図解してみた(´・ω・`) モナドの分解ふたたび ただ、以前よりモナドを表すメタファのイメージ... 続きを読む

圏論とかモナドなんて簡単だからscalaを使って説明してみた - だらだらしてたいなぁ

2013/03/31 236 users Scala 順序 関数型 圏論 2013-03-31

2013-03-31 圏論とかモナドなんて簡単だからscalaを使って説明してみた scala 圏論 はじめに 関数型といえばモナド、モナドといえば難しいという事が巷で言われていますが、いきなりモナドを理解しようとするから難しく思えるだけで、圏論から順序を追って理解していけば全然難しく無いんだよって事を分かって貰えればいいなぁと思い書いて見ることにしました。ただ、圏論といっても適用範囲がとっても広... 続きを読む

絵で見るモナド | eed3si9n

2012/08/21 111 users チュートリアル 本稿 eed3si9n 数学用語 翻訳

John Wiegley さんの "Monads in Pictures" を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2012年8月20日 John Wiegley 著 2012年8月21日 e.e d3si9n 訳 これはモナドのチュートリアルではないし、ここには数学用語も出てこない。本稿は、既にモナドを一応使えるぐらいには習った人を対象と... 続きを読む

Scala で圏論入門 - GitHub

2012/01/18 149 users GitHub Scala 未知 圏論入門 概念

https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎に遭遇するだろう。そういった未知の概念は、君を、自分が恐ろしくまぬけ... 続きを読む

モナドはメタファーではない | eed3si9n

2011/05/30 285 users メタファー eed3si9n

Scala界の関数型プログラミング一派を代表する論客の一人、@djspiewak が 2010年に書いた "Monads Are Not Metaphors" を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2010年12月27日 Daniel Spiewak 著 2011年5月29日 e.e d3si9n 訳 僕は今、約束を破るところだ。およそ三... 続きを読む

第14回 関数脳のつくり方　Second Season　〜モナドで悟りをひらく〜 - 刺激を求める技術者に捧げるScala講...：ITpro

2009/10/27 238 users ITpro SECOND SEASON 関数脳 刺激 つくり方

大手SIベンダにてSEやPMやアーキテクトとして勤務したのち，株式会社豆蔵を経て，現在は合同会社シンプルアーキテクト代表社員であり，株式会社匠Business Placeのチーフコンサルタント。主に超上流のプロセスである要求開発やオブジェクト指向，アジャイル開発のコンサルタントとして活躍中。開発の現場にこだわり，開発の現場を少しでもよくしたいと日夜奮闘している。要求開発アライアンス執行委員。著書に... 続きを読む