プログラミングにおけるモナドの初期の歴史について - 再帰の反復blog
P. Wadler "How to Replace Failure by a List of Successes" (1985) E. Moggi "Computational Lambda-Calculus and Monads" (1988) M. Spivey "A Functional Theory of Exceptions" (1990) E. Moggi "Notions of Computation and Monads" (1991) P. Wadler "The Essence of Functional Programming" (1992) S. Peyton Jones、P. Wadler "Imperative Functional Programming" (1993) あたりのこと。 目次: E. Moggi "Computational Lambda-Ca
JJUG CCC 2017 Spring で Haskell on JVM について話してきました - チェシャ猫の消滅定理
先日行われた JJUG CCC 2017 Spring で、JVM 上で動作する Haskell について発表してきました。 思ったほど怖くない！ Haskell on JVM 超入門 #jjug_ccc #ccc_l8 from y_taka_23 www.slideshare.net メインになるコンテンツはふたつの JVM 言語、Frege と Eta です。 今回はあくまでも Java のイベントなので、発表前半では Haskell の基本概念、特にモナドについてそれなりの時間を割いて説明してみました。さらにそれを踏まえて後半ではモナドを利用した Java ライブラリの呼び出しに焦点を当て、Frege と Eta それぞれの戦略の違いについて解説しています。 そもそも Haskell on JVM というマニアックで Java そのものと無関係なテーマ、かつ時間的に最後の枠というこ
Writerを使ってはならない - Qiita
2022-05-20追記: mtl-2.3, transformers-0.5.6以降においてリークの起こらないCPS版Writerが提供されているのでそちらを用いてください: https://hackage.haskell.org/package/mtl-2.3/docs/Control-Monad-Writer-CPS.html https://hackage.haskell.org/package/transformers-0.5.6.0/docs/Control-Monad-Trans-Writer-CPS.html Writer Monadの問題点 Haskell スペースリーク アドベントカレンダーX日目(X ~ 360)です。 Writer Monadを使ってはならないという話があります。 理由は単純で、スペースリークが発生するためです。 以下の単純なアクションを評価してみま
Monads, or Programmable Semicolons
In a spell of madness I’ve decided to explain the concept of monads in my own personal way, with a slant towards Python programmers. Syntax as an Interface Think about the case of magic methods in Python. They’re used as programmable ways to get special shorthand from the interpreter; for example object1 + object2 will be interpreted as object1.__add__(object2). This means that if your class imple
モナドはポケモン。数学が出てこないモナド入門 - Qiita
仮説：モナドとはポケモンである このテキストは、でんこうせっかの速さでモナドが使えるようになりたいひとのための、真面目なモナド入門です。数学っぽい話はなるべく避けていますし、関数型言語についての知識がなくても読めるように書いています。対象の読者は以下のような人です。 モナドが何なのか知りたい、使いたい Haskellを学ぼうとしたがモナドがわからなくて挫折した モナドを学ぼうとしたら、箱だのブリートだのと変な喩え話をされて余計わからなくなった プログラミングを学ぶつもりが数学の講義が始まったので止めた 最初はモナドは難しいからとGHCiを使わされたが、電卓程度にしかならないので飽きた なお、何故か説明の補助としてポケモンが登場しますが、この記事を読むのに別にポケモンをプレイしたことがある必要はありません。この記事はもしポケモン要素を全部無視したとしてもわかるようになっています。 挿絵があっ
An engineer uses monads
函数型なんたらの集い 2014 in Tokyo http://connpass.com/event/8634/Read less
「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」 - Qiita
$\mathcal{C}$を圏とする. 組$(T,\eta,\mu)$が$\mathcal{C}$上の モナド とは, 関手$T:\mathcal{C} \to \mathcal{C}$および自然変換$\eta: 1 \to T$, $\mu: T^2 \to T$が以下を満たすこととする. $\mu \circ \mu T = \mu \circ T \mu$ $\mu \circ \eta T = 1 = \mu \circ T \eta$ 以下の図式を考えると良い. http://ja.wikipedia.org/wiki/モナド_(圏論)#.E5.AE.9A.E7.BE.A9 あるいは, 以下のstring diagramを考えても良い. monad pic.twitter.com/dOOZviGmOM — みょん (@myuon_myon) 2014, 12月 26 モナドとは関
継続モナドによるリソース管理 - Qiita
継続モナドって何に使うんだ問題に対する一つの例。 リソース管理の問題 プログラミングをやっていると必ずまとわり付いてくるのがリソース管理の問題です。ここで指すリソースというのは、ファイルのハンドルだとか、ソケットだとか、排他処理のためのロックだとか、グラフィックのハンドルだとかそういう話で、GCのない言語だとメモリの管理もこれに含まれるでしょうか。 言うまでもなく、リソースを確保した後はしかるべきタイミングで確実に解放してやる必要があります。しかし往々にして、現実のプログラムではリソースの解放漏れが発生してしまいます。単に解放するコードを書き忘れると言うのが一番単純でしょうもない理由ですが、それでも、C言語のようにリソース解放のための特別な仕組みを持たない言語では、これを徹底するのも結構骨の折れることだったりします。それはともかく、もう少し高尚な悩みとしては、例外との組み合わせで発生する解
Haskell の Monad とは言語内DSLのフレームワークである - あどけない話
この記事は、Haskellを勉強してある程度分かったけど、Monadで挫折した人のための記事です。10分間で、Monadに対する納得感を得ることを目的としています。他の言語でいう「モナド」にも通用する内容ですが、Haskell の文法や用語を用いますので、他の言語の利用者に分かるかは不明です。 Haskellを勉強したのですから、 代数データ型 型クラス は分かっていることにします。Monad は、単なる型クラスの一つで、それ以上でもそれ以下でもありませんから、この二つが分かってないと話になりません。 また、言語内DSL(以下、DSLと略記)という考え方を知っていることも仮定します。Monad とは、DSLのフレームワークという直感を与えるのが、この記事の主眼ですからね。 さらに、構造化定理をいう単語を聞いてもビビらない人を想定しています。逐次、反復、分岐があれば、計算しうる計算はすべて記
Pipes Deconstructed - Chris Mahon
Introduction Haskell’s pipes library enables the construction of effectful stream processing pipelines from modular components. A pipeline is composed of stages that themselves comprise actions. This article examines the co-routine design pattern that co-ordinates actions distributed within and across pipeline stages and concludes by reducing a sample pipeline in terms of the underlying Proxy data
「やらなければならないこと」としてのHaskellのMonad というタイトルで発表しました。 :: Igreque -> Info
「やらなければならないこと」としてのHaskellのMonad というタイトルで発表しました。 by Yuji Yamamoto on May 11, 2014 関数型LT大会にて、発表させて頂きました。 「やらなければならないこと」としてのHaskellのMonad 上記の通りこのサイトにもアップロードしましたが、 やっぱりSlideshareにもアップロードしました。 slidyを使うと印刷するだけでPDFにできるから便利ですね！ うわぁ小さくて見づれー。本番ではブラウザで拡大率調整してたしなぁ。 早くslidyのcss整えないと。 関数型LT大会、面白かったですね。 個人的な主な収穫を上げるならば、 LLVMのバイトコードをHaskellで書くためのpackageがあることとか、 PureScriptというAltJSがアツそうだということとか、 Operational Monadの実
「やらなければならないこと」としてのHaskellのMonad
今日話すこと・話さないこと やたら難しいと言われるHaskellのMonadについて私なりの理解を説明してみます。 これ↓
Programming Haskell Chapter8
JDD2015: Functional programing and Event Sourcing - a pair made in heaven - e...PROIDEA
絶対に理解出来ないモナドチュートリアル - konn-san.com
世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？なんてのもあったな。 この記事の目的は別に、こうした既存のモナドチュートリアルを「間違ってる！」とか「わかるわけねーよ！」といって貶そうという訳ではない。実際、既に幾多書かれているチュートリアルの中でも、僕の云いたいことと殆んど同じようなことが書かれているものは沢山ある。 では、上の膨大なリストの末尾にまた一つ「わかりやすい比喩」を付け足そうというのか？というとそういう訳でもない。そうそう、モナドは比喩ではないというチュートリアル
モナドが比喩で表せないことをわかりやすく説明したいモナドチュートリアル補足 - think and error
厄介なのはjoinだ。joinは以下のような型を持つ。 join :: Monad m => m (m a) -> m a 読み下してみよう。「joinは、二重にネストしたモナド(m (m a))をとり、一つに潰して返す(m a)」。 モナドとは、このjoinによって決まる。 モナドの定義でreturn, (>>=)の対がよく出てくるが、(>>=)の代わりにjoinを使ってもいい。 (>>=)のjoinを用いた定義は以下だ。 (>>=) :: Monad m => m a -> (a -> m b) -> m b m >>= f = join $ fmap f m これも読んでみよう。「bind(>>=)は、(fmap f m)で生成されたネストされたモナド(m (m b))を、joinで潰した結果を返す」 つまりモナドの性質とは、このjoinの、モナドの潰し方によって決まる。 つまりモナ
モナドとはモナドである - モナドとわたしとコモナド
この記事を読む前に、絶対に理解出来ないモナドチュートリアルに一度目を通してみてほしい。モナドを理解していく上で、とても重要なことが書かれている。 改めて言おう、モナドはモナドだ。コンテナだとかプログラマブルセミコロンだという説明では、モナドのすべてを正確に表せるとは言い難い。では、モナドを過不足なく説明できる、モナド以外の言葉はあるのか？ 実は、モナドを表現し、かつモナドで表現される言葉は存在する。その一つは手続きである。手続き型言語の「手続き」だ。 手続きとは何か 手続きは結果を持つ おおよそすべての手続きは何らかの結果を持つ。Haskellの()、C言語のvoid、PythonのNone、Rubyのnilなども結果の一種だ。結果が出ないとしたら、そのプログラムは停止しないか、途中で異常終了するだろう。 手続きには最小単位が存在する 処理系が扱っている以上、手続きが際限なく分解できるとい
モナドとモナド変換子のイメージを描いてみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ
最初に言っておくと、モナドって何なの？っていう答えは一切ないです。 自分にとってモナドは「とりあえず型さえ合わせておけば何かいろいろしてくれる奴」程度としか認識できていないので、そんな説明できないです。 で、そんな自分が脳内でどういう風にイメージしてモナドやモナド変換子の混ざったコードを書いているかというのを図に表してみました。 ここら辺の話を図にした感じです。 モナドを触ってみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ モナド モナドには return 関数と >>= 関数があります。 こんなイメージです。下側の線が普通の関数型の世界、上側の線がモナドの世界です。 どちらもモナド側の出力しか無いので、どちらかの関数を使ったら、モナドから脱出することはできません。 ただ、>>= 関数の右側が点線の箱になっていることが分かるでしょうか。 ここには、太
Inemuri nezumi diary(2009-01-08) - _ unsafePerformIO の使用は限定されています。ご利用は計画的に。
_ unsafePerformIO の使用は限定されています。ご利用は計画的に。 いたるところで、 unsafePerformIO を見かけるようになったのでひとこと言うといたるわ。「Unsafe やって書いてある」やろ。おっと、地が出てしもた。 unsafePeformIO はもともと Haskell の規格 Haskell98 にはありません。初めて現れたのは、 "The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report" の 5節 Marshalling についての、5.1 節 Foreign モジュールが提供するインターフェースについてです。 unsafePerformIO :: IO a -> a Return the value resulting from execut
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://qiita.com/hiyakashi_/items/1c1ec5445e7586a2fa06
bitbucketの使い方
