単純で頑強なメッセージングシステム、franz - モナドとわたしとコモナド

2019/09/07 55 users メッセージングシステム モナド Franz わたし

Haskell製の新しいメッセージングシステムfranzの紹介。 github.com 背景 取引所にあるマシンで取引プログラムを実行するのが我々の仕事だが、朝8時に起動したらあとは昼寝したり酒を飲んだりというわけにはいかない。モニタリングしたり、分析のためにデータを残しておく必要がある。そのため、プログラムによって解析... 続きを読む

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

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のこと/関数型プログラミングを学ぶことの重要性 新人プログラマに知っておいても... 続きを読む

モナドとはモナドである - モナドとわたしとコモナド

2013/06/28 77 users モナド 過不足 コンテナ 2013-06-28 わたし

2013-06-28 モナドとはモナドである この記事を読む前に、絶対に理解出来ないモナドチュートリアルに一度目を通してみてほしい。モナドを理解していく上で、とても重要なことが書かれている。 改めて言おう、モナドはモナドだ。コンテナだとかプログラマブルセミコロンだという説明では、モナドのすべてを正確に表せるとは言い難い。では、モナドを過不足なく説明できる、モナド以外の言葉はあるのか？ 実は、モナド... 続きを読む

モナドの六つの系統 - モナドとわたしとコモナド

2013/06/05 96 users モナド Haskell 系統 概念 アクション

2013-06-05 モナドの六つの系統 モナドは「アクション」を表す抽象的な構造である。モナドは、Haskellにさまざまな概念に対する記述能力をもたらす。 モナドの基礎 return :: a -> m a: 純粋な値をモナドで包む。 m >>= f :: m a -> (a -> m b) -> m b: モナドmに包まれた値をfに渡し、その結果として現れたモナドを結合する。 固有アクション... 続きを読む