Functors, Applicatives, And Monads In Pictures - adit.io
Written April 17, 2013 updated: May 20, 2013 Here's a simple value: And we know how to apply a function to this value: Simple enough. Lets extend this by saying that any value can be in a context. For now you can think of a context as a box that you can put a value in: Now when you apply a function to this value, you'll get different results depending on the context. This is the idea that Functors
Freeモナドã£ã¦ä½•ãªã®ã•ã£ï¼ï¼Ÿ - capriccioso String Creating(Object something){ return My.Expression(something); }
最近Haskellerã®é–“ã§FreeモナドãŒç†±ã„ã§ã™ã€‚ Haskellã§æ‚Ÿã‚Šã‚’é–‹ã„ãŸäººãŒFreeモナドã§å†ã³æ‚Ÿã‚Šã‚’é–‹ã„ãŸã‚Šã—ã¦ã€ãªã‚“ã‹ã‚ˆã解らãªã„ã‘ã©å‡„ã„ã“ã¨ã«ãªã£ã¦ã„る今日ã“ã®ã”ã‚ã§ã™ãŒã€ã™ã£ã‹ã‚Šä¹—ã‚Šé…ã‚Œã¦ã„ã¾ã—ãŸã€‚ã©ã†ã‚‚ã€è²´å¥³ã®ã¡ã‚…ーんã§ã™ã€‚ ã§ã€çš†ã“ãžã£ã¦ã€Œã™ã”ã„ã™ã”ã„ã€ã¨è¨€ã£ã¦ã„ã‚‹Freeモナドãªã®ã§ã€æµçŸ³ã«ã„ã¤ã‚‚ã¾ã§ã‚‚全然知らãªã„ã®ã¯ãƒžã‚ºã‚¤ã‚“ã˜ã‚ƒãªã„ã‹ãªãã¨ã‹æ€ã£ã¦ã€é‡ã„è…°ã‚’æŒã¡ä¸Šã’調ã¹ãªãŒã‚‰ã“ã®è¨˜äº‹ã‚’書ã始ã‚ãŸãƒ¯ã‚±ã§ã™ã‚ˆã€‚ã¯ã„。*1 ã‘ã£ã“ã†æ€¥ãŽã§å‹‰å¼·ã—ã¦æ›¸ã上ã’ãŸã®ã§éšæ‰€ã«é–“é•ã„ã‚ã‚‹ã‹ã‚‚ã§ã™ã€‚ツッコミãŠå¾…ã¡ã—ã¦ã¾ã™ã€‚ ã•ã¦ã€ã“ã®ã€ŒFreeモナドã€ã«ã¤ã„ã¦ã€ã‚ªãƒ¬ã‚ªãƒ¬å®šç¾©ã§ç°¡å˜ã«è¨€è‘‰ã«ã™ã‚‹ã¨ã€‚「Functorã¨çµ„ã¿åˆã‚ã›ã¦æ§˜ã€…ãªæŒ™å‹•ã‚’実ç¾ã§ãるモナドã€ã§ã™ã€‚ 大抵「Monadã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã€ã¨ã„ã†ã¨ã€Maybeã«ã—ã¦ã‚‚IOã«ã—ã¦ã‚‚ã€ã‚ã‚Šã¨å…·ä½“çš„ãªäº‹è±¡ã‚’扱ã£ã¦ã¾ã™ãŒã€ã“ã®Freeモ
Applicativeã®ã‚¹ã‚¹ãƒ¡ - ã‚ã©ã‘ãªã„話
ã“ã®è¨˜äº‹ã®ç›®çš„ã¯ã€Applicative 信者ã«ã‚ˆã‚‹ Applicative スタイルã®å¸ƒæ•™ã§ã™ã€‚ ç°¡æ½”ã«çµè«–ã‚’è¿°ã¹ã‚‹ã¨ã€ foo = do a <- m1 b <- m2 return (f a b) ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã‚’書ããŸããªã£ãŸã‚‰ foo = f <$> m1 <*> m2 ã¨æ›¸ãã¾ã—ょã†ã¨ã„ã†ã“ã¨ã€‚ åˆã„言葉ã¯ã€ã€Œdo 㨠return ã‚’ãªãã›ï¼ã€ã§ã™ã€‚ Functorã¨Monadã®é–“ Functor を特殊化ã—ãŸåž‹ã‚¯ãƒ©ã‚¹ãŒMonadã§ã€Monadã®æ–¹ãŒå¼·åŠ›ã§ã™ã€‚ãªãœãªã‚‰ã€ãƒ¡ã‚½ãƒƒãƒ‰ãŒå¢—ãˆã‚‹ã‹ã‚‰ã§ã™ã€‚ Functorã®ãƒ¡ã‚½ãƒƒãƒ‰ã¯fmapã§ã™ã€‚fmapã®åˆ¥åã‚’ (<$>) ã¨ã„ã„ã¾ã™ã€‚(ã“ã®è¨˜äº‹ã§ã¯ã€(<$>) 㨠liftM ã‚’åŒä¸€è¦–ã—ã¾ã™ã€‚) ãã—ã¦ã€Monadã®ãƒ¡ã‚½ãƒƒãƒ‰ã¯ã€ã”å˜çŸ¥ã®é€šã‚Š (>>=) 㨠return ã§ã™ã€‚ Functorã¨Monadã®é–“ã«Applicative
関数åˆæˆã®ã‚¹ã‚¹ãƒ¡ 〜 オブジェクト指å‘プãƒã‚°ãƒ©ãƒžã¸æ§ã’る関数型言語ã¸ã®å°Žå…¥ãã®1 - ( ꒪⌓꒪) ゆるよã‚日記
ã“ã‚“ã«ã¡ã‚。今日ã¯ã€é–¢æ•°åˆæˆã®è©±ã‚’ã—ã¾ã™ã€‚ 標準入力ã‹ã‚‰ä½•è¡Œã‹èªã¿è¾¼ã‚“ã§ã€ã‚½ãƒ¼ãƒˆã—ã¦è¿”ã™ä»¥ä¸‹ã®ã‚ˆã†ãªScalaã®ã‚³ãƒ¼ãƒ‰ã‚’例ã«ã—ã¾ã™ã€‚ 例ãªã®ã§ã€ã‚ãˆã¦å†—é•·ãªã‚³ãƒ¼ãƒ‰ã‚’書ã„ã¦ã¾ã™ã€‚ ã“ã®ã‚³ãƒ¼ãƒ‰ã§ã¯ã€4ã¤ã®é–¢æ•°ãŒç”¨æ„ã•ã‚Œã¦ã„ã¾ã™(unlines/putstr/sort/lines)。 ã“ã®4ã¤ã®é–¢æ•°ã‚’組ã¿åˆã‚ã›ã¦ã€èªã¿è¾¼ã‚“ã æ–‡å—列を行ã«åˆ†è§£ã—ã¦ã€ã‚½ãƒ¼ãƒˆã—ã¦ã€ ã¾ãŸæ”¹è¡Œã‚³ãƒ¼ãƒ‰ã‚’ã¤ã‘ã¦æ–‡å—列ã«ã‚‚ã©ã—ã¦è¡¨ç¤ºã€ã¨ã„ã†ã“ã¨ã‚’ã‚„ã£ã¦ã„ã¾ã™ã€‚ object Main extends App { val in = scala.io.Source.stdin.getLines.mkString("\n") // 改行をã¤ã‘ã¦çµåˆã™ã‚‹é–¢æ•° val unlines = (s:Seq[String]) => s.mkString("\n") // æ–‡å—列を表示ã™ã‚‹é–¢æ•° val putStr = (s:String) =
The Typeclassopediaを訳ã—ã¾ã—ãŸ, The Typeclassopedia - #3(2009-10-20)
â– [Haskell] The Typeclassopediaを訳ã—ã¾ã—㟠The Monad.Readerã®Issue 13ã«æŽ²è¼‰ã•ã‚ŒãŸThe Typeclassopediaã¨ã„ã†è¨˜äº‹ãŒã€Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowã¨ã„ã£ãŸã‚ˆã†ãªåž‹ã‚¯ãƒ©ã‚¹ã«ã¤ã„ã¦è‰¯ãã¾ã¨ã¾ã£ã¦ã„ã¦ã€ãã®ã‚ãŸã‚Šã‚’知りãŸã„時ã®å–ã£æŽ›ã‹ã‚Šã«ãªã‚Šãã†ã ã£ãŸã®ã§ç¿»è¨³ã—ã¦ã¿ã¾ã—ãŸã€‚ 作者ã®Brent Yorgeyã•ã‚“ã‹ã‚‰ã‚‚許å¯ãŒã„ãŸã ã‘ãŸã®ã§å…¬é–‹ã—ã¾ã™ã€‚翻訳ã«æ…£ã‚Œã¦ã„ãªã„ã®ã§å¤‰ãªæ—¥æœ¬èªžï¼ˆç‰¹ã«å°‚門用語ã®æ—¥æœ¬èªžè¨³ã¯ã‹ãªã‚Šæ€ªã—ã„）ãŒã‚ã£ãŸã‚Šã€ãã‚‚ãã‚‚é–“é•ã£ã¦ã„ãŸã‚Šã™ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã®ã§ã€ä½•ã‹è¦‹ã¤ã‘ãŸã‚‰ã‚³ãƒ¡ãƒ³ãƒˆã‚’é ‚ã‘ã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚ â– [Haskell] The Typeclassopedia by Brent Yorgey <first
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}