Monads are Trees with Grafting Dan Piponi A Neighborhood of Infinity January 1, 2010 1 Goals and Prerequisites This article is intended to give an elementary introduction to an aspect of mon- ads not covered in most introductions. The reader is expected to know some basics of Haskell, for example what a type class is and what a lambda term is. They are also expected to be familiar with the usual n
タグ
- すべて
- ABI (1)
- API (2)
- Bob Jenkins (1)
- D (2)
- English (9)
- ICFP (1)
- MH3 (1)
- Mercurial (1)
- NLP (2)
- Objective-C (1)
- STG (1)
- STOC (1)
- TDL (1)
- TOEFL (1)
- Wolfram (1)
- WordNet (1)
- agile (1)
- algebra (1)
- algorithm (17)
- amazon (3)
- apache (1)
- apr (1)
- architecture (1)
- arm (1)
- asm (6)
- assembler (1)
- atok (1)
- autoconf (1)
- automake (2)
- autotools (1)
- book (15)
- boost (8)
- boot (1)
- brainf*ck (1)
- c (2)
- c++ (28)
- c++0x (3)
- canonicalization (1)
- cap (1)
- cas (1)
- cassandra (1)
- category theory (1)
- cd (1)
- cell (1)
- cg (1)
- cheatsheet (1)
- cloud (3)
- cluster (1)
- clustering (1)
- cocoa (1)
- codereview (1)
- coding (1)
- compiler (3)
- compression (3)
- concurrent (11)
- convention (1)
- cpu (1)
- crawler (2)
- data mining (1)
- database (2)
- datamining (1)
- db (18)
- debian (1)
- design (2)
- development (2)
- device (1)
- dfs (3)
- distributed (1)
- distributed systems (3)
- doublearray (1)
- education (3)
- emacs (1)
- emu (1)
- epoll (1)
- equivs (1)
- event (1)
- exception (1)
- exe (1)
- facebook (1)
- facet (1)
- flex (1)
- game (2)
- gc (2)
- gcc (3)
- git (7)
- glog (1)
- google (11)
- gpu (2)
- graph (5)
- groonga (2)
- hadoop (16)
- hash (6)
- hashing (1)
- haskell (15)
- hbase (5)
- hdf (1)
- hdfs (2)
- health (1)
- hhk (1)
- hillbig (1)
- history (1)
- hive (2)
- hpc (2)
- icpc (2)
- iidx (4)
- iir (2)
- iphone (3)
- ir (25)
- irb (1)
- iso (1)
- java (7)
- jit (1)
- jni (2)
- joel (1)
- json (1)
- katta (1)
- kernel (4)
- keyboard (1)
- kumofs (1)
- kvs (6)
- kzk (4)
- lambda (1)
- lgpl (1)
- libevent (2)
- libicu (1)
- libmysqlclient (1)
- libtool (1)
- linux (12)
- lisp (4)
- littel (1)
- log (1)
- logic (1)
- longjmp (1)
- lua (3)
- lucene (6)
- mac (2)
- machinelearning (4)
- mala (1)
- malloc (4)
- map (1)
- mapreduce (5)
- masm (1)
- math (2)
- memcached (1)
- memo (1)
- memory (2)
- messagepack (1)
- monad (2)
- mysql (4)
- naist (1)
- naoya (3)
- nasm (1)
- network (4)
- nosql (1)
- nyaxt (2)
- nzgn (1)
- oss (1)
- osx (1)
- p2p (2)
- package (1)
- paco (1)
- paper (2)
- parser (1)
- peg (1)
- petr (1)
- pfi (2)
- php (3)
- programming (9)
- proof (1)
- protocol (1)
- pthread (1)
- python (2)
- r-tree (1)
- raii (1)
- rakuten (1)
- redbull (1)
- redmine (1)
- reference (1)
- regex (2)
- regexp (1)
- research (7)
- rfc (1)
- robots.txt (2)
- rpc (2)
- ruby (4)
- salesforce (1)
- sbm (1)
- sc08 (1)
- scala (4)
- schema (1)
- scheme (3)
- screen (2)
- scrum (1)
- search (3)
- sedue (1)
- semi-supervised (2)
- senna (1)
- server (2)
- setjmp (1)
- sicp (1)
- silicon valley (1)
- sml (1)
- solr (9)
- sql (1)
- sqlite (3)
- sr-tree (1)
- ssd (4)
- stap (1)
- statistics (1)
- stemming (1)
- stl (1)
- storage (1)
- stream (3)
- study (2)
- svd (1)
- svn (1)
- tanakh (1)
- tc (8)
- tcp (1)
- test (1)
- tex (1)
- thread (1)
- thrift (1)
- tokyodystopia (1)
- transaction (1)
- transactions (3)
- trie (2)
- tutorial (3)
- tv (1)
- twitter (3)
- ubuntu (1)
- url (2)
- usb (1)
- vcdiff (1)
- vmware (1)
- voldemort (1)
- writing (1)
- www (1)
- x86_64 (1)
- xCAT (1)
- xapian (1)
- xcode (2)
- yahoo (1)
- zsh (5)
- あとで買う (1)
- これはすごい (2)
- これはひどい (4)
- さっき試した (1)
- ね、簡単でしょ？ (1)
- クリスマス (1)
- コンテスト (1)
- ツンデレ (1)
- ニコニコ (1)
- プレゼン (2)
- ロックマン (1)
- 人肌 (1)
- 偉人 (1)
- 句読点 (1)
- 推薦状 (1)
- 本棚 (1)
- 犯罪 (1)
- 眼科 (1)
- 社長 (1)
- 論文 (1)
- 退会するときに読む (1)
- c++ (28)
- ir (25)
- db (18)
- algorithm (17)
- hadoop (16)
- book (15)
- haskell (15)
- linux (12)
- concurrent (11)
- google (11)
monadに関するnobu-qのブックマーク (2)
-
nobu-q 2010/01/06
- haskell
- monad
リンク -
Stateモナドを絵を描いて理解してみた - oto-oto-oto’s diary
絵を描きながらStateモナドを考えてみたら意外とうまくいったので紹介します。 Stateモナドには「表の値」と「裏の値=状態」という2つの値(型)が登場します。 Stateモナドの定義です。(s -> (a,s))で、sが状態の型、aが表の値の型です。 newtype State s a = State { runState :: (s -> (a,s)) } The State monad 図の方ですが、矢印は関数です。原則として、1入力1出力の一本の矢印で表しますが、今回は戻り値が2値のタプルなので2出力として書きました。 丸四角で囲ってあるのは、関数をオブジェクト*1として扱うことを意図しています。 これに対して、丸四角で囲っていない矢印は関数適用を表すことにします。 一番外側の大カッコはStateモナドのデータ構築子を表します。これでラムダを囲むとStateモナドの値になります。
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx