Dijkstra Monads for Free
Danel Ahman1,2 Cătălin HriÅ£cu1,3 Kenji Maillard1,3,4 Guido MartÃnez3,5 Gordon Plotkin1,2 Jonathan Protzenko1 Aseem Rastogi1 Nikhil Swamy1 1Microsoft Research 2University of Edinburgh 3Inria Paris 4ENS Paris 5Rosario National University Symposium on Principles of Programming Languages, POPL 2017 Abstract Dijkstra monads enable a dependent type theory to be enhanced with support for specifying and v
コモナドを攻略ã™ã‚‹ - bitterharvest’s diary
２．コモナド 今回ã®è¨˜äº‹ã¯ã‚³ãƒ¢ãƒŠãƒ‰(余モンドã¨ã‚‚言ã‚れる)ã 。モナドã¯ã‚ã¡ã‚‰ã“ã¡ã‚‰ã§å‡ºä¼šã†ã“ã¨ãŒå¤šã„ãŒã€ã‚³ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦ã®èª¬æ˜Žã¯ãã‚Œã»ã©å¤šããªã„。今回ã®è¨˜äº‹ã§ã‚‚示ã™ãŒã€å®Ÿã¯ã‚³ãƒ¢ãƒŠãƒ‰ã®æ¦‚念ã¯ã¨ã¦ã‚‚é¢ç™½ãã€ç¾å®Ÿã®ä¸–ç•Œã®ä¸ã§ã“ã‚Œã¯ã‚³ãƒ¢ãƒŠãƒ‰ã§ã¯ã¨æ€ã†ã“ã¨ãŒå¤šã€…ã‚る。åŒçª“会ãªã©ã§ã€ä¹…ã—ã¶ã‚Šã«ã‹ã¤ã¦ã®ã‚¯ãƒ©ã‚¹ãƒ¡ã‚¤ãƒˆã«ä¼šã£ã¦ã€æ˜”話ã«è©±ã‚’å’²ã‹ã›ã¦ã„ã‚‹ã¨ãã«ã€æ€ã„出ãŒé•ã£ã¦ã„ã‚‹ã“ã¨ã«ãƒ“ックリã™ã‚‹ã“ã¨ãŒå¾€ã€…ã«ã—ã¦ã‚る。事実ã¯å¤‰ã‚らãªã„ã¯ãšãªã®ã ãŒã€å¹´æœˆãŒãŸã¤ã«ã¤ã‚Œã¦ãã‚Œãžã‚Œã®è¨˜æ†¶ãŒå¤‰å®¹ã—ã€ç•°ãªã£ã¦ã—ã¾ã£ãŸã®ã ã‚ã†ã€‚ã“ã‚Œãªã©ã‚³ãƒ¢ãƒŠãƒ‰ã®ã‚ˆã„例ã ã¨æ€ã†ã®ã ãŒã€æ£ã—ã„ã‹ã©ã†ã‹ã¯è¨˜äº‹ã‚’èªã‚“ã§ã‹ã‚‰ç¢ºèªã—ã¦æ¬²ã—ã„。 ２．１　コモナドã®å®šç¾© コモナドã¨ãƒ¢ãƒŠãƒ‰ã¯åŒå¯¾æ¦‚念ã 。コモナドã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’定義ã—ãŸã¨ãã®å°„ã®çŸ¢å°ã®æ–¹å‘ã‚’å対ã«ã™ã‚‹ã ã‘ãªã®ã ãŒã€ãã®æ¦‚念ã‹ã‚‰å—ã‘å–る感覚ã¯ã€éšåˆ†ã¨ç•°ãªã‚‹ã‚‚ã®ã«ãªã‚‹ã€‚åœè«–ã§ã®ãƒ¢ãƒŠãƒ‰ã¯å“²å¦ã‹ã‚‰ã®å€Ÿç”¨èªž
Haskell 状態系モナド 超入門 - Qiita
Haskellã§ã¯ãƒ¢ãƒŠãƒ‰ã¨å‘¼ã°ã‚Œã‚‹éƒ¨å“を組ã¿åˆã‚ã›ã¦ãƒ—ãƒã‚°ãƒ©ãƒ を作りã¾ã™ã€‚状態をå—ã‘渡ã™ã‚¿ã‚¤ãƒ—ã®ãƒ¢ãƒŠãƒ‰ã®ä½¿ã„æ–¹ã®åˆæ©ã‚’説明ã—ã¾ã™ã€‚ライブラリã§ç”¨æ„ã•ã‚ŒãŸãƒ¢ãƒŠãƒ‰ã‚’手ã£å–ã‚Šæ—©ã使ã†ã“ã¨ã‚’目的ã¨ã—ã¦ã„ã‚‹ãŸã‚ã€ãƒ¢ãƒŠãƒ‰ã®ä½œã‚Šæ–¹ã‚„åœè«–ã«ã¯è¨€åŠã—ã¾ã›ã‚“。 シリーズã®è¨˜äº‹ã§ã™ã€‚ Haskell 超入門 Haskell 代数的データ型 超入門 Haskell アクション 超入門 Haskell ラムダ 超入門 Haskell アクションã¨ãƒ©ãƒ ダ 超入門 Haskell IOモナド 超入門 Haskell リストモナド 超入門 Haskell Maybeモナド 超入門 Haskell 状態系モナド 超入門 ↠ã“ã®è¨˜äº‹ Haskell モナド変æ›å 超入門 Haskell ä¾‹å¤–å‡¦ç† è¶…å…¥é–€ Haskell æ§‹æ–‡è§£æž è¶…å…¥é–€ ã€äºˆå®šã€‘Haskell 継続モナド 超入門 ã€äºˆå®šã€‘Haskell 型クラス 超入門
IOモナドã§ä½¿ã†ã¨ãã ã‘ãƒã‚°ã‚’åã関数を定義ã™ã‚‹ - Pixel Pedals of Tomakomai
純粋ãªé–¢æ•°ã¨ã—ã¦å®šç¾©ã§ãã‚‹ã‚“ã ã‘ã©å†…部ã§ã‚„ã£ã¦ã‚‹ã“ã¨ãŒè¤‡é›‘ãªå ´åˆã€ä½•ãŒèµ·ãã¦ã‚‹ã‹ã‚ã‹ã‚‰ãªã„ã¨å¿ƒé…ã ã‹ã‚‰ã¨ãƒã‚°ã‚’åã機能をã¤ã‘ã‚‹ã¨ã€ãã®æ™‚点ã§ãã„ã¤ã¯ IO アクションã«ãªã£ã¦ã—ã¾ã†ã€‚ãƒã‚°ã‚’åãã¨ã„ã†å‰¯ä½œç”¨ã‚’æŒã¤ã®ã ã‹ã‚‰ IO ã«ãªã‚‹ã®ã¯å½“ãŸã‚Šå‰ã§ãれをé¿ã‘ã‚‹ã¹ãã§ã¯ãªã„ã®ã ã‘ã©ã€ãƒã‚°ã‚’åã‹ãªãã¦ã„ã„ã„ã‚·ãƒãƒ¥ã‚¨ãƒ¼ã‚·ãƒ§ãƒ³ã§ã¯ã€ãã®è¨ˆç®—を純粋ãªé–¢æ•°ã¨ã—ã¦ä½¿ãˆãŸã»ã†ãŒç†æƒ³çš„ã§ã¯ã‚る。 ãã‚“ãªã“ã¨ã‚’ Identity 㨠型クラス 使ãˆã°ç°¡å˜ã«ã§ãã‚‹ã‚“ã˜ã‚ƒãã¨æ€ã„ã¤ã„ãŸã‚“ã ã‘ã©ã€ monad-logger ã§ãã‚‚ãも機能ãŒæä¾›ã•ã‚Œã¦ãŸã€‚ runLoggingT ã‚„ runNoLoggingT ã§ãƒ¢ãƒŠãƒ‰ã« class MonadLogger ãŒæŒã¤ãƒã‚®ãƒ³ã‚°ç”¨ã®ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ã‚’è¿½åŠ ã§ãã‚‹ã®ã ã‘ã©ã€å‰è€…ã¯ãƒ¢ãƒŠãƒ‰ãŒ class MonadIO ã®ã¨ãã€å¾Œè€…ã¯ä»»æ„ã® class Monad ã«ã¤ã„ã¦ä½¿ãˆã‚‹ã‚ˆã†ã‚¤ãƒ³
エラー処ç†ã®åœ°å¦å²ã€ã‚‚ã—ãã¯ã‚ãªãŸãŒMaybeモナドを使ã†ã¹ãç†ç”±ã€‚ | 月ã¨ç‡ƒç´ ã¨ã€ã²ã¨åŒ™ã®ç ‚ç³–
（以下ã€ã‚«ãƒŽãƒƒã‚µã®å±ˆè¾±ï¼ˆãƒ†ãƒ¬ãƒ“番組）ã®ãƒŽãƒªã§ãŠé¡˜ã„ã—ã¾ã™ï¼‰ コンピュータã®ç†è«–を確立ã—ãŸãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ã€‚å½¼ã¯ã€ç„¡é™ã®ãƒ†ãƒ¼ãƒ—ã®é•·ã•ã‚’æŒã¡ã€å˜ãªã‚‹è¨ˆç®—ã‚’è¡Œã†ã ã‘ã®ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã‚’夢想ã—ãŸã€‚ ã—ã‹ã—ã€æˆ‘々ã®ç”Ÿãã‚‹ç¾å®Ÿä¸–ç•Œã«ãŠã‘るコンピュータã§ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã«æ–¼ã„ã¦ã¯ã€è¨ˆç®—ã®å¤±æ•—ï¼ã‚¨ãƒ©ãƒ¼ãŒç™ºç”Ÿã™ã‚‹ã®ã¯é¿ã‘る事ãŒã§ããªã„宿命ã§ã‚る。ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯æŽ¥ç¶šå¤±æ•—ã€ãƒ•ã‚¡ã‚¤ãƒ«ãŒè¦‹ã¤ã‹ã‚‰ãªã„ã€ãƒ¡ãƒ¢ãƒªãŒç¢ºä¿å‡ºæ¥ãªã‹ã£ãŸâ€¦ç‰ã€…。ã™ã¹ã¦ã®ã‚¨ãƒ©ãƒ¼ã‚’書ã出ã™ã«ã¯ã€ãã‚Œã“ãç„¡é™ã®é•·ã•ã®ç´™ãŒå¿…è¦ã§ã‚ã‚ã†ã€‚プãƒã‚°ãƒ©ãƒ 進化ã®æ´å²ã¯ä¾‹å¤–ã¨ã®æˆ¦ã„ã§ã‚ã‚‹ã¨è¨€ã£ã¦ã‚‚éŽè¨€ã§ã¯ãªã„。今回ã®è¬›ç¾©ã§ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®æ§˜ã€…ãªé€²åŒ–ã®ã†ã¡ã®ã€Œã‚¨ãƒ©ãƒ¼å‡¦ç†ã€ã«ç€ç›®ã—ã€ãã®é•·ã„戦ã„ã®æ´å²ã‚’概観ã™ã‚‹ã€‚ ã¾ãšã¯ã€ã„ã«ã—ãˆã®å…ˆã‚¨ã‚¯ã‚»ãƒ—ション紀ã«ãŠã‘るエラー処ç†ã‚’見ã¦ã¿ã‚ˆã†ã€‚ 先エクセプション紀：エラーコード-1ã®æ™‚代 エクセプション（exception）ã¨å‘¼ã°
C++ 㧠Maybeモナドを書ã„ã¦ã¿ãŸ - C++ã§ã‚²ãƒ¼ãƒ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
C++ 㧠Maybeモナドを書ã„ã¦ã¿ãŸã‚‰æ„外ã¨é¢ç™½ã‹ã£ãŸã®ã§è¦šæ›¸ã€‚ ã¾ãã“ã®æ‰‹ã®ãƒã‚¿ã¯ãŸãã•ã‚“ã‚ã‚‹ã¨æ€ã„ã¾ã™ãŒã€‚ ã‚ã‚“ã¾ã‚Š Haskell 力ã¯é«˜ããªã„ã®ã§ã–ã£ãã‚Šã¨ã—ãŸå®Ÿè£…ã§ã™ã€‚ [実装ã™ã‚‹ä¸»ãªæ©Ÿèƒ½] maybe nothing return bind(>>=) 今回ã¯ã“ã“ら辺ã®æ©Ÿèƒ½ã‚’ C++ ã§å®Ÿè£…ã—ã¦ã¿ã¾ã—ãŸã€‚ [maybe 㨠return] maybe 自体ã¯åŒç‰ã®æ©Ÿèƒ½ã‚’æŒã¤ Boost.Optional ã§ä»£ç”¨ã€‚ nothing ã‚‚ boost::none ã§ã™ã。 template<typename T> using maybe = boost::optional<T>; constexpr auto const& nothing = boost::none; template<typename T> maybe<T> return_(T t){ return t; } m
Yonedaã¨CoYonedaã€ãã—ã¦Functor - capriccioso String Creating(Object something){ return My.Expression(something); }
本当ã¯ã€ Freeモナドを超ãˆãŸï¼ï¼Ÿoperationalモナドを使ã£ã¦ã¿ã‚ˆã† http://fumieval.hatenablog.com/entry/2013/05/09/223604 ã«å½±éŸ¿ã•ã‚Œã¦ã€Operationalモナドã®è©±ã‚’ã¾ã¨ã‚よã†ã¨æ€ã£ãŸã®ã§ã™ãŒã€ã¡ã‚‡ã£ã¨æ™‚é–“ãªã•ãã†ã ã£ãŸã®ã§ã€ä»Šæ—¥ã¯ã¡ã‚‡ã£ã¨CoYonedaã®è©±ã‚’ã—ã¾ã—ょã†ã€‚ 上記ブãƒã‚°ã§ã¯ã€CoYonedaã«ã¤ã„ã¦ã€ŒãŸã ã®ãƒ‡ãƒ¼ã‚¿åž‹ã‹ã‚‰Functorを生ã¿å‡ºã›ã‚‹ã€ã¨ç´¹ä»‹ã•ã‚Œã¦ã„ã¾ã™ã€ã“ã‚ŒãŒã„ã£ãŸã„ã©ã†ã„ã†äº‹ã‹ã€ã¡ã‚‡ã£ã¨æ·±ã追ã£ã¦ã¿ã¾ã—ょã†ã€‚ åˆã‚㫠今回ã¯ã€ä»»æ„ã®åž‹ã‚’Functorã«ã™ã‚‹äº‹ãŒç›®æ¨™ãªã®ã§ã€ã¾ãšç°¡å˜ã«ä»¥ä¸‹ã®ã‚ˆã†ãªåž‹ã‚’定義ã—ã¦ãŠãã¾ã™ã€‚ data Hoge a = Foo a | Bar a deriving Show 米田先生ã¨Yoneda Yonedaã¨ã„ã†ã®ã¯ç±³ç”°ä¿¡å¤«ã¨ã„ã†æ—¥æœ¬ã®æ•°å¦è€…ã®åã«å› ã‚“ã 「米田ã®
多相関数ã®printfデãƒãƒƒã‚°ã‚’GHCi㧠- www.kotha.netã®è£
Haskellã§ã®ãƒ‡ãƒãƒƒã‚°ã¨ã„ãˆã°printfデãƒãƒƒã‚°ãªã®ã§ã¯ãªã„ã‹ã¨æ€ã†ã€‚printfデãƒãƒƒã‚°ã¯å¤§æŠµã®å ´åˆã†ã¾ãã„ããŒã€å¤šç›¸çš„ãªé–¢æ•°ã‚’書ã„ã¦ã„ã‚‹ã¨ãã¯ä¸ä¾¿ãªã“ã¨ãŒã‚る。表示ã—ãŸã„値を文å—列ã«ã™ã‚‹æ‰‹æ®µãŒãªã„å ´åˆã 。 import Debug.Trace import Data.List mysort :: (Ord a) => [a] -> [a] mysort [] = [] mysort (x:xs) = trace ("inserting " ++ show x) $ -- ã‚¨ãƒ©ãƒ¼ï¼ xã¯showã§ããªã„ insert x $ mysort xs main = print $ mysort [1,3,2,0] -- デãƒãƒƒã‚°ç”¨å…¥åŠ› 実際ã®ãƒ‡ãƒãƒƒã‚°å…¥åŠ›ã§ã‚ã‚‹Integerã¯showã§ãã‚‹ã®ã ãŒã€mysortã®åž‹ã‹ã‚‰ã¯ãã‚ŒãŒæ¼”ç¹¹ã§ããªã„ã®ã§showを呼ã¶ã“ã¨ãŒã§ããªã„。ã“ã“ã§xを表示ã™ã‚‹
例題ã§æ¯”較ã™ã‚‹çŠ¶æ…‹ç³»ã®ãƒ¢ãƒŠãƒ‰ - ã‚ã©ã‘ãªã„話
金曜日ã«çŠ¶æ…‹ç³»ã®ãƒ¢ãƒŠãƒ‰ã‚’説明ã—ãªã„ã¨ã„ã‘ãªã„ã®ã§ã€ä¾‹é¡Œã‚’書ã„ã¦æ¯”較ã§ãるよã†ã«ã—ã¦ãŠãã¾ã™ã€‚ 呪文ã¨ã—ã¦ã€ä»¥ä¸‹ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’èªã¿è¾¼ã‚“ã§ãŠãã¾ã—ょã†ã€‚ import Data.Char import Control.Monad.Identity import Control.Monad.Reader import Control.Monad.Writer import Control.Monad.State Identityモナド 入力ãŒä¸€ã¤ã§ã€å‡ºåŠ›ãŒä¸€ã¤ã®ãƒ¢ãƒŠãƒ‰ã€‚é¢ç™½ã¿ã¯ãªã„。 i :: Identity Int i = do x <- return 2 y <- return 3 return $ x * y ã§ã‚‚ã€ãƒ¢ãƒŠãƒ‰ã¯ Haskell ã®ä¸ã«ä½ã‚€ãƒžã‚¤ã‚¯ãƒè¨€èªžã§ã€ã“ã®ãƒžã‚¤ã‚¯ãƒè¨€èªžã§ãƒžã‚¤ã‚¯ãƒãƒ—ãƒã‚°ãƒ©ãƒ を作æˆã—ãŸå¾Œã¯ã€run ã§å®Ÿè¡Œã™ã‚‹ã‚‚ã®ã ã¨ã„ã†ã‚¤ãƒ¡ãƒ¼ã‚¸ã¯åˆ†ã‹ã‚‹ã‹ã‚‚。 > runIde
Freeモナドã£ã¦ä½•ãªã®ã•ã£ï¼ï¼Ÿ - capriccioso String Creating(Object something){ return My.Expression(something); }
最近Haskellerã®é–“ã§FreeモナドãŒç†±ã„ã§ã™ã€‚ Haskellã§æ‚Ÿã‚Šã‚’é–‹ã„ãŸäººãŒFreeモナドã§å†ã³æ‚Ÿã‚Šã‚’é–‹ã„ãŸã‚Šã—ã¦ã€ãªã‚“ã‹ã‚ˆã解らãªã„ã‘ã©å‡„ã„ã“ã¨ã«ãªã£ã¦ã„る今日ã“ã®ã”ã‚ã§ã™ãŒã€ã™ã£ã‹ã‚Šä¹—ã‚Šé…ã‚Œã¦ã„ã¾ã—ãŸã€‚ã©ã†ã‚‚ã€è²´å¥³ã®ã¡ã‚…ーんã§ã™ã€‚ ã§ã€çš†ã“ãžã£ã¦ã€Œã™ã”ã„ã™ã”ã„ã€ã¨è¨€ã£ã¦ã„ã‚‹Freeモナドãªã®ã§ã€æµçŸ³ã«ã„ã¤ã‚‚ã¾ã§ã‚‚全然知らãªã„ã®ã¯ãƒžã‚ºã‚¤ã‚“ã˜ã‚ƒãªã„ã‹ãªãã¨ã‹æ€ã£ã¦ã€é‡ã„è…°ã‚’æŒã¡ä¸Šã’調ã¹ãªãŒã‚‰ã“ã®è¨˜äº‹ã‚’書ã始ã‚ãŸãƒ¯ã‚±ã§ã™ã‚ˆã€‚ã¯ã„。*1 ã‘ã£ã“ã†æ€¥ãŽã§å‹‰å¼·ã—ã¦æ›¸ã上ã’ãŸã®ã§éšæ‰€ã«é–“é•ã„ã‚ã‚‹ã‹ã‚‚ã§ã™ã€‚ツッコミãŠå¾…ã¡ã—ã¦ã¾ã™ã€‚ ã•ã¦ã€ã“ã®ã€ŒFreeモナドã€ã«ã¤ã„ã¦ã€ã‚ªãƒ¬ã‚ªãƒ¬å®šç¾©ã§ç°¡å˜ã«è¨€è‘‰ã«ã™ã‚‹ã¨ã€‚「Functorã¨çµ„ã¿åˆã‚ã›ã¦æ§˜ã€…ãªæŒ™å‹•ã‚’実ç¾ã§ãるモナドã€ã§ã™ã€‚ 大抵「Monadã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã€ã¨ã„ã†ã¨ã€Maybeã«ã—ã¦ã‚‚IOã«ã—ã¦ã‚‚ã€ã‚ã‚Šã¨å…·ä½“çš„ãªäº‹è±¡ã‚’扱ã£ã¦ã¾ã™ãŒã€ã“ã®Freeモ
Perlã§ãƒ¢ãƒŠãƒ‰ã‚’å¦ã¶ - Pixel Pedals of Tomakomai
勉強ã®ãŸã‚ã«Perlã§ãƒ¢ãƒŠãƒ‰ã‚’実装ã—ã¦ã¿ã¾ã—ãŸã€‚ å…責 åœè«–ã®ãƒ¢ãƒŠãƒ‰ã®æ¦‚念をPerlã§ã‚·ãƒŸãƒ¥ãƒ¬ãƒ¼ãƒˆã—よã†ã¨è¨€ã†ã‚¨ãƒ³ãƒˆãƒªã§ã‚ã£ã¦ã€ãƒ¢ãƒŠãƒ‰ã‚’開発ã«ã©ã†åˆ©ç”¨ã™ã‚‹ã‹ãªã©ã«ã¤ã„ã¦ã¯ã³ã£ãã‚Šã™ã‚‹ãらã„言åŠã—ã¾ã›ã‚“ã®ã§æ‚ªã—ã‹ã‚‰ãšã€‚ 1. åœã‚’考ãˆã‚‹ Perlã®ã‚¹ã‚«ãƒ©å€¤ã®ä»»æ„ã®é›†åˆã‚’対象ã¨ã—ã¦ã€å¼•æ•°ã‚‚戻り値も一ã¤ã§å‰¯ä½œç”¨ãŒãªã„サブルーãƒãƒ³ã‚’å°„ã¨ã—ã¾ã™*1。domã¨codã«ã¤ã„ã¦ã¯ã€é–¢æ•°ãŒæ£å¸¸ã«å‹•ä½œã™ã‚‹ç¯„囲ã§é©å½“ã«ã¨ã‚Šã¾ã—ょã†ã€‚ * 例: 対象「文å—列ã€ã‹ã‚‰å¯¾è±¡ã€Œæ•´æ•°ã€ã¸ã®å°„ length 2. 自己関手ã®è¡¨ç¾ 自己関手ã¯ã€äºŒã¤ã®å†™åƒã‹ã‚‰ãªã‚Šã¾ã™ã€‚ 対象を対象ã«ç§»ã™å†™åƒ T_object モノã¨ã—ã¦ã¯è€ƒãˆã¾ã™ã‘ã©ä»Šå›žã¯å®Ÿè£…ã—ã¾ã›ã‚“*2。 å°„ã‚’å°„ã«ç§»ã™å†™åƒ T_arrow 『サブルーãƒãƒ³ã‚’å—ã‘å–ã£ã¦ã‚µãƒ–ルーãƒãƒ³ã‚’è¿”ã™ã‚µãƒ–ルーãƒãƒ³ã€ã¨ã—ã¦å®Ÿè£…ã§ãã¾ã™ã€‚ 3. 自然変æ›ã®è¡¨ç¾ 関手Tã‹ã‚‰é–¢æ‰‹Sã®è‡ªç„¶å¤‰æ›ã¯ã€å¯¾è±¡A
Why free monads matter
Interpreters Good programmers decompose data from the interpreter that processes that data. Compilers exemplify this approach, where they will typically represent the source code as an abstract syntax tree, and then pass that tree to one of many possible interpreters. We benefit from decoupling the interpreter and the syntax tree, because then we can interpret the syntax tree in multiple ways. For
モナド変æ›åã®ä½¿ã„æ–¹ãŒã‚ã‹ã£ã¦ããŸ
モナドã®ä¸Šã«ã¾ãŸãƒ¢ãƒŠãƒ‰ã£ã¦æ ªã‹ï¼ŸäºŒéšŽå»ºã¦ã‹ï¼Ÿãªã‚“ã¦æ€ã£ã¦æ•¬é ã—ã¦ãŸã®ã ã‘ã©ã€ãªã‚“ã¨ãªãã‚ã‹ã£ã¦ãã‚‹ã¨ã€åŒ…ã‚“ã§åŒ…ã‚“ã§ã—ã¦ã‚‹ã ã‘ã˜ã‚ƒãªã„ã‹ã¨ã€‚ RWH18ç« ãƒ¢ãƒŠãƒ‰å¤‰æ›åを使ã‚ãªã„ã§ãƒã‚°è¨˜éŒ²ã€‚ã“ã‚Œã¯IO [(FilePath, Int)]åž‹ã«ãªã‚‹ã€‚ module CountEntries (listDirectory, countEntriesTrad) where import System.Directory (doesDirectoryExist, getDirectoryContents) import System.FilePath ((</>)) import Control.Monad (forM, liftM, when) listDirectory :: FilePath -> IO [String] listDirectory = liftM (filter notDots
Sudoku - HaskellWiki
Here are a few Sudoku solvers coded up in Haskell... Monadic non-deterministic solver Here is a solver by CaleGibbard. It possibly looks even more naïve than it actually is. This does a backtracking search, trying possibilities until it finds one which works, and backtracking when it can no longer make a legal move. import MonadNondet (option) import Sudoku import System import Control.Monad solve
ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
ã‚‚ã†ã„ãã¤å¯ã‚‹ã¨ 今年ã®ã¯ã˜ã‚ã«ã‚„ã‚ŠãŸã„ã“ã¨ãƒªã‚¹ãƒˆã‚’作ã£ãŸã€‚今見ãŸã‚‰50é …ç›®ã‚るリストã®ã†ã¡25個ãŒé”æˆæ¸ˆã¿ã ã£ãŸã€‚ã¡ã‚‡ã†ã©åŠåˆ†ã‚„ã‚ŠãŸã„ã“ã¨ã‚’ã‚„ã£ãŸã¨ã„ã†ã“ã¨ã 。ç§ã«ã—ã¦ã¯ã¾ã‚ã¾ã‚ã®çµæžœã ã¨æ€ã†ã€‚満足。 ã‚„ã‚ŠãŸã„ã“ã¨ãƒªã‚¹ãƒˆã«ã‚ã‚‹ã‚‚ã®ã®ã†ã¡ã€ã€Œã€œã‚’食ã¹ãŸã„ã€ç³»ã¯æ¦‚ãクリアã—…
Haskellモナドトランスフォーマー(2) - ã¿ã©ã‚Šãã“日記
関数getPasswordã¨ãれを利用ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã‚’ç°¡æ½”ã«æ›¸ããŸã‚ã«ã€IOモナドã«Maybeモナドã®ç‰¹æ€§ã‚’与ãˆã‚‹ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã‚’定義ã—ã¾ã™ã€‚ã“れをã€ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã®æ…£ä¾‹çš„ãªå付ã‘æ–¹ã«å¾“ã„ã€æœ€åˆã«ä¸Žãˆã‚‹ç‰¹æ€§ã‚’æŒã¤ãƒ¢ãƒŠãƒ‰ã®åå‰ï¼‹Tã¨ã—ã€MaybeTã¨å‘¼ã³ã¾ã™ã€‚ MaybeTã¯ã€m (Maybe a)ã®ãƒ©ãƒƒãƒ‘ーã§ã€mã«ã¯ã©ã®ã‚ˆã†ãªãƒ¢ãƒŠãƒ‰ã‚‚入るã“ã¨ãŒå‡ºæ¥ã¾ã™ã€‚（ã“ã“ã§ã¯IOã«æ³¨ç›®ã—ã¾ã™ã€‚） newtype (Monad m) => MaybeT m a = MaybeT {runMaybeT :: m (Maybe a)} アクセサ関数runMaybeTを使ã†ã“ã¨ã«ã‚ˆã£ã¦MaybeTã®ãªã‹ã«éš ã‚ŒãŸä¸èº«ã«ã‚¢ã‚¯ã‚»ã‚¹ã§ãã¾ã™ã€‚ モナドトランスフォーマー自身もモナドã§ã‚ã‚‹ãŸã‚ã€MaybeT mã‚’Monadクラスã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã¨ã—ã¦ç½®ãå¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ instance Monad m =
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
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Encoding monads in ATS2 with function templates
http://www.sharp-bang.jp/prog/monad_memo.html
Haskell Day2012 - å‚ç…§é€éŽæ€§ã¨ã¯ä½•ã ã£ãŸã®ã‹
{{#tags}}- {{label}}
{{/tags}}