Recommended
More Related Content
Recently uploaded
Recently uploaded (8)
Featured
Featured (20)
ゆるふわなHaskell話
- 13. 例えば現在時刻の取得 現在時刻取得はIO実行 リアルワールドの参照 time = getTime(); // IO発生!! 13年6月23日日曜日
- 14. 例えば現在時刻の取得 関数の中で現在時刻を取得してみる var f = function doSomething() { var time = getTime(); // IO!! // do something... } ➡ リアルワールドの現在時刻に依存した！！！ ➡ 制御不可能な値に依存する関数は筋が悪い 13年6月23日日曜日
- 22. 言語内で問題を解く 関数の外部でIO実行、引数で渡す var f = function doSomething(time) { // do something... } ➡ IOは発生しない ➡ 安全！再利用しやすい！保守しやすい！ 13年6月23日日曜日
- 35. D4C いともたやすく行われるえげつない行為 dirtyDeedsDoneDirtCheap :: IO President チーム開発中に能力が発現 よくわからないところにありえないコードが 埋没している 保守を壊滅的にしてくれる 13年6月23日日曜日
- 38. モナド変換子 liftIOで結局IO使い放題 いつIOが起こるか分からない！ newtype MyIO a = MyIO { runMyIO :: IO a } deriving (Functor, Monad, MonadIO) main = runMyIO $ do myPutStrLn “Hello, MyWorld!” liftIO $ dirtyDeedsDoneDirtCheap -- D4C 13年6月23日日曜日
- 40. Symantics... 特定のアクションを束ねるよ！ Symanticsは詳しく知らないが.. Symantcs = Syntax + Semantics 13年6月23日日曜日
- 41. SymanticsとIO 結局副作用にはIOモナドが要る 注：元々SymanticsはIOをなんとかするものではない composedAction :: Monad m => Database m -> m () composedAction db = do insert db "foo" insert db "bar" dirtyDeedsDoneDirtCheap -- D4C http://mizondev.net/d/20130420 13年6月23日日曜日
- 44. Free Monad as a Limited IO! Freeを制限されたIOとして使う 安全！ ゆるふわ！ D4Cから守られたコンテクスト！ モナド！ お馴染みの書き方で書ける 13年6月23日日曜日