Pages · gree/haskell-tutorial WikiYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
実装ã—ã¦ç†è§£ã™ã‚‹é…延評価ã®ä»•çµ„㿠〜 thunkã‚’çµµã«æã„ã¦ç†è§£ã—よã†ãƒ»JavaScriptã§Haskellを実装ï¼ï¼Ÿ - プãƒã‚°ãƒ©ãƒ モグモグ
ã“ã®è¨˜äº‹ã§ã¯, Haskellã«ç”¨ã„られる「é…延評価ã€ã®ä»•çµ„ã¿ã‚’, 図ã«æã„ã¦èª¬æ˜Žã—ã¾ã™. æ›´ã«, é…延評価版ã®ãƒ•ã‚£ãƒœãƒŠãƒƒãƒæ•°ã®ç„¡é™åˆ—ã‚’, JavaScriptã§å®Ÿè£…ã—ã¾ã™. é…延評価ã¨ã¯ã©ã®ã‚ˆã†ã«å‹•ãã®ã‹, 考ãˆã¦è¡Œãã¾ã—ょã†. Haskellã®ã‚³ãƒ¼ãƒ‰ã¨JavaScriptã®ã‚³ãƒ¼ãƒ‰ã®æ¯”較 Haskellã§ã® x = y y = 10 ã¨, JavaScriptã® var x = y; var y = 10; ã¨ã„ã†ã‚³ãƒ¼ãƒ‰ã‚’考ãˆã¦ãã ã•ã„. Haskellã®ã‚³ãƒ¼ãƒ‰ã¯, ã“ã‚Œã ã‘ã§ã¯ä½•ã‚‚èµ·ã“ã‚Šã¾ã›ã‚“. print xã¨ã™ã‚‹ã¨, x = y = 10 ã¨ãªã£ã¦ 10 ãŒè¡¨ç¤ºã•ã‚Œã¾ã™. 一方, JavaScriptã®ã‚³ãƒ¼ãƒ‰ã¯ var x = y; を評価ã—ãŸçž¬é–“, ï½¢ReferenceError: y is not definedï½£ã¨ã„ã†ã‚¨ãƒ©ãƒ¼ãŒå‡ºã¾ã™. æ›´ã«, main = let x = 1
型クラスã¨ãƒ¢ãƒŠãƒ‰ã¨ Free モナド - ã‚ã©ã‘ãªã„話
è¦ç´„：Free モナドã¯ä½•ãŒå¬‰ã—ã„ã®ã‹ã‚’è°è«–ã™ã‚‹ãŸã‚ã®ãŸãŸãå°ã€‚以下ã®2ã¤ã®è«–æ–‡ã«è¼‰ã£ã¦ã„る例を3ã¤ã®æ–¹æ³•ã§å®Ÿè£…ã™ã‚‹ã€‚ Janis Voigtlander, "Asymptotic Improvement of Computations over Free Monads" Wouter Swierstra and Thorsten Altenkirch, "Beauty in the Beast -- A Functional Semantics for the Awkward Squad" モナド 最近ã€åƒ•ã¯ãƒ¢ãƒŠãƒ‰ã‚’次ã®ã‚ˆã†ã«èª¬æ˜Žã™ã‚‹ã‚ˆã†ã«ã—ã¦ã„る。「モナドã¨ã¯è¨€èªžå†…DSLを実装ã™ã‚‹ãŸã‚ã® API (ã‚ã‚‹ã„ã¯ãƒ•ãƒ¬ãƒ¼ãƒ ワーク)〠ã ã‹ã‚‰ã€ä½•ã‹è¨€èªžå†…DSLを作るãªã‚‰ã€ãれをモナドã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã«ã™ã¹ãã 。ã“ã“ã§ã¯ã€getChar 㨠putChar ã¨ã„ㆠAPI ã‚’æŒã¤ç°¡å˜ãª DSL を考
ãã‚ãã‚Freeモナドã«é–¢ã—ã¦ä¸€è¨€ã„ã£ã¨ãã‹ - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
Freeモナドã¯ã™ã”ã„。 Haskellを書ã„ã¦ã„ã¦ã€ã€Œç‰¹æ®ŠåŒ–ã•ã‚ŒãŸå‡¦ç†ã‚’記述ã™ã‚‹ãƒ¢ãƒŠãƒ‰ãŒç°¡å˜ã«ä½œã‚ŒãŸã‚‰ä¾¿åˆ©ã ã‚ã†ãªãƒ¼ã€ã¨æ€ã£ãŸã“ã¨ã¯ãªã„ã ã‚ã†ã‹ï¼Ÿç°¡å˜ã«ä½œã‚Œã‚‹ã®ã§ã‚ã‚‹ã€ãã†ã€Haskellãªã‚‰ã。 ã“ã‚ŒãŒã€ç´”粋ãªFreeモナドã®å®šç¾©ã§ã‚る。 data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Monad (Free f) where return = Pure Pure a >>= k = k a Free fm >>= k = Free (fmap (>>=k) fm) (Functorã€Applicativeã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹å®£è¨€ã¯è‡ªæ˜Žãªã®ã§çœç•¥) 与ãˆã‚‰ã‚ŒãŸFunctorã‚’ãŠäº’ã„ã«åŸ‹ã‚è¾¼ã¿åˆã£ã¦ã„ã‚‹ã€ã¨ã„ã†æ¼ 然ã¨ã—ãŸå°è±¡ã§ã€ä½•ãŒå¬‰ã—ã„ã®ã‹ã‚ˆãã‚ã‹ã‚‰ãªã„ã‹ã‚‚ã—ã‚Œãªã„。ã ãŒã€ã“ã®å˜ç´”ã•ã“ãFreeモナドã®ä¾¿åˆ©
Freeモナドã£ã¦ä½•ãªã®ã•ã£ï¼ï¼Ÿ - capriccioso String Creating(Object something){ return My.Expression(something); }
最近Haskellerã®é–“ã§FreeモナドãŒç†±ã„ã§ã™ã€‚ Haskellã§æ‚Ÿã‚Šã‚’é–‹ã„ãŸäººãŒFreeモナドã§å†ã³æ‚Ÿã‚Šã‚’é–‹ã„ãŸã‚Šã—ã¦ã€ãªã‚“ã‹ã‚ˆã解らãªã„ã‘ã©å‡„ã„ã“ã¨ã«ãªã£ã¦ã„る今日ã“ã®ã”ã‚ã§ã™ãŒã€ã™ã£ã‹ã‚Šä¹—ã‚Šé…ã‚Œã¦ã„ã¾ã—ãŸã€‚ã©ã†ã‚‚ã€è²´å¥³ã®ã¡ã‚…ーんã§ã™ã€‚ ã§ã€çš†ã“ãžã£ã¦ã€Œã™ã”ã„ã™ã”ã„ã€ã¨è¨€ã£ã¦ã„ã‚‹Freeモナドãªã®ã§ã€æµçŸ³ã«ã„ã¤ã‚‚ã¾ã§ã‚‚全然知らãªã„ã®ã¯ãƒžã‚ºã‚¤ã‚“ã˜ã‚ƒãªã„ã‹ãªãã¨ã‹æ€ã£ã¦ã€é‡ã„è…°ã‚’æŒã¡ä¸Šã’調ã¹ãªãŒã‚‰ã“ã®è¨˜äº‹ã‚’書ã始ã‚ãŸãƒ¯ã‚±ã§ã™ã‚ˆã€‚ã¯ã„。*1 ã‘ã£ã“ã†æ€¥ãŽã§å‹‰å¼·ã—ã¦æ›¸ã上ã’ãŸã®ã§éšæ‰€ã«é–“é•ã„ã‚ã‚‹ã‹ã‚‚ã§ã™ã€‚ツッコミãŠå¾…ã¡ã—ã¦ã¾ã™ã€‚ ã•ã¦ã€ã“ã®ã€ŒFreeモナドã€ã«ã¤ã„ã¦ã€ã‚ªãƒ¬ã‚ªãƒ¬å®šç¾©ã§ç°¡å˜ã«è¨€è‘‰ã«ã™ã‚‹ã¨ã€‚「Functorã¨çµ„ã¿åˆã‚ã›ã¦æ§˜ã€…ãªæŒ™å‹•ã‚’実ç¾ã§ãるモナドã€ã§ã™ã€‚ 大抵「Monadã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã€ã¨ã„ã†ã¨ã€Maybeã«ã—ã¦ã‚‚IOã«ã—ã¦ã‚‚ã€ã‚ã‚Šã¨å…·ä½“çš„ãªäº‹è±¡ã‚’扱ã£ã¦ã¾ã™ãŒã€ã“ã®Freeモ
Haskell基礎文法最速マスター - think and error
見ã¦ã„ãŸã ã‘ã‚‹ã®ã¯å¬‰ã—ã„ã§ã™ãŒã“ã®ã‚¨ãƒ³ãƒˆãƒªã¯å分å¤ã„ãŸã‚ã€æ–°ã—ã„æƒ…å ±ã¸ã‚¢ã‚¯ã‚»ã‚¹ã‚’ã—ã¦ãã ã•ã„。以下ã®æœ¬ã‚’ãŠå‹§ã‚ã—ã¾ã™ã€‚ ã™ã”ã„HaskellãŸã®ã—ãå¦ã¼ã†ï¼ 作者: ï¼ï½‰ï½’ï½ï½Žï¼¬ï½‰ï½ï½ï½–ï½ï½ƒï½å‡ºç‰ˆç¤¾/メーカー: オーム社発売日: 2017/07/14メディア: Kindle版購入: 4人 クリック: 9回ã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚°ã‚’見る 関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å®Ÿè·µå…¥é–€ ──簡潔ã§ã€æ£ã—ã„コードを書ããŸã‚ã« (WEB+DB PRESS plus) 作者: 大å·å¾³ä¹‹å‡ºç‰ˆç¤¾/メーカー: 技術評論社発売日: 2014/11/14メディア: å˜è¡Œæœ¬ï¼ˆã‚½ãƒ•ãƒˆã‚«ãƒãƒ¼ï¼‰ã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (8件) を見る ã¿ã‚“ãªHaskellã‚„ã‚ã†ãœï¼ï¼ ã¨ã„ã†ã“ã¨ã§æ›¸ãã¾ã—ãŸã€‚ Cã‚„Javaã€Rubyãªã©ä»–言語を知ã£ã¦ã„る人ã¯ã€ã“れをèªã‚€ã“ã¨ã§Haskellã®å¤§æŠµã®ã“ã¨ã¯ãƒžã‚¹ã‚¿ãƒ¼ã§ã…ã¾ã›ã‚“。 特殊ãªæ§‹æ–‡ãŒå¤šã™ãŽã¦ä»–言語ã¨ã®é¡ž
1
メンテナンス
ãŠçŸ¥ã‚‰ã›
障害
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Haskell Day2012 - å‚ç…§é€éŽæ€§ã¨ã¯ä½•ã ã£ãŸã®ã‹
{{#tags}}- {{label}}
{{/tags}}