Loading...
Callback DSL on Haxe
ç¾åœ¨ã®Webフãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã®ç¾çŠ¶ã¨æ„šç—´ã¨ã€ãã‚Œã«å¯¾ã™ã‚‹Haxeフãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ãƒ©ã‚¤ãƒ–ラリMageã«ã¤ã„ã¦
Common Lispã§ãƒ¢ãƒŠãƒ‰ã™ã‚‹è©± - ITç³»ã§è¦šé†’ã‚ãŸã„
昨日ã“ã‚“ãªã‚‚ã®ãŒTLã«æµã‚Œã¦ã㟠Clojureã§ãƒ¢ãƒŠãƒ‰å†…包表記ã¨Stateモナド - http://basking-cat.blogspot.jp/2012/10/clojurestate.html ãªã‹ãªã‹ãŠã‚‚ã—ã‚ã„ã®ã§CLã§ã‚‚実装。 コアã®éƒ¨åˆ†ã¯ã“ã‚Œã ã‘。ã‚ã¨ã¯åž‹ã‚¯ãƒ©ã‚¹ã‚ˆã‚ã—ãモナドã”ã¨ã«ãƒ¡ã‚½ãƒƒãƒ‰ã‚’定義ã—ã¦ã„ã。 使ã„æ–¹ã¯ã“ã‚“ãªæ„Ÿã˜ (perform ((a (list 1)) (b (list 2 3)) (c (list 3 4 5))) (+ a b c)) ; => (6 7 8 7 8 9) ã™ã°ã‚‰ã—ã„。ã¾ãŸåˆ¥ã®ä¾‹ (defun double-list (x) (list x x)) (perform ((a '(1 2 3)) (b (double-list a)) (c (double-list b))) c) ; => (1 1 1 1 2 2 2 2 3 3 3
Monoids without tears | F# for fun and profit
If you are coming from an OO background, one of the more challenging aspects of learning functional programming is the lack of obvious design patterns. There are plenty of idioms such as partial application, and error handling techniques, but no apparent patterns in the GoF sense. In this post, we’ll look at a very common “pattern†known as a monoid. Monoids are not really a design pattern; more a
Clojureã®protocolã§åž‹ã‚¯ãƒ©ã‚¹çš„ãªå¤šæ…‹ãªé–¢æ•°ã‚’作る | rb.blog.pasberth.com
Clojure ã® protocol ã§ãƒ¢ãƒŠãƒ‰ã‚’定義ã—ãŸã„ï¼ï¼ ãã†æ€ã£ãŸã‘ã‚Œã©ã€ protocol ã®ä»•çµ„ã¿ä¸Š return ã®å®šç¾©ãŒã‘ã£ã“ã†é›£ã—ã„ã®ã§ã‚る。 ãªãœã‹ã¨ã„ã†ã¨ protocol ã¨ã„ã†ä»•çµ„ã¿ã¯ç¬¬ä¸€å¼•æ•°ã«ä¾ã‚‹åˆ†å²ãªã®ã§ã€åž‹ã‚¯ãƒ©ã‚¹ã®ã‚ˆã†ã«åž‹ã«ä¾ã‚‹åˆ†å²ã§ã¯ãªã„ã‹ã‚‰ã§ã‚ã‚‹ ã—ã‹ã—ã“れをã„ã„æ„Ÿã˜ã«è§£æ±ºã™ã‚‹æ§‹é€ を考ãˆãŸã€‚ ã¾ãšã€ MonadUnit 㨠MonadBind 〠ãã—ã¦ãれらを対応ã™ã‚‹ãƒ‡ãƒ¼ã‚¿åž‹ã«å¤‰æ›ã™ã‚‹ monad-context 関数をæŒã¤ Monad protocol を定義ã™ã‚‹ã€‚ ãŸã¨ãˆã° (maybe-context (MonadUnit. 1)) ãªã©ã¨ã™ã‚‹ã¨ (Just. 1) ãŒè¿”ã•ã‚Œã‚‹ã‚ã‘ã§ã‚ã‚‹ ãã‚Œã‹ã‚‰ã€ return a ã¯å˜ã« (MonadUnit. a) ã¨ã™ã‚‹ã€‚ ãã—㦠m >>= k ã¯ã€ã‚‚ã— m ãŒå…·ä½“çš„ãªãƒ‡ãƒ¼ã‚¿(ã¤ã¾ã‚Šã€MonadUnit
In Clojure, when should we use a monad instead of a macro and vice-versa?
There are too many tutorials out there on monads that say... "Look! here is a case where we can use a monad" or "This is what a monad is for". What I want to know is what are some of the steps that people use to come to the conclusion that they can say to themselves - "Gee Whiz! It looks like we can use a monad here!" So when someone tells me... "(blah) has nothing to do with a monad...", it reall
Clojureã§ãƒ¢ãƒŠãƒ‰å†…包表記ã¨Stateモナド
cljsbuildã®crossoversã¨ã„ã†æ©Ÿèƒ½ã‚’知らãªã„所為ã§ä»Šã¾ã§ç„¡é§„ã«è‹¦åŠ´ã—ã¦ãã¾ã—ãŸãŒã€ã“ã‚Œã§ãƒžã‚¯ãƒãŒä½¿ãˆãªã„ã¨ã„ã†åˆ¶ç´„ã‹ã‚‰è§£ã放ãŸã‚Œã¾ã—ãŸã€‚ 万æ³ï¼cljsbuildï¼ ãƒžã‚¯ãƒãŒä½¿ãˆã‚‹ã‚ˆã†ã«ãªã£ã¦ã¾ãšä¸€ç•ªæœ€åˆã«ã‚„ã‚‹ã“ã¨ã¯ä½•ã‹ï¼Ÿ ã‚‚ã¡ã‚ã‚“ã€ãƒ¢ãƒŠãƒ‰å†…包表記ã®å®Ÿç¾ã§ã™ãï¼ Haskellã®doよりã¯Scalaã®forã®æ–¹ãŒæ…£ã‚Œã¦ã„ã‚‹ã®ã§ã“ã¡ã‚‰ã‚’採用ã—ã¾ã—ãŸã€‚ 動的型付ã‘ã®è¨€èªžã§ã®ãƒ¢ãƒŠãƒ‰ã®å®Ÿç¾ã¯ã„ãã¤ã‹è¦‹ã¦ãã¾ã—ãŸãŒã€æ˜Žç¤ºçš„ã«ã‚³ãƒ³ãƒ†ã‚ストを指定ã™ã‚‹ã‚¿ã‚¤ãƒ—ã¯ã‚ã¾ã‚Šå¥½ã‹ãªã„ã®ã§ã€Clojureらã—ãProtocolã§è¡¨ç¾ã™ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ Monadic Protocol 通常モナドã¯unitã¨bindãŒå®Ÿè£…ã•ã‚Œã€ãƒ¢ãƒŠãƒ‰å‰‡ bind f (unit x) == f x bind unit m == m ã‚ã¨ã‚‚ã†ä¸€å€‹ãªã‚“ã‹ã‚ã£ãŸæ°—ãŒã™ã‚‹ を満ãŸã—ã¾ã™ãŒã€å‹•çš„型付ã‘ã®è¨€èªžã§unitを実ç¾ã™ã‚‹
åœè«–ã¨ã‹ãƒ¢ãƒŠãƒ‰ãªã‚“ã¦ç°¡å˜ã ã‹ã‚‰scalaを使ã£ã¦èª¬æ˜Žã—ã¦ã¿ãŸ - ã らã らã—ã¦ãŸã„ãªã
ã¯ã˜ã‚㫠関数型ã¨ã„ãˆã°ãƒ¢ãƒŠãƒ‰ã€ãƒ¢ãƒŠãƒ‰ã¨ã„ãˆã°é›£ã—ã„ã¨ã„ã†äº‹ãŒå··ã§è¨€ã‚ã‚Œã¦ã„ã¾ã™ãŒã€ã„ããªã‚Šãƒ¢ãƒŠãƒ‰ã‚’ç†è§£ã—よã†ã¨ã™ã‚‹ã‹ã‚‰é›£ã—ãæ€ãˆã‚‹ã ã‘ã§ã€åœè«–ã‹ã‚‰é †åºã‚’追ã£ã¦ç†è§£ã—ã¦ã„ã‘ã°å…¨ç„¶é›£ã—ãç„¡ã„ã‚“ã よã£ã¦äº‹ã‚’分ã‹ã£ã¦è²°ãˆã‚Œã°ã„ã„ãªãã¨æ€ã„書ã„ã¦è¦‹ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ ãŸã ã€åœè«–ã¨ã„ã£ã¦ã‚‚é©ç”¨ç¯„囲ãŒã¨ã£ã¦ã‚‚広ãã€å¿œç”¨ç·¨ã«ãªã‚‹ã¨åˆ†ã‘ã‚ã‹ã‚“ãªããªã£ã¦ãã‚‹ã®ã§ã€ã“ã“ã§ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°åˆ†é‡Žã«ç‰¹åŒ–ã—ãŸFP(functional programing)åœè«–*1ã«ã¤ã„ã¦æ›¸ãã¾ã™ã€‚ ã¾ãŸã€èª¬æ˜Žã‚’ç°¡å˜ã«ã™ã‚‹ç‚ºã«ç´°ã‹ã„部分をã„ã‚ã„ã‚çœç•¥ã—ã¦ã„ã¾ã™ã€‚å¦è¡“çš„ãªå®šç¾©ã¨ã—ã¦ã¯æ£ç¢ºã§ã¯ãªã„ã®ã§ã€ã“ã®ã‚¨ãƒ³ãƒˆãƒªã®èª¬æ˜Žã¯å¤§ä½“åˆã£ã¦ã‚‹ä½ã®æ°—æŒã¡ã§èªã‚“ã§ãã ã•ã„ã。 å°šã€ã¼ãã¯åœè«–ã®è©³ã—ã„事ã¯ã•ã£ã±ã‚Šåˆ†ã‹ã‚‰ãªã„ã®ã§ã€å¦å•çš„ãªè©±ã‚’振られã¦ã‚‚回ç”ã§ãã¾ã›ã‚“ｷﾘｯ åœã£ã¦ãªã‚“ãªã®ï¼Ÿ åœè«–ã¨è¨€ãˆã°ã€åœã§ã™ã€‚ åœã£ã¦ä½•ãªã®ã‹ã¨ã„ã†ã¨ã€å¯¾è±¡(obje
jQueryã¯ãƒ¢ãƒŠãƒ‰ã - id:anatooã®ãƒ–ãƒã‚°
ã“ã®è¨˜äº‹ã¯jQuery is a Monad | Important Shockã¨ã„ã†è¨˜äº‹ã®å‹æ‰‹è¨³ã§ã™ã€‚ 追記1: bonotakeã•ã‚“ãŒè£œè¶³è¨˜äº‹ã‚’書ã„ã¦ãã‚Œã¦ã„ã¾ã™ → JQueryãŒãƒ¢ãƒŠãƒ‰ã‹ã©ã†ã‹ã¨ã‹ - ãŸã‘ã‚’ã®æ—¥è¨˜ï¼ 天竺ã‹ã‚‰å¸°ã£ã¦ããŸã‚ˆ 追記2: hirataraã•ã‚“ãŒè£œè¶³è¨˜äº‹ã‚’書ã„ã¦ãã‚Œã¦ã„ã¾ã™ → jQueryã¯æœ¬å½“ã«ãƒ¢ãƒŠãƒ‰ã ã£ãŸ - 北海é“è‹«å°ç‰§å¸‚出身ã®PGãŒæ›¸ãブãƒã‚° Haskellプãƒã‚°ãƒ©ãƒžãƒ¼ã¯èª°ã—ã‚‚ãŒãƒ¢ãƒŠãƒ‰ã«é–¢ã™ã‚‹å„々ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’書ãã¨è¨€ã‚れる。ã¨ã„ã†ã®ã‚‚ã€ä¸€åº¦ãƒ¢ãƒŠãƒ‰ã®å®šç¾©ã¨ãã®å¯èƒ½æ€§ã‚’ç†è§£ã™ã‚Œã°ã€ãƒ¢ãƒŠãƒ‰å…¨ä½“を囲む神秘性ã«æŒ‘戦ã—ã¦æ‰“ã¡ç ´ã‚‹ã®ãŒå®¹æ˜“ã«ãªã‚‹ã‹ã‚‰ã 。門外漢ã‹ã‚‰ã™ã‚Œã°ã€ãƒ¢ãƒŠãƒ‰ã¯Haskellを真ã«ç†è§£ã™ã‚‹ã“ã¨ã‚’妨ã’ã‚‹ä¸å¯è§£ãªéšœå£ã 。モナドã¯ã¨ã¦ã‚‚ä¸é©å½“ãªåå‰ã§å‘ªã‚ã‚Œã¦ã„ã¦ã€ä¸€é¢¨å¤‰ã‚ã£ãŸæ–‡æ³•ã‚’æŒã¡ã€ä¸€åº¦ã«ä½•ã‚‚ã‹ã‚‚ã‚„ã£ã¦ã—ã¾ã†æ§˜ã«è¦‹ãˆã‚‹ã€‚ã—ã‹ã—ãªãŒã‚‰ã€ãã®å‹•ã
モナド: ãŠå‰ã¯ã‚‚ã†çŸ¥ã£ã¦ã„ã‚‹ | Webシステム開発ï¼æ•™è‚²ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã®ã‚¿ã‚¤ãƒ インターメディア
ã¯ã˜ã‚ã« éŽåŽ»ã«ç§ãŒHaskellã‚’å¦ã³å§‹ã‚ãŸæ™‚〠真ã£å…ˆã«ç–‘å•ã«æ€ã£ãŸã“ã¨ã¯ãƒ¢ãƒŠãƒ‰ã®å˜åœ¨ã ã£ãŸã€‚ 当時ã¯å…¨ãã¨è¨€ã£ã¦ã„ã„ã»ã©ç†è§£ã§ããªã‹ã£ãŸãŒã€ 最近Haskellã‚’å¦ã³ç›´ã—㦠よã†ã‚„ãç†è§£ã™ã‚‹ã“ã¨ãŒã§ããŸ(ã¨æ€ã†)。 ã¨ã„ã†è¨³ã§ã€ç¾æ™‚点ã§ã®ç§ã®ãƒ¢ãƒŠãƒ‰ã¸ã®ç†è§£ã‚’示ã™ãŸã‚ã«ã“ã®è¨˜äº‹ã‚’書ã。 ã“ã“ã§ã¯ãƒ¢ãƒŠãƒ‰ã®æœ¬è³ªãŒä½•ãªã®ã‹æ¦‚è¦ã‚’示ã™ã€‚ æ£ç¢ºãªèª¬æ˜Žã¯æ•°å¤šã‚るモナドã«ã¤ã„ã¦ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’å‚ç…§ã•ã‚ŒãŸã„。 Hellow Worldå•é¡Œ: IO, Monad, fail æ–°ã—ã„言語をå¦ã¶æ™‚ã€ã¾ãšé–“é•ã„ãªãHello Worldを書ãã ã‚ã†ã€‚ Haskellã§Hello Worldを書ãã¨ã“ã†ãªã‚‹: ã“ã®1è¡Œã ã‘を見るã¨æ™®é€šã®å‘½ä»¤åž‹è¨€èªžã¨å¤§ã—ã¦å¤‰ã‚らãªã„よã†ã«æ€ãˆã‚‹ã€‚ ã¨ã“ã‚ã§Haskellã«ã¯å¼·åŠ›ãªåž‹æŽ¨è«–ãŒã‚る。 ãã®ãŸã‚型宣言をçœç•¥ã—ã¦ã‚‚処ç†ç³»ãŒã‚ˆã—ãªã«è§£é‡ˆã—ã¦ãれる。 ãŸã 普通ã¯ã‚³ãƒ¼ãƒ‰ã®æ„図ã™
モナドを実装ã™ã‚‹(Vim scriptç·¨) | Webシステム開発ï¼æ•™è‚²ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã®ã‚¿ã‚¤ãƒ インターメディア
発端 モナドã®æ£ä½“ãŒåˆ†ã‹ã‚‹ã¨ã€ 次ã¯ãƒ¢ãƒŠãƒ‰ã‚’実装ã—ã¦ã¿ãŸããªã‚‹ã‚‚ã®ã§ã™ã€‚ å‰å›žã¯è©¦ã—ã« Python ã§ãƒ¢ãƒŠãƒ‰ã‚’実装ã—ã¦ã¿ã¾ã—ãŸãŒã€ä»–ã®è¨€èªžã§ã‚‚実装ã§ããªã„ã“ã¨ã¯ã‚ã‚Šã¾ã›ã‚“。 ãŸã クãƒãƒ¼ã‚¸ãƒ£ã‚„部分é©ç”¨ãŒç°¡å˜ã«ä½¿ãˆãªã„言語ã§ã¯æœ¬è³ªçš„ã§ãªã„ã¨ã“ã‚ã§è‹¦åŠ´ã™ã‚‹ç¾½ç›®ã«ãªã‚‹ã®ã§ã€å‰å›žã¯ Python を使ã„ã¾ã—ãŸã€‚ ã¨ã„ã†è¨³ã§ä»Šå›žã¯ “エディター界ã®PHP†ã§ãŠé¦´æŸ“ã¿ã® Vim script ã§ãƒ¢ãƒŠãƒ‰ã‚’実装ã™ã‚‹ã“ã¨ã«ã—ã¾ã—ょã†ã€‚ ãªãŠã€ä»Šå›žä½œæˆã—㟠Vim script ã«ã‚ˆã‚‹ãƒ¢ãƒŠãƒ‰ã®å®Ÿè£…㯠GitHub ã§å…¬é–‹ä¸ã§ã™ã€‚ æ–¹é‡ æœ€åˆã« Maybe ã®ã‚ˆã†ãªãƒ¢ãƒŠãƒ‰ã®å…·ä½“例を実装ã™ã‚‹ãŸã‚ã®ãƒ•ãƒ¬ãƒ¼ãƒ ワークを作ã£ã¦ãŠã„ã¦ã€æ¬¡ã« Maybe ã®å®Ÿè£…例を示ã™ã“ã¨ã«ã—ã¾ã—ょã†ã€‚ Vim script ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨ã—ã¦è¦‹ã‚‹åˆ†ã«ã¯è²§å¼±ã§ã™ãŒã€ dictionary (ä»–ã®è¨€èªžã§è¨€ã†ã¨ã“ã‚ã®ãƒžãƒƒãƒ—/ãƒãƒƒã‚·ãƒ¥ãƒ†
A Gentle Introduction to Haskell: About Monads
ã‚„ã•ã—ã„ Haskell 入門 (ãƒãƒ¼ã‚¸ãƒ§ãƒ³ 98 ) back next top 9  モナドã«ã¤ã„㦠ã¯ã˜ã‚㦠Haskell ã«ãµã‚Œã‚‹å¤šãã®ã²ã¨ã«ã¨ã£ã¦ モナド ( monad ) ã®æ¦‚念ã¯è¬Žã§ã™ã€‚Haskell ã§ã¯ãƒ¢ãƒŠãƒ‰ã«é »ç¹ã«å‡ºä¼šã„ã¾ã™ã€‚ I/O システムã¯ãƒ¢ãƒŠãƒ‰ã«ã‚ˆã£ã¦æ§‹æˆã•ã‚Œã¦ã„ã¾ã™ã—ã€ãƒ¢ãƒŠãƒ‰ã®ãŸã‚ã®ç‰¹åˆ¥ãªæ§‹æ–‡ ( do å¼)も用æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚ã¾ãŸã€ãƒ¢ãƒŠãƒ‰ã®ãŸã‚ã ã‘ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ« も標準ライブラリã«å«ã¾ã‚Œã¦ã„ã¾ã™ã€‚ã“ã®ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã§ã¯ãƒ¢ãƒŠãƒ‰ã‚’使ã£ãŸãƒ—ãƒã‚° ラミングã«ã¤ã„ã¦è©³ç´°ã«ã¿ã¦ã„ãã¾ã—ょã†ã€‚ ã“ã®ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã¯ä»–ã®ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã«ãらã¹ã‚‹ã¨ãŠãらã「やã•ã—ã„ã€ã¨ã„ã†ã‚ã‘ ã«ã„ã‹ãªã„ã§ã—ょã†ã€‚ã“ã“ã§ã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’ãµãむ言語ã®ç‰¹å¾´ã‚’示ã™ã ã‘ã§ã¯ãªã〠もã£ã¨å£®å¤§ãªçµµã‚’明ã‹ã«ã—よã†ã¨ãŠã‚‚ã„ã¾ã™ã€‚ãªãœãƒ¢ãƒŠãƒ‰ãŒã“ã‚Œã»ã©é‡è¦ãªãƒ„ー ルã§ã‚ã‚Šã€ã©ã®ã‚ˆã†ã«ã“れを使ã†ã‹ã€ã¨ã„ã†ã“ã¨ã§ã™ã€‚ã ã‚Œã«ã¨ã£
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Monad Comprehension in Clojure
{{#tags}}- {{label}}
{{/tags}}