Do Be Do Be Do | Lambda the Ultimate
Monads and algebraic effects are general concepts that give a definition of what a "side-effect" can be: an instance of monad, or an instance of algebraic effect, is a specific realization of a side-effect. While most programming languages provide a fixed family of built-in side-effects, monads or algebraic effects give a structured way to introduce a new notion of effect as a library. A recent av
Haskell has no state monad
Haskell’s State monad has a shameful secret. It’s not a monad [State monads don’t respect the monad laws in Haskell, Simon Marlow] . Look: type State s a = s → (a, s) return x = λs → (x, s) f >>= g = λs → case f s of (x, s') → g x s' Remember the monad laws: x >>= return must be equal to x. In particular, ⊥ >>= return must be ⊥. State breaks this law:
モナドトランスフォーマー・ステップ・バイ・ステップ(Monad Transformers Step By Step) - りんごがでている
著者のMartin Grabmüller氏に許可をいただきましたので、 Haskellモナドトランスフォーマーのチュートリアルを翻訳したものを公開します。 タイポや誤訳、プログラムのミス等ありましたら、 Twitter宛@bicycle1885かコメント欄までご連絡頂けるとありがたいです。 元のテキストやプログラムは以下のリンクから得られます。 Monad Transformers Step by Step [2012/12/19] 誤りを多数訂正しました。id:qtamakiさん、ありがとうございます。 [2014/6/19] 誤りを2点訂正しました。id:daimatzさん、id:hitotakuchanさん、ありがとうございます。 Monad Transformers Step by Step Martin Grabmüller Oct 16 2006 概要(Abstract) この
Monad Transformers in Scala
A programmer's blog - will deal with everything that relates to a programmer. Occasionally, it will contain some humour, some politics and some sport news. Monads don't compose .. and hence Monad Transformers. A monad transformer maps monads to monads. It lets you transform a monad with additional computational effects. Stated simply, if you have a monadic computation in place you can enrich it in
MonoidもMonadもモノイドだって話 - Pixel Pedals of Tomakomai
わかめのモナド浸しと第6回 スタートHaskell2で「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」という話をしてきた。スライドは以下。 モナモナ言うモナド入門 *1 モナモナ言うモナド入門.tar.gz .tar.gz の方はHaskellでの説明だったので、検証用コードも書いてみてgistに上げてる。QuickCheckとか使わずに値一個与えてみてるだけだけど、型が通ることくらいは確認できるかと。以下、検証用コードについて解説する。 MonoidはHaskの圏のモノイド まず、Monoidの方。図式はスライドを見てもらうとして、ソースは以下。満たすべきは各図式の時計回りと半時計回りが等しいことであり、具体的には、モノイドであれば clockwiseX == anticlockwiseX である必要があるという意味である。 assoc :: ((a, b), c)
Scalazの型クラス
Functor＆Pureは型クラスPointedとして定義されています。Pointed Functorと呼ぶこともあるようです。 Applicative Functorの型クラスApplicativeはFunctor＆Pure＆Applyとなります。Applicative Functorのapply演算は型クラスApplyが提供します。 Monadの型クラスMonadはFunctor＆Pure＆Apply＆Bindとなります。Monadのunit演算、bind演算はそれぞれ型クラスPureと型クラスBindが提供します。Monadのjoin演算は型クラスとしては定義されていませんが、型クラスBindのbind演算から逆算する関数が定義されています。 機能順で示すと: Monad ＞ Applicative Functor ＞ Pointed Functor ＞ Functor ということに
monad-control is tricky : ezyang’s blog
Editor's note. I've toned down some of the rhetoric in this post. The original title was "monad-control is unsound". MonadBaseControl and MonadTransControl, from the monad-control package, specify an appealing way to automatically lift functions in IO that take "callbacks" to arbitrary monad stacks based on IO. Their appeal comes from the fact that they seem to offer a more general mechanism than
Functors, applicative functors, monads
This diagram demonstrates the relationship between certain Functor, Applicative and Monad operators. See the Typeclassopedia for details. ⚓ The (→) a instance This diagram demonstrates the properties of certain Functor, Applicative and Monad operators when using the (→) a instance. (It’s interesting to note how the types, when specialized to the (→) a instance, dictate the only correct behavior fo
[Haskell-cafe] The IO monad is 45 years old
oleg at okmij.org oleg at okmij.org Wed Dec 29 10:13:13 CET 2010 Previous message: [Haskell-cafe] Having trouble with ftphs module Next message: [Haskell-cafe] The IO monad is 45 years old Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] The unabated debate about exactly how much category theory one needs to know to understand that strange beast of IO prompts a thought if monads, lik
Shows
The AI Show Live showcases the amazing work happening in AI at Microsoft. Developers learn what's new in AI in a short amount of time and are directed to assets helping them get started and on the road to success right away. Seth Juarez and friends work on cool projects and highlight what's new in Azure AI and Machine Learning. Microsoft Visual Studio Code is a free, powerful, lightweight code edi
Fun with monad comprehensions « blog.n-sch.de
The idea I’m currently working on a new GHC extension called monad comprehensions. Monad comprehension is a generalization for list comprehensions, as you know them from standard Haskell98 / Haskell2010: > l :: [(Int,Int)] > l = [ (x,y) | x <- [1..3], y <- [1..x], odd x ] *Main> l [(1,1),(3,1),(3,2),(3,3)] And as you may or may not know, you can rewrite this using the list monad: > l_monad :: [(In
ベックの法則と複合モナド - 檜山正幸のキマイラ飼育記 (はてなBlog)
連休で疲れて、いまいち気力に欠けるんですけど … けど、モナドの話をします。2つのモナドを複合（合成）する、という話題。ある程度モナドに慣れている人向けかもしれない。 (F, μ, η), (F', μ', η') が同じ圏上の2つのモナド（μ, μ'はモナド乗法、η, η'はモナド単位）であるとき、関手としての結合F;F'（反図式順で書くならF'・F）が再びモナドになるかどうか？つまり、F;F'とうまく適合する乗法と単位を定義できるかどうか？ これについては、1960年代にベック（Jon Beck）が詳しく調べていて、事情がハッキリとわかっています*1。 で、実際に“複合モナドを構成可能な2つのモナド”の具体例を出します。この実例に対してベックの法則*2や、複合の方法を紹介します。しかし、複合がうまくいく内的なメカニズムまで説明できそうにありません。グチャグチャした複雑な等式を天下りに出
モノイドからモナドを作る - 檜山正幸のキマイラ飼育記 (はてなBlog)
モニャドセミナー3をやってから一週間以上経過しちゃったんですが、だいぶ遅れた補足です。なぜ補足が必要かというと、当日の後半、なにかに憑かれてラリラリだったから。ホワイトボードでの説明でグダグダだったところを少しはクリアにしよう、と。説明のストーリーや記号法は、セミナー当日のものとほぼ同じにしました。そのため、慣用の記法とは少しずれたところがあります。例えば、「μ」を使うところで「δ」を使ったりとか。 この記事は、あまり実例がなくて定義ばっかりの印象かもしれませんが、モニャドセミナーが事例中心だから、いいとしましょう。それと、やっぱりどっかで定義を確認することは必要なんです。確認作業では、つまんないタルイ計算が続きますが、我慢してヤッテ。 内容： モノイドの復習 直積による掛け算関手 掛け算関手の繰り返し適用 2回適用を1回につぶす自然変換δ クライスリ結合 クライスリ圏 ●モノイドの復習
Haskell Monad Tutorial
The Greenhorn's Guide to becoming a Monad Cowboy Saddle up Round 'em up Brand 'em Maybe State List Reader IO Breed 'em StateT WriterT Drive 'em Copyrights Howdy! You all are probably wondering why this guide, when there are so many fine monad tutorials out there already. Well, I've noticed some people on the Haskell trail (and in the saloon) still talk of them monads like they were rattlesnakes ha
檜山正幸のキマイラ飼育記 - JavaScriptによるテンプレート・モナド、すっげー簡単!
先週書いたエントリー「圏論やモナドが、どうして文書処理やXMLと関係するのですか？」の内容を実際に確認するためのJavaScriptプログラムを書いてみました。 3つの関数を含み、全部で12行のライブラリです。 /* templ-process.js */ function processTemplate(templ, con) { var a = (templ.replace(/\}/g, '{')).split('{'); for (var i = 0; i < a.length; i++) if (i%2 == 1) a[i] = con(a[i]); // コンテキストconは関数 return a.join(''); } function processContext(con1, con2) { return function (k) {return processTemplat
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Wadler's Blog: Idioms are oblivious, arrows are meticulous, monads are promiscuous
http://blog.ezyang.com/2012/08/applicative-functors/
Beyond Mere Actors
Typeclass
State monad in Javascript