モナド則ã ã‘ã¿ã¤ã‚ã¦ã„ãŸã„LT駆動開発14ã®ç™ºè¡¨è³‡æ–™ã§ã™ã€‚ https://github.com/LTDD/Sessions/wiki/LT%E9%A7%86%E5%8B%95%E9%96%8B%E7%99%BA14 解説 http://blog.eiel.info/blog/2015/05/02/want-stari…
Haskell ã® Monad ã¨ã¯è¨€èªžå†…DSLã®ãƒ•ãƒ¬ãƒ¼ãƒ ワークã§ã‚ã‚‹ - ã‚ã©ã‘ãªã„話
ã“ã®è¨˜äº‹ã¯ã€Haskellを勉強ã—ã¦ã‚る程度分ã‹ã£ãŸã‘ã©ã€Monadã§æŒ«æŠ˜ã—ãŸäººã®ãŸã‚ã®è¨˜äº‹ã§ã™ã€‚10分間ã§ã€Monadã«å¯¾ã™ã‚‹ç´å¾—æ„Ÿã‚’å¾—ã‚‹ã“ã¨ã‚’目的ã¨ã—ã¦ã„ã¾ã™ã€‚ä»–ã®è¨€èªžã§ã„ã†ã€Œãƒ¢ãƒŠãƒ‰ã€ã«ã‚‚通用ã™ã‚‹å†…容ã§ã™ãŒã€Haskell ã®æ–‡æ³•ã‚„用語を用ã„ã¾ã™ã®ã§ã€ä»–ã®è¨€èªžã®åˆ©ç”¨è€…ã«åˆ†ã‹ã‚‹ã‹ã¯ä¸æ˜Žã§ã™ã€‚ Haskellを勉強ã—ãŸã®ã§ã™ã‹ã‚‰ã€ 代数データ型 型クラス ã¯åˆ†ã‹ã£ã¦ã„ã‚‹ã“ã¨ã«ã—ã¾ã™ã€‚Monad ã¯ã€å˜ãªã‚‹åž‹ã‚¯ãƒ©ã‚¹ã®ä¸€ã¤ã§ã€ãれ以上ã§ã‚‚ãれ以下ã§ã‚‚ã‚ã‚Šã¾ã›ã‚“ã‹ã‚‰ã€ã“ã®äºŒã¤ãŒåˆ†ã‹ã£ã¦ãªã„ã¨è©±ã«ãªã‚Šã¾ã›ã‚“。 ã¾ãŸã€è¨€èªžå†…DSL(以下ã€DSLã¨ç•¥è¨˜)ã¨ã„ã†è€ƒãˆæ–¹ã‚’知ã£ã¦ã„ã‚‹ã“ã¨ã‚‚仮定ã—ã¾ã™ã€‚Monad ã¨ã¯ã€DSLã®ãƒ•ãƒ¬ãƒ¼ãƒ ワークã¨ã„ã†ç›´æ„Ÿã‚’与ãˆã‚‹ã®ãŒã€ã“ã®è¨˜äº‹ã®ä¸»çœ¼ã§ã™ã‹ã‚‰ã。 ã•ã‚‰ã«ã€æ§‹é€ 化定ç†ã‚’ã„ã†å˜èªžã‚’èžã„ã¦ã‚‚ビビらãªã„人を想定ã—ã¦ã„ã¾ã™ã€‚é€æ¬¡ã€å復ã€åˆ†å²ãŒã‚ã‚Œã°ã€è¨ˆç®—ã—ã†ã‚‹è¨ˆç®—ã¯ã™ã¹ã¦è¨˜
Try ã¯ãƒ¢ãƒŠãƒ‰ã˜ã‚ƒãªã„ - tkawachi Blog
Principles of Reactive Programming 最åˆé€±ã®è¬›ç¾©ã§è¨€ã£ã¦ãŸã“ã¨ã€‚ 忘れãã†ãªã®ã§ãƒ¡ãƒ¢ã€‚ モナドã§ã‚ã‚‹ãŸã‚ã«ã¯ãƒ¢ãƒŠãƒ‰å‰‡ã‚’満ãŸã•ãã°ãªã‚‰ãªã„。 モナド則ã¯ä»¥ä¸‹ã®ï¼“ã¤ã€‚ Associativity: (m flatMap f) flatMap g == m flatMap (x => f(x) flatMap g) Left unit: unit(x) flatMap f == f(x) Right unit: m flatMap unit == m ã¡ãªã¿ã«ã™ã”ã„Haskell本ã§ãƒ¢ãƒŠãƒ‰å‰‡ã¯æ¬¡ã®ã‚ˆã†ã«æ›¸ã‹ã‚Œã¦ã„る。 çµåˆæ³•å‰‡: (m >>= f) >>= g 㨠m >>= (\x -> f x >>= g) ãŒç‰ä¾¡ å·¦æ’ç‰æ€§: return x >>= f 㨠f x ãŒç‰ä¾¡ å³æ’ç‰æ€§: m >>= return 㨠m ãŒç‰ä¾¡ flatMap ã‚’ >>=
型引数ã®åŸºæœ¬ã‹ã‚‰å¦ã¶ã€Freeモナドã¨Coyoneda - AweKuit日記
ã“ã®ã‚¨ãƒ³ãƒˆãƒªã¯Scalaアドベントカレンダーã®3日目ã§ã™ã€‚昨日㯠Kuchitama ã•ã‚“ã®ScalaãŒã¤ãªã„ã§ãã‚ŒãŸç¸-NetflixMeetup Kyoto 開催後記- ã§ã—ãŸã€‚ å‰ãŠã ã“ã®è¨˜äº‹ã¯ã€ã‚¿ã‚¤ãƒˆãƒ«é€šã‚ŠFreeモナドã¨Coyonedaを扱ã†ã‚‚ã®ã®ã€ã‚ã¾ã‚Šãれらã®ç›´æŽ¥çš„ãªè©±ã‚„モナモナã—ãŸè©±ã§ã¯ãªãã€ãã“ã«è‡³ã‚‹ã¾ã§ã®å®Ÿè£…ã®ã‚ã‚Œã“れを『Scalaã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã—ã¦ã€æ‰‹æŽ¢ã‚Šã§è¿½ã£ã¦ã¿ã‚ˆã†ã€ã¨ã„ã†ã‚‚ã®ã§ã™ã€‚ ãã®éŽç¨‹ã§ã€ç‰¹ã«åž‹å¼•æ•°(型変数)や高階型やã€ãれらãŒç¶™æ‰¿æ™‚ã«ã©ã†æ‰±ãˆã‚‹ã‹ã¨ã„ã†ã‚ãŸã‚Šã®Scalaã®åŸºæœ¬ã«ãŸã£ã·ã‚Šè§¦ã‚Œã¾ã™ã€‚ ãªã®ã§ã€Freeモナドã«èˆˆå‘³ãŒãªã„æ–¹ã§ã‚‚ 型引数㧠A ã¨ã‹ F[_] ã¨ã‹å‡ºã¦ãã‚‹ã¨ã€ã¾ã ã¡ã‚‡ã£ã¨ã“ã‚ã„ Scalaã§ã„ã–プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã™ã‚‹ã¨åž‹ãŒåˆã‚ãšã¤ã¾ã¥ã事ãŒå¤šã„ ã¨ã„ã†æ–¹ã«ã‚‚ã€å½¹ã«ç«‹ã¤éƒ¨åˆ†ãŒã‚ã‚‹ã¨æ€ã†ã®ã§å‚考ã«ãœã²èªã‚“ã§ã¿ã¦ã‚‚らã„ãŸã„ã§ã™ã€‚ ã‚‚ã¡
jQueryã¯ãƒ¢ãƒŠãƒ‰ã - id:anatooã®ãƒ–ãƒã‚°
ã“ã®è¨˜äº‹ã¯jQuery is a Monad | Important Shockã¨ã„ã†è¨˜äº‹ã®å‹æ‰‹è¨³ã§ã™ã€‚ 追記1: bonotakeã•ã‚“ãŒè£œè¶³è¨˜äº‹ã‚’書ã„ã¦ãã‚Œã¦ã„ã¾ã™ → JQueryãŒãƒ¢ãƒŠãƒ‰ã‹ã©ã†ã‹ã¨ã‹ - ãŸã‘ã‚’ã®æ—¥è¨˜ï¼ 天竺ã‹ã‚‰å¸°ã£ã¦ããŸã‚ˆ 追記2: hirataraã•ã‚“ãŒè£œè¶³è¨˜äº‹ã‚’書ã„ã¦ãã‚Œã¦ã„ã¾ã™ → jQueryã¯æœ¬å½“ã«ãƒ¢ãƒŠãƒ‰ã ã£ãŸ - 北海é“è‹«å°ç‰§å¸‚出身ã®PGãŒæ›¸ãブãƒã‚° Haskellプãƒã‚°ãƒ©ãƒžãƒ¼ã¯èª°ã—ã‚‚ãŒãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹å„々ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’書ãã¨è¨€ã‚れる。ã¨ã„ã†ã®ã‚‚ã€ä¸€åº¦ãƒ¢ãƒŠãƒ‰ã®å®šç¾©ã¨ãã®å¯èƒ½æ€§ã‚’ç†è§£ã™ã‚Œã°ã€ãƒ¢ãƒŠãƒ‰å…¨ä½“を囲む神秘性ã«æŒ‘戦ã—ã¦æ‰“ã¡ç ´ã‚‹ã®ãŒå®¹æ˜“ã«ãªã‚‹ã‹ã‚‰ã 。門外漢ã‹ã‚‰ã™ã‚Œã°ã€ãƒ¢ãƒŠãƒ‰ã¯Haskellを真ã«ç†è§£ã™ã‚‹ã“ã¨ã‚’妨ã’ã‚‹ä¸å¯è§£ãªéšœå£ã 。モナドã¯ã¨ã¦ã‚‚ä¸é©å½“ãªåå‰ã§å‘ªã‚ã‚Œã¦ã„ã¦ã€ä¸€é¢¨å¤‰ã‚ã£ãŸæ–‡æ³•ã‚’æŒã¡ã€ä¸€åº¦ã«ä½•ã‚‚ã‹ã‚‚ã‚„ã£ã¦ã—ã¾ã†æ§˜ã«è¦‹ãˆã‚‹ã€‚ã—ã‹ã—ãªãŒã‚‰ã€ãã®å‹•ã
モナド教
å‰æ知è˜ï¼šãƒ¢ãƒŠãƒ‰ モナドをç†è§£ã›ãšã¨ã‚‚モナド教を信ãšã‚‹ã“ã¨ã¯å‡ºæ¥ã¾ã™ãŒï¼Œç†è§£ã—ã¦ã„ã‚Œã°ã‚ˆã‚Šæ·±ãç´å¾—ã§ãã‚‹ã§ã—ょã†ï¼Ž æ“作 :: åž‹ -> åž‹ ã¯ï¼Œ"åž‹"ã‹ã‚‰"åž‹"ã¸å†™ã™"æ“作"ã®å˜åœ¨ã‚’表ã—ã¾ã™ï¼Ž モナドã®æ–‡è„ˆ m ãŒå¿…è¦ã¨ã™ã‚‹2ã¤ã®æ“作： return :: a -> m a ã§ï¼Œå€¤ã‚’ä¿ã¡ã¤ã¤æ–‡è„ˆ m ã®ä¸ã«å…¥ã‚Œè¾¼ã‚€ã“ã¨ãŒå‡ºæ¥ã¾ã™ï¼Ž (=<<) :: (a -> m b) -> (m a -> m b) ã§ï¼Œã€Œå€¤ã‚’文脈ã«å…¥ã£ãŸåˆ¥ã®å€¤ã¸å†™ã™æ“作ã€ã‚’「文脈ã«å…¥ã£ãŸå€¤ã‚’åŒã˜æ–‡è„ˆã«å…¥ã£ãŸåˆ¥ã®å€¤ã¸å†™ã™æ“作ã€ã«å¤‰æ›ã—ã¾ã™ï¼Ž id :: a -> a ã¯å€¤ã‚’ãã®ã¾ã¾è¿”ã™æ“作ã§ã™ï¼Ž id ã‚’ =<< ã§å¤‰æ›ã—ã¦å¾—られるæ“作 join :: m (m a) -> m a ã§ï¼ŒäºŒé‡ã«æ–‡è„ˆã«å…¥ã£ãŸå€¤ã‚’一é‡ã®æ–‡è„ˆã«å…¥ã£ãŸå€¤ã«æˆ»ã™ã“ã¨ãŒå‡ºæ¥ã¾ã™ï¼Ž 文脈ã®å€¤ã‹ã‚‰ç”Ÿã®å€¤ã‚’å–り出ã™åž‹ m a -> a ã‚’æŒã¤æ“作ã¯ï¼Œä¸€èˆ¬
Haskellã§ã‚ªãƒ–ジェクト指å‘ã‚’å†ç™ºæ˜Žã™ã‚‹ - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
状態管ç†ã®ãƒ¢ãƒ‡ãƒ«æ¡ˆ: spawn/killモデルã®å®Ÿè£…を作ã£ã¦ã¿ãŸã€‚ worldsパッケージãŒãã‚Œã (露骨ãªåå‰ã ãŒèµ¦ã—ã¦ã»ã—ã„)。å‰ã®è¨˜äº‹ã¨é•ã†ç‚¹ã¯ã€WorldãŒãƒ¢ãƒŠãƒ‰å¤‰æ›åã¨ã—ã¦å®Ÿè£…ã•ã‚Œã¦ã„る点ã ã‘ã§ã‚る。 worlds-exampleã¯ç”»é¢å†…ã®ã‚ャラクターを方å‘ã‚ーã§æ“作ã™ã‚‹ä¾‹ã€‚メインã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã£ã¦ã„ã‚‹: import Include import Types import qualified Entity.Player as Player import Assets main = runGameDefault $ runWorldT $ do player <- spawn $ Player.new (V2 240 240) forever $ do whenM (lift $ keyPress KeyLeft) $ player .! Player.Move L
åœè«–ã¨ã‹ãƒ¢ãƒŠãƒ‰ãªã‚“ã¦ç°¡å˜ã ã‹ã‚‰scalaを使ã£ã¦èª¬æ˜Žã—ã¦ã¿ãŸ - ã らã らã—ã¦ãŸã„ãªã
ã¯ã˜ã‚㫠関数型ã¨ã„ãˆã°ãƒ¢ãƒŠãƒ‰ã€ãƒ¢ãƒŠãƒ‰ã¨ã„ãˆã°é›£ã—ã„ã¨ã„ã†äº‹ãŒå··ã§è¨€ã‚ã‚Œã¦ã„ã¾ã™ãŒã€ã„ããªã‚Šãƒ¢ãƒŠãƒ‰ã‚’ç†è§£ã—よã†ã¨ã™ã‚‹ã‹ã‚‰é›£ã—ãæ€ãˆã‚‹ã ã‘ã§ã€åœè«–ã‹ã‚‰é †åºã‚’追ã£ã¦ç†è§£ã—ã¦ã„ã‘ã°å…¨ç„¶é›£ã—ãç„¡ã„ã‚“ã よã£ã¦äº‹ã‚’分ã‹ã£ã¦è²°ãˆã‚Œã°ã„ã„ãªãã¨æ€ã„書ã„ã¦è¦‹ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ ãŸã ã€åœè«–ã¨ã„ã£ã¦ã‚‚é©ç”¨ç¯„囲ãŒã¨ã£ã¦ã‚‚広ãã€å¿œç”¨ç·¨ã«ãªã‚‹ã¨åˆ†ã‘ã‚ã‹ã‚“ãªããªã£ã¦ãã‚‹ã®ã§ã€ã“ã“ã§ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°åˆ†é‡Žã«ç‰¹åŒ–ã—ãŸFP(functional programing)åœè«–*1ã«ã¤ã„ã¦æ›¸ãã¾ã™ã€‚ ã¾ãŸã€èª¬æ˜Žã‚’ç°¡å˜ã«ã™ã‚‹ç‚ºã«ç´°ã‹ã„部分をã„ã‚ã„ã‚çœç•¥ã—ã¦ã„ã¾ã™ã€‚å¦è¡“çš„ãªå®šç¾©ã¨ã—ã¦ã¯æ£ç¢ºã§ã¯ãªã„ã®ã§ã€ã“ã®ã‚¨ãƒ³ãƒˆãƒªã®èª¬æ˜Žã¯å¤§ä½“åˆã£ã¦ã‚‹ä½ã®æ°—æŒã¡ã§èªã‚“ã§ãã ã•ã„ã。 å°šã€ã¼ãã¯åœè«–ã®è©³ã—ã„事ã¯ã•ã£ã±ã‚Šåˆ†ã‹ã‚‰ãªã„ã®ã§ã€å¦å•çš„ãªè©±ã‚’振られã¦ã‚‚回ç”ã§ãã¾ã›ã‚“ｷﾘｯ åœã£ã¦ãªã‚“ãªã®ï¼Ÿ åœè«–ã¨è¨€ãˆã°ã€åœã§ã™ã€‚ åœã£ã¦ä½•ãªã®ã‹ã¨ã„ã†ã¨ã€å¯¾è±¡(obje
Haskell 㨠monadic IO ã«ã¤ã„ã¦æ›¸ã - ãŠã•ã‹ãªæ—¥èªŒ
Haskell ã§ã¯ IO ã‚’ç†è§£ã™ã‚‹ã®ãŒé›£ã—ã„。ã•ã‚‰ã«ãã‚ŒãŒãƒ¢ãƒŠãƒ‰ãªã®ã§2é‡ã«ï¼Ÿï¼Ÿï¼Ÿã«ãªã‚‹ã€‚最近ã“ã®2ã¤ã‚’ã‚ã‘ã¦è€ƒãˆã‚Œã‚‹ã‚ˆã†ã«ãªã£ãŸã®ã§æ›¸ã„ã¦ã¿ãŸã„。(書ã„ã¦ã¿ãŸçµæžœã€ç„¡é§„文感ã™ã‚‹ã®ã§ã¤ã‚‰ã„) 想定ã™ã‚‹èªè€… Haskell を始ã‚ãŸã°ã‹ã‚Šã§åŸºæœ¬çš„ãªæ–‡æ³•ãªã©ã¯ã‚ã‹ã‚‹ãŒ IO？？？？ ã¨ãªã£ã¦ã„る。 モナドã¯ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ãƒ¼ã§ã‚ã‚‹ã“ã¨ã‚’知ã£ã¦ã„る。 モナドを押ã—ã¤ã¶ã™ join ã¨ã„ã†é–¢æ•°ã‚’知ã£ã¦ã„る。 ã“ã®æ–‡ç« ã¯ãƒ¢ãƒŠãƒ‰ã«å¯¾ã™ã‚‹èª¬æ˜Žã§ã¯ãªãã€Haskell ã® IO モナドã«å¯¾ã™ã‚‹èª¬æ˜Žã¨ã„ã†æ„Ÿã˜ã§ã™ã€‚ ã¡ãªã¿ã«ã“ã®æ–‡ç« ã§ã® "Haskell" 㯠"Haskell 1.3 以é™ã® Haskell" ã®ã“ã¨ã§ã™ã€‚ Haskell 㨠IO Haskell ã¯ç´”粋関数型言語ã§ã™ã€‚純粋関数型言語ã§ã‚ã‚‹ã¨ã„ã†ã“ã¨ã¯ã€Œå¤–界を変ãˆã‚‹åŠ›ã€ãŒãªã„ã¨ã„ã†ã“ã¨ã§ã™ã€‚ ã¨ã„ã†ã“ã¨ã¯ç´”粋ã§ã‚ã‚‹ãŸã‚ã«ã¯å…¥åŠ›ã‚‚å—ã‘å–ã‚Œãªã„
IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž インターãƒãƒƒãƒˆã®ä½¿ã‚れ方やãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’把æ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“開発を行ㆠãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“。ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—られるデータé‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“。ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„味ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘を推測ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... インターãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ 速ãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“スã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“れらã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® 基盤技術も日々進æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„インターãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“スã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJæŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“課題ã«å–り組んã§
Java8ã®OptionalãŒãƒ¢ãƒŠãƒ‰ã«ãªã£ãŸã‚ˆï¼ - ãã—ã ã®Hatena
Java8ã«ã¯OptionalクラスãŒå°Žå…¥ã•ã‚ŒãŸã®ã§ã™ãŒã€5月ã«ã‚¨ãƒ³ãƒˆãƒªã‚’書ã„ãŸæ™‚点ã§ã¯ãƒ¢ãƒŠãƒ‰ã§ã¯ã‚ã‚Šã¾ã›ã‚“ã§ã—ãŸã€‚ Java8ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã®æ§‹é€ を変ãˆã‚‹Optionalã€ãŸã ã—モナドã§ã¯ãªã„ ãã‚ŒãŒã€ï¼•æœˆæœ«ã«ã©ã†ã‚‚ソースã«ãƒ¢ãƒŠãƒ‰ã«å¿…è¦ãªãƒ¡ã‚½ãƒƒãƒ‰ãŒè¿½åŠ ã•ã‚ŒãŸã‚‰ã—ã„ã¨ã„ã†ã“ã¨ã«ãªã£ã¦ã€ã„ã¤ä½¿ãˆã‚‹ã‚ˆã†ã«ãªã‚‹ã‹å¾…ã£ã¦ã„ãŸã‚‰ã€ã„ã¤ã®é–“ã«ã‹ä½¿ãˆã‚‹ã‚ˆã†ã«ãªã£ã¦ã„ã¾ã—ãŸã€‚ Optional (Java Platform SE 8 b101) ã“ã¡ã‚‰ã‹ã‚‰ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã§ãã¾ã™ã€‚ JDK8 Early Access Releases ― Project Kenai ä»–ã«ã‚‚ã„ãã¤ã‹ä¾¿åˆ©ãƒ¡ã‚½ãƒƒãƒ‰ãŒè¿½åŠ ã•ã‚ŒãŸãŠã‹ã’ã§ã€ã“ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ãŒæ›¸ã‘るよã†ã«ãªã‚Šã¾ã—ãŸã€‚ String str = "abcd"; Optional.ofNullable(str) .map(st -> st.toUpperCase()) .f
çµµã§è¦‹ã‚‹ãƒ¢ãƒŠãƒ‰ · eed3si9n
2012-08-21 John Wiegley ã•ã‚“㮠“Monads in Pictures†を翻訳ã—ã¾ã—ãŸã€‚翻訳ã®å…¬é–‹ã¯æœ¬äººã‚ˆã‚Šè¨±è«¾æ¸ˆã¿ã§ã™ã€‚翻訳ã®é–“é•ã„ç‰ãŒã‚ã‚Œã°é æ…®ãªãã”指摘ãã ã•ã„。 2012å¹´8月20æ—¥ John Wiegley è‘— 2012å¹´8月21æ—¥ e.e d3si9n 訳 ã“ã‚Œã¯ãƒ¢ãƒŠãƒ‰ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã§ã¯ãªã„ã—ã€ã“ã“ã«ã¯æ•°å¦ç”¨èªžã‚‚出ã¦ã“ãªã„。本稿ã¯ã€æ—¢ã«ãƒ¢ãƒŠãƒ‰ã‚’一応使ãˆã‚‹ãらã„ã«ã¯ç¿’ã£ãŸäººã‚’対象ã¨ã™ã‚‹ã€‚視覚化ã™ã‚‹ã“ã¨ã§ã€ä½•ã®ãŸã‚ã«ä½•ã‚’ã‚„ã£ã¦ã„ã‚‹ã‹ãŒæ˜Žã‚‰ã‹ã«ãªã‚‹ã¯ãšã 。 関数 モナドã«å¯¾ã™ã‚‹ç›´æ„Ÿã‚’得る一ã¤ã®æ–¹æ³•ã¨ã—ã¦é–¢æ•°ã‹ã‚‰ãƒ¢ãƒŠãƒ‰ã¸ã®æŠ½è±¡åŒ–ã‚’ãŸã©ã‚‹ã¨ã„ã†ã‚‚ã®ãŒã‚る。関数ãŒä½•ã‚’ã‚„ã£ã¦ã„ã‚‹ã®ã‹ã‚’ç°¡å˜ãªçµµã§è¡¨ã—ã¦ã¿ã‚ˆã†ã€‚Haskell ã®é–¢æ•°ã®å‘¼ã³å‡ºã—ã®æ§‹æ–‡ã‚’上ã«ã€åŒã˜æ¼”算を視覚化ã—ãŸã‚‚ã®ã‚’下ã«ç½®ã„ãŸ: 関数ã¯ã‚る値 a を投射 (map) ã—ã¦åˆ¥ã®å€¤ b を得る。ä¸ã§ä½•ãŒèµ·
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ç®±ã§è€ƒãˆã‚‹Functorã€Applicativeãã—ã¦Monad
太陽光発電　19円ï¼kWhã®è¡æ’ƒ| nikkei BPnet 〈日経BPãƒãƒƒãƒˆã€‰
{{#tags}}- {{label}}
{{/tags}}