Post by @nwn
ã„ã‚ã‚“ãªã¨ã“ã‚ã§è¨€ã„ãµã‚‰ã—ã¦ã¾ã—ãŸãŒã€ã‚‚ã†å°‘ã—ããã‚Šã‚„ã™ã„ã¨ã“ã‚ã«ã‚ã£ãŸæ–¹ãŒã„ã„ã‹ãªã¨ã„ã†ã®ã¨ã€ã‚³ãƒ³ãƒ†ã‚ストをã¡ã‚‡ã£ã¨æ›¸ã„ã¦ãŠã„ãŸæ–¹ãŒã„ã„ã ã‚ã†ã¨æ€ã£ãŸã®ã§ã€ã“ã“ã«ã‚‚書ã„ã¦ãŠãã¾ã™ã€‚ - [Monads are Trees with Grafting (PDF)](https://dl.dropbox.com/u/360784/Monads.ja/monads.ja.pdf) - [Monads are Trees with Grafting (Literate Haskell)](https://dl.dropbox.com/u/360784/Monads.ja/monads.ja.lhs) "[Monads are Trees with Grafting][Sigfpe]" ã¯ãƒ¢ãƒŠãƒ‰ãƒ»ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã§ã™ã€‚Monad ã¯ã‚る法則を満ãŸã™æœ¨æ§‹é€ ã¸ã®ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã ã¨ã„ã†ã“ã¨ã‚’ã€å›³ã‚„コード
A Neighborhood of Infinity: Monads are Trees with Grafting
This is an attempt to collect together, in tutorial form, a few of the things I've said about monads going back as far as my field guide. It's probably not a good first tutorial, but it contains things I'd wish I'd known immediately after reading my first tutorial. Unfortunately, I used a few more LaTeX features than I ought to have while drafting it making it hard to get back into HTML form clean
Introduction to "How to Declare an Imperative"
論文紹介：How to Declare an Imperative Philip Wadler. ACM Computing Surveys, 29(3):240--263, September 1997.（WWW:Wadler: Monads） 1. å°Žå…¥ 2. 相互作用ã¸ã®monadアプãƒãƒ¼ãƒ 基本的ãªå‘½ä»¤ Equational reasoning 値をå—ã‘入れる命令 letã®é¡žä¼¼ç‰© monadã®æº€ãŸã™æ³•å‰‡ monadã¨å‘½ä»¤åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° C関数ã®ç›´æŽ¥å‘¼ã³å‡ºã— 3. 相互作用ã«å¯¾ã™ã‚‹ãã®ä»–ã®ã‚„ã‚Šæ–¹ åŒæœŸã•ã‚ŒãŸã‚¹ãƒˆãƒªãƒ¼ãƒ （synchronized stream） continuation 線形論ç†ï¼ˆlinear logic） 副作用（side effect） 4. é–¢é€£ç ”ç©¶ 5. çµè«– 一階ã¨é«˜éšŽ ãƒãƒƒã‚¯ãƒ»ãƒˆãƒ©ãƒƒã‚¯ 1.å°Žå…¥ 400年程å‰ãƒ‡ã‚«ãƒ«ãƒˆã®å•é¡Œ 心ã¯ç”Ÿä½“ã¨ã©ã†ç›¸äº’作用ã™ã‚‹ã®ã‹ï¼Ÿ
モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ããŸã„ã®ãªã‚‰ - 図ã§ã‚ã‹ã‚‹(?)モナド - Pixel Pedals of Tomakomai
åœè«–ã®æœ€å¤§ã®æ¦å™¨ã¯ãƒ€ã‚¤ã‚¢ã‚°ãƒ©ãƒ ãªã®ã§ã€ãƒ¢ãƒŠãƒ‰ã§æ‚Ÿã‚Šã‚’ã²ã‚‰ããŸã„ã®ãªã‚‰ãƒ€ã‚¤ã‚¢ã‚°ãƒ©ãƒ を使ãˆã°ã„ã„ã‚“ã˜ã‚ƒãªã„ã§ã—ょã†ã‹ã€‚ ダイアグラムã®æ›¸ãæ–¹ 例ãˆã°ã€ã€Œ f :: a -> b ã€ã¨ã‹ã€Œlength :: [a] -> Intã€ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«æ›¸ãã¾ã™ã€‚型を点ã§ã€é–¢æ•°ã‚’矢å°ã§æ›¸ãã¾ã™ã€‚ ダイアグラムã®åˆ©ç‚¹ã¯ã€fã‚„lengthã®ä¸èº«ã‚’忘れã¦ç°¡ç•¥åŒ–ã™ã‚‹ã“ã¨ãŒã§ãã‚‹ã“ã¨ã§ã™ã€‚人間ã®è„³ãŒã§ãã‚‹ã“ã¨ã«ã¯é™ã‚ŠãŒã‚ã‚‹ã®ã§ã€æ³¨ç›®ã™ã‚‹æƒ…å ±ãŒå°‘ãªã„æ–¹ãŒç†è§£ã—ã‚„ã™ããªã‚‹ã£ã¦ã‚¹ãƒ³ãƒãƒ¼ã§ã™ã€‚ ãªãŠã€ åˆæˆ g . f ã¯å›³ç¤ºã™ã‚‹æ™‚ã«é †ãŒé€†ã«ãªã‚‹ã®ã§æ°—ã‚’ã¤ã‘ã¦ä¸‹ã•ã„。ã“ã‚Œã¯ã€åˆæˆé–¢æ•°ã®é©ç”¨ãŒ g ( f x ) ã¨æ›¸ã‘ã‚‹ã“ã¨ã«ç”±æ¥ã—ã¦ã¾ã™ã€‚ã¾ãšfã‚’é©ç”¨ã—ã€æ¬¡ã«gã‚’é©ç”¨ã™ã‚‹ã¨ã„ã†ã“ã¨ã§ã™ã€‚ return 㨠>>= ã®å›³ç¤º 今回ã®ãƒ€ã‚¤ã‚¢ã‚°ãƒ©ãƒ ã®ç´„æŸã¨ã—ã¦ã€å…ƒã¨ãªã‚‹åž‹(Bool, Char, Int ç‰)ã¯æœ€ä¸‹æ®µã«æ›¸ãã¾ã™ã€‚ã
第14回 関数脳ã®ã¤ãり方　Second Season　〜モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ã〜 - 刺激を求ã‚る技術者ã«æ§ã’ã‚‹Scala講座：ITpro　ã¸ã®ãƒ„ッコミ - kmizuã®æ—¥è¨˜
ITProã®Scala連載「刺激を求ã‚る技術者ã«æ§ã’ã‚‹Scala講座ã€ã®ç¬¬14回 関数脳ã®ã¤ãり方　Second Season　〜モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ã〜ãŒã¯ã¦ãªãƒ–ックマークã§150ブクマ超ãˆã‚‹ãªã©æ³¨ç›®ã‚’集ã‚ã¦ã„ã¾ã™ãŒã€èªã‚“ã§è¦‹ã‚‹ã¨åˆå¦è€…ã«èª¤è§£ã‚’与ãˆã‚‹ç®‡æ‰€ãŒæ•£è¦‹ã•ã‚Œã‚‹ã®ã§ã€ä¸€å¿œã€é€£è¼‰ã«é–¢ã‚ã£ã¦ã‚‹è€…(ã¨ã„ã£ã¦ã‚‚１回記事書ã„ãŸã ã‘ã§ã™ãŒ)ã®ä¸€äººã¨ã—ã¦ãƒ„ッコミを入れã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ 「å‚ç…§é€æ˜Žæ€§ã‚’ä¿æŒã—ãªãŒã‚‰æ‰‹ç¶šãåž‹çš„ãªè¨˜è¿°ã‚’ã™ã‚‹ãŸã‚ã®æž 組ã¿ã€ï¼Ÿ(p.1) モナドã¨ã¯ï¼Œé–¢æ•°åž‹è¨€èªžã§ï¼Œå‚ç…§é€æ˜Žæ€§ã‚’ä¿æŒã—ãªãŒã‚‰æ‰‹ç¶šãåž‹çš„ãªè¨˜è¿°ã‚’ã™ã‚‹ãŸã‚ã®æž 組ã¿ã§ã™ã€‚ 早速ã§ã™ãŒã€ã“ã‚Œã¯ã€IOモナドやStateモナドã«ã¯å½“ã¦ã¯ã¾ã£ã¦ã‚‚ã€å…¨ã¦ã®ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦å½“ã¦ã¯ã¾ã‚‹ã‚‚ã®ã§ã¯ãªã„ã§ã™ã‚ˆã。ãŸã¨ãˆã°ã€Maybeモナドã§ã¯ã“ã‚Œã¯å½“ã¦ã¯ã¾ã‚Šã¾ã›ã‚“。 「モナドãŒHaskellã§å¿…è¦ãªç†ç”±ã€ï¼Ÿ ã“ã‚Œã¯ãƒšãƒ¼ã‚¸ã‚¿ã‚¤ãƒˆãƒ«ã®ä¸€éƒ¨ã§ã™ãŒ
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
What Does Monad Mean?
http://atnd.org/events/2029
Monads from Two Perspectives
Private Site
{{#tags}}- {{label}}
{{/tags}}