Why free monads matter
Interpreters Good programmers decompose data from the interpreter that processes that data. Compilers exemplify this approach, where they will typically represent the source code as an abstract syntax tree, and then pass that tree to one of many possible interpreters. We benefit from decoupling the interpreter and the syntax tree, because then we can interpret the syntax tree in multiple ways. For
Patterns in Types: A look at Reader, Writer and State in Scala
Patterns in Types: A look at Reader, Writer and State in Scala Developers are often very good at spotting repetition in their programs at the value level, but for some reason struggle, or are reluctant to, apply that same careful analysis at the type level. This talk aims to build up an intuition for spotting when you can factor your types, examining what this gains you, and looking at the practic
モノイド自然変換とモノイド同値関手 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ジョン・バエズ（John C. Baez）が2010年に書いた短いノートに Some Definitions Everyone Should Know というのがあります。このEveryoneって誰だよ？ という気もしますが、まーともかく「誰でも」知っておくべき事として13個の定義が挙げられています。1番目は圏の定義で、13番目（最後）が圏のブレイド付きモノイド同値関手（ついでに対称モノイド同値関手も）です。そのひとつ前（12番目、最後から2番目）は、モノイド圏のあいだのモノイド同値（monoidal equivalence）関手です。 この記事では、バエズが12番目に取り上げたモノイド同値関手について紹介します。基本となるモノイド関手の概念と関連事項については次の記事で解説しています。 モノイド関手／ラックス・モノイド関手とその実例 ラックス・モノイド関手について、もうちょっと モノイド
The Monad Challenges
Work In Progress There are still some rough edges here, and also a fair amount of content to be added. But if we waited until everything was polished before publishing, it would probably never happen. So feel free to make comments, suggestions, or contribute new content. As always, pull requests are the most desirable. Bottom line: we need more contributors. If you would like to help, see the cont
Scheme:ExplicitMonad
Shiro: SchemeでMonadを書こう、という話はちょくちょくある。 OlegさんのMonadic Programming in Scheme Neelakantan KrishnaswamiのMonads in Scheme teranishiさんのページ howm wiki - モナド 実用的な見地からは、Monadが便利なのはモナド則を満たす基本演算を定義 しておけば他の色々な操作がジェネリックに行えることだ。 (call-with-iteratorsさえ定義しておけばgauche.collectionの色んな ジェネリック関数が使えるようになりますよ、というのに似ている)。 ただ、Schemeのような実行時型判定を行う言語でMonadを使おうとすると どうもすっきりいかない。というのは、Monadの基本演算が引数の型だけでなく 戻り値の型でディスパッチする必要があるからだ。
【ScalaMatsuriセッション当選御礼】ドワンゴ秘伝のトランザクションモナドを解説！ - Qiita
このたびはScalaMatsuriのセッションに投票していただき、ありがとうございました。 今回はそのScalaMatsuriのセッションで発表予定の内容の一つであるドワンゴ秘蔵のトランザクションモナドについて解説したいと思います。 このトランザクションモナドは基本的な機能だけなら30行ほどの短いコードで記述できてしまうのですが、なかなか説明が難しい代物でして、 ScalaMatsuriの自分の発表時間内に聴衆のみなさんに理解していただくのは難しいだろうということで、先に解説記事を書くことにしました。 このトランザクションモナドは作者の名前から通称Fujitaskと呼ばれているのですが、作者の方は周りから「天才」と言われてまして、彼は常人が思いつかないようなコードを書かれるんですね。 Fujitaskは短いながらも、モナドと、サブタイピング(変位指定)と、アドホックポリモーフィズムの三つの
例題で比較する状態系のモナド - あどけない話
金曜日に状態系のモナドを説明しないといけないので、例題を書いて比較できるようにしておきます。 呪文として、以下のモジュールを読み込んでおきましょう。 import Data.Char import Control.Monad.Identity import Control.Monad.Reader import Control.Monad.Writer import Control.Monad.State Identityモナド 入力が一つで、出力が一つのモナド。面白みはない。 i :: Identity Int i = do x <- return 2 y <- return 3 return $ x * y でも、モナドは Haskell の中に住むマイクロ言語で、このマイクロ言語でマイクロプログラムを作成した後は、run で実行するものだというイメージは分かるかも。 > runIde
Reader モナド | tnomuraのブログ
Reader モナドも説明はわかりにくいが、State と同じようにモナド外部から与えられた「環境」という値（単独の値やリストなど）をモナドの内部から ask 関数で取り出せるモナドと考えると良い。 言い換えるとモナド外部の「環境」という値を、モナド内部の ask という関数から取り出すことができるということだ。このあたりは、同じ ask という関数を使っても、「環境」の値によって戻される戻値が違うから、副作用があると考えることが出来る。したがって、Reader モナドの世界の中からみると、IOモナドや、Stateモナドと同じように副作用のあるモナドだとも言える。 State モナドの場合は、「状態」から値を取り出す関数が get で、「状態」に値を代入する関数が put だった。このように、State モナドでは「状態」をモナド内部から読み出したり、書き込んだりできる。 しかし、Read
Monads in Dynamically-Typed Languages (eighty-twenty news)
In this post, I’ll build a monad library for Racket, using its generic interfaces feature in place of Haskell’s type classes. There have been lots of demonstrations of monads in dynamically-typed languages before; notably, Oleg’s article on monads in Scheme. However, I haven’t yet (Update: see below) seen one that smoothly allows for return-type polymorphism. This post introduces (1) coercions bet
Monoids, Functors, Applicatives, and Monads: 10 Main Ideas
I’m making this post because after spending months learning about all the different properties of monoids, functors, applicatives, and monads, I thought it would be nice to collect everything I’ve learned from different tutorials, StackOverflow questions, and reddit posts into a neat beginner’s introduction to these topics. I’ll break up this post into a few Main Ideas and say a little about each.
FutureとEitherの話の続き(ApplicativeとMonadの違い) - xuwei-k's blog
昨日書いたこれ ScalaでFutureとEitherを組み合わせたときに綺麗に書く方法 の中で、 実は今回の例だけだと、Applicativeの範囲でいけるので、必ずしもモナドトランスフォーマーは必須ではありません と書いたところ、以下のような反応をもらったので Applicative でダメな例気になる 2014-09-20 00:08:37 via Twitter for Websites 例を思いついたので、それも書いておきましょう。丁寧にScalaz初心者向けに説明するの疲れたので、以前よりは雑に要点だけ書きます、ご了承ください。今回も先にコード例のgist貼っておきます。 https://gist.github.com/xuwei-k/051c3b00129b7a0dfcd6 そもそも「Applicativeで範囲よい」「ApplicativeではダメでMonad必要」は、モナ
An ASM Monad
Two weeks ago, I briefly introduced a way of representing Assembly Language in Haskell code, in order to illustrate the programming paradigm to which it belongs. In a move that is sure to scare off both high-level and low-level programmers, I shall now explain how a Monad implementing 6502 Assembly can be created. In real code, this would use more abstract or efficient types, but in this article I
型引数の基本から学ぶ、FreeモナドとCoyoneda - AweKuit日記
このエントリはScalaアドベントカレンダーの3日目です。昨日は Kuchitama さんのScalaがつないでくれた縁-NetflixMeetup Kyoto 開催後記- でした。 前おき この記事は、タイトル通りFreeモナドとCoyonedaを扱うものの、あまりそれらの直接的な話やモナモナした話ではなく、そこに至るまでの実装のあれこれを『Scalaのプログラミングとして』手探りで追ってみよう、というものです。 その過程で、特に型引数(型変数)や高階型や、それらが継承時にどう扱えるかというあたりのScalaの基本にたっぷり触れます。 なので、Freeモナドに興味がない方でも 型引数で A とか F[_] とか出てくると、まだちょっとこわい Scalaでいざプログラミングすると型が合わずつまづく事が多い という方にも、役に立つ部分があると思うので参考にぜひ読んでみてもらいたいです。 もち
Wadler: Monads
Monads, Arrows, and Idioms Philip Wadler The arrow calculus Sam Lindley, Philip Wadler, and Jeremy Yalloop, Journal of Functional Programming 20(1):51&em;69, 2010. We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus
プログラミング言語探訪
Walking Through Programming Languages Languages Standard ML Haskell Misc. About
オペレーショナル・モナドを解剖する（１） - bitterharvest’s diary
１．論理の世界 前回の記事で、米田の補題との関連を述べたが、オペレーショナル・モナドの命令の実行部分については詳しくは触れなかった。今回は、オペレーショナル・モナドの解釈・実行部分、プログラムではiterpretと記述、の部分について説明する。 例によって、長さ注釈つきのリストを用いて説明する。モナドを用いた現実の世界で話をすると複雑になるので、論理の世界で話を進め、これを現実の世界の話に移すこととする。 オペレーショナル・モナドについてその作成者のH. Apfelmusが、彼の記事で詳しく説明している。この記事では、stackの操作を例にとって、その解釈・実行部分（interpret）を説明している。ここでは、その説明を長さ注釈付きリストに応用する。 ２．プログラム プログラムは命令の列とし、最初の命令は[ ]とする。プログラムは、一つの命令だけでも構わないし、複数の命令がつながったもの
Visualising an asynchronous monad - Thomas Leonard's blog
Many asynchronous programs make use of promises (also known as using light-weight threads or an asynchronous monad) to manage concurrency. I've been working on tools to collect trace data from such programs and visualise the results, to help with profiling and debugging. The diagram below shows a trace from a Mirage unikernel reading data from disk in a loop. You should be able to pan around by dr
Haskell/Understanding monads - Wikibooks, open books for an open world
There is a certain mystique about monads, and even about the word "monad" itself. While one of our goals of this set of chapters is removing the shroud of mystery that is often wrapped around them, it is not difficult to understand how it comes about. Monads are very useful in Haskell, but the concept is often difficult to grasp at first. Since monads have so many applications, people often explai
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Monadt - Algebraic Data Types and Monads in Ruby, Part 1: ADTs
Monads in Chains - Ivan Cukic - Meeting C++ 2014
