第25回　Haskellæµã®ä¾‹å¤–処ç†ã‚’å¦ã¶
Haskellã®é™çš„ãªåž‹æ¤œæŸ»ã¯å¼·åŠ›ã§ã™ãŒï¼Œãƒ—ãƒã‚°ãƒ©ãƒ ã®å®Ÿè¡Œæ™‚ã«èµ·ã“ã‚Šå¾—ã‚‹ã™ã¹ã¦ã®å•é¡Œã‚’解決ã§ãã‚‹ã‚ã‘ã§ã¯ã‚ã‚Šã¾ã›ã‚“。例ãˆã°ç¬¬5回ã§æŒ‡æ‘˜ã—ãŸã‚ˆã†ã«ï¼Œä¾å˜åž‹ã‚’æŒãŸãªã„ç¾åœ¨ã®æ¨™æº–Haskellã§ã¯ï¼Œæ¤œè¨¼ã§ãã‚‹å•é¡Œã®ç¯„囲ã«é™ç•ŒãŒã‚ã‚Šã¾ã™ã€‚ã¾ãŸï¼ŒFFIを使ã£ã¦å‘¼ã³å‡ºã™å¤–部関数ã«ã¯ï¼ŒHaskellã®åž‹æ¤œæŸ»ã¯è¡Œã届ãã¾ã›ã‚“。実行å‰ã«é™çš„ã«è§£æ±ºã§ããªã„å•é¡Œã¯ï¼Œå®Ÿè¡Œæ™‚ã«å‹•çš„ã«è§£æ±ºã™ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ã“ã®ãŸã‚ã®æ‰‹æ®µã‚’æä¾›ã™ã‚‹ã®ãŒä¾‹å¤–処ç†ã§ã™ã€‚ 例外処ç†ã«ã¤ã„ã¦ã¯ï¼Œã“ã‚Œã¾ã§ä½•åº¦ã‹æ–片的ã«èª¬æ˜Žã—ã¾ã—ãŸãŒï¼Œå…¨ä½“åƒã‚’ã¾ã¨ã‚ã¦è§£èª¬ã—ãŸã“ã¨ã¯ã‚ã‚Šã¾ã›ã‚“ã§ã—ãŸã€‚次回以é™ã«FFIã¨ä¾‹å¤–処ç†ã¨ã®é–¢ä¿‚ã«ã¤ã„ã¦èª¬æ˜Žã™ã‚‹å‰ã«ï¼Œä»Šå›žã¯Haskellã®ä¾‹å¤–処ç†ã«ã¤ã„ã¦ãã¡ã‚“ã¨èª¬æ˜Žã—ã¦ãŠãã¾ã—ょã†ã€‚ 例外処ç†ã®ä»•çµ„ã¿ã¯ï¼ŒGHC 6.10ã«åŽéŒ²ã•ã‚Œã‚‹base 4.0パッケージ以é™ã§å¤§ãã変更ã•ã‚Œã¾ã™ã€‚baseパッケージã¯ãƒ‡ãƒ•ã‚¡ã‚¯ãƒˆãƒ»ã‚¹ã‚¿ãƒ³ãƒ€
Haskellã§ã®ä¾‹å¤–処ç†(ãã®2) - ã‚ã©ã‘ãªã„話
Haskell ã§ã®ä¾‹å¤–処ç†ã®ç¶šã。今日ã¯ä¾‹å¤–を投ã’ã‚‹ã‚ˆï¼ throwIO IO ã®ä¸ã§ã€ä¾‹å¤–を投ã’ã‚‹ã«ã¯ throwIO を使ã„ã¾ã™ã€‚ throwIO :: Exception e => e -> IO a Exception型クラスã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã‚’渡ã›ã°ã‚ˆã•ãã†ã§ã™ã€‚Control.Exceptionã®ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã‚’èªã‚€ã¨ã€Exception型クラスã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã¨ã—ã¦ã€IOException ã‚„ ArithException ãŒã‚ã‚‹ã®ãŒåˆ†ã‹ã‚Šã¾ã™ã€‚ ã“ã®ä¸ã‹ã‚‰ã€ãƒ‡ãƒ¼ã‚¿æ§‹æˆåãŒå…¬é–‹ã•ã‚Œã¦ã„ã‚‹ã‚‚ã®ã‚’探ã—ã¦ã¿ã¾ã—ょã†ã€‚ArithException ã¯ã€ãƒ‡ãƒ¼ã‚¿æ§‹æˆåを公開ã—ã¦ã„ã¾ã™ã。ãã®ä¸€ã¤ã§ã‚ã‚‹ã€Overflow ã¨ã„ã†ä¾‹å¤–を投ã’ã¦ã¿ã¾ã—ょã†ã€‚ > :m Control.Exception Control.Exception> throwIO Overflow *** Exception:
Haskell ã§ã®ä¾‹å¤–å‡¦ç† - ã‚ã©ã‘ãªã„話
リツイート数ãŒ30を超ãˆãŸã®ã§ã€Haskell ã§ã®ä¾‹å¤–処ç†ã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚僕ãŒæ€ã†ã«ã€Haskell ã§ã®ä¾‹å¤–処ç†ãŒåˆ†ã‹ã‚Šã«ãã„ã®ã«ã¯ã€2ã¤ç†ç”±ãŒã‚ã‚Šã¾ã™ã€‚ ライブラリã®æ··ä¹± パラダイムã®é•ã„ æ´å²çš„経緯ã«ã‚ˆã‚Šã€Prelude ã«ã‚‚ Control.OldException ã«ã‚‚ Control.Exception ã«ã‚‚ catch ãŒã‚ã‚Šã¾ã™ã€‚æ´å²çš„経緯を説明ã™ã‚‹ã®ã¯é¢å€’ãªã®ã§ã€ã“ã‚Œã ã‘覚ãˆã¦ä¸‹ã•ã„。「Control.Exception ã ã‘を使ã£ã¦ã€ãれ以外ã¯å¿˜ã‚Œã‚‹ã€ ãã‚‚ãも純粋関数型㧠catch ã¨ã‹è¨€ã‚ã‚Œã¦ã‚‚分ã‹ã‚‰ãªã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。Haskell ã§ã¯ã€ç´”粋ãªé–¢æ•°ã¨ IO ã¨ã§ã¯ã€ä¾‹å¤–処ç†ã®æ–¹æ³•ãŒç•°ãªã‚Šã¾ã™ã€‚命令的㪠catch ãªã©ã‚’使ã†ã®ã¯ IO ã§ã™ã€‚純粋ãªé–¢æ•°ã«ã¯ Maybe ã‹ã€Either を使ã„ã¾ã™ã€‚ 純粋ãªé–¢æ•° 純粋ãªé–¢æ•°ã§ã¯ã€åŽŸå‰‡ã¨ã—ã¦ä¾‹å¤–を投ã’ã¦ã¯ã„
Haskellã§ã®ã‚¨ãƒ©ãƒ¼ã®æ‰±ã„方。ã‚ã‚‹ã„ã¯Applicative, Monadç‰ã¨liftãŒå¤šããªã‚‹ã“ã¨ã«ã¤ã„ã¦ã®è€ƒãˆã€‚
@tanakh 師㨠@nushio ã«ã‚ˆã‚‹ä¼šè©±ã‚’横ã‹ã‚‰ãƒ¡ãƒ¢ã—ãŸã‚‚ã®ã€‚ - Haskellã§ã¯ã‚¨ãƒ©ãƒ¼ã¯åž‹ã«è¿½ã„出ã™ã®ãŒæ£æ”»æ³•ã€‚Pureãªè¨ˆç®—ã‹ã‚‰ErrorãŒé£›ã³å‡ºã¦ãã‚‹ã®ã¯å¯¾å‡¦ã—よã†ãŒãªã„ã®ã§é¿ã‘ã‚‹ã¹ã。 - åž‹ã«è¿½ã„ã ã™ã¨æœ€çµ‚çš„ã«ã™ã¹ã¦ã®æ“作ãŒä¾‹ãˆã°Monadã®ä¸ã§è¡Œã‚れるã“ã¨ã«ãªã‚‹ã€‚ãれをã©ã†è€ƒãˆã‚‹ã‹ã€‚ 続ãã‚’èªã‚€
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 : catch ã§ããªã„å“€ã—ã¿
å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”較ã«ã¤ã„㦠BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト å‰å›žã¾ã§ã§ï¼Œã»ã¼ TDD BDD ã®åŸºæœ¬ã¯æ›¸ã„ãŸã®ã ã‘ã©ï¼Œä»Šå›žã¯ä¾‹å¤–ã«ã¤ã„ã¦ï¼Ž Haskell ã®ä¾‹å¤–処ç†Haskell も普通ã®è¨€èªžã‚ˆã‚ã—ã，例外処ç†ã¯ throw try catch 使ãˆã‚‹ï¼Žã‘れ㩠IO ãŒçµ¡ã‚“ã§ãã‚‹å ´åˆã§ãªã„ã¨ã‚ã¾ã‚Šæœ‰ç”¨ã§ã¯ãªã„å°è±¡ï¼Ž throw try catchHaskell ã® try catch throw finally 㯠Control.Exception モジュールã§å®šç¾©ã•ã‚Œ
Haskellã®ã‚¨ãƒ©ãƒ¼å‡¦ç†ã¨MonadCatchIOã®è½ã¨ã—ç©´ - 純粋関数型雑記帳
（ã“ã®è¨˜äº‹ã¯Haskell Advent Calendar jp 2010ã®ãŸã‚ã«æ›¸ã‹ã‚Œã¾ã—ãŸï¼‰ Haskellã§ã¯ã‚¨ãƒ©ãƒ¼å‡¦ç†ã«ä¾‹å¤–ãŒç”¨ã„られã¾ã™ï¼ˆMaybeモナドやErrorモナドも用ã„られã¾ã™ãŒã€ã“ã“ã§ã¯ä¾‹å¤–ã«ç„¦ç‚¹ã‚’ã‚ã¦ã¾ã™ï¼‰ã€‚ 例外インターフェースã®è©± Haskellã«ã‚‚ã€ä¾‹å¤–を扱ã†ãŸã‚ã«try, catch, finallyãªã©ãŒç”¨æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚ä»–ã®å¤šãã®è¨€èªžã§ã¯ã“れらã¯æ§‹æ–‡ã¨ã—ã¦ç”¨æ„ã•ã‚Œã¾ã™ãŒã€Haskellã§ã¯IOモナドを引数ã«ã¨ã‚‹é–¢æ•°ã«ãªã£ã¦ã„ã¾ã™ã€‚ try :: Exception e => IO a -> IO (Either e a) catch :: Exception e => IO a -> (e -> IO a) -> IO a finally :: IO a -> IO b -> IO a tryã¯IOアクションを引数ã«ã¨ã‚Šã€ãれを実行ã—ãŸçµæžœãŒæ£å¸¸ã«å€¤ã‚’è¿”
Haskellã§try/throw/catch/finally - ã‚ã©ã‘ãªã„話
Haskellã§å®Ÿè£…ã™ã‚‹é–¢æ•°ã®å¤šãã§ã¯ã€ã„ã‚ゆる Java ã® try/throw/catch/finally ã¯å¿…è¦ã«ãªã‚Šã¾ã›ã‚“。ã—ã‹ã—ã€IO ãŒçµ¡ã‚“ã§ãã‚‹ã¨è©±ã¯åˆ¥ã§ã™ã€‚異常ãªçŠ¶æ…‹ã«é™¥ã£ãŸã‚‰ã€throw ã—ã¦ãƒˆãƒƒãƒ—レベルã«æˆ»ã‚‹æ–¹ãŒã€ã‚³ãƒ¼ãƒ‰ãŒã™ã£ãり書ã‘ã‚‹å ´åˆãŒã‚ã‚Šã¾ã™ã€‚ Java ã§è¨€ã† try/catch Haskellを勉強ã—ã¦ã„ã‚‹ã¨ã€ã™ãã«catchãŒè¦‹ä»˜ã‹ã‚Šã¾ã™ã€‚catch ã¯ãƒ—レリュードã§å®šç¾©ã•ã‚Œã¦ã„ã¦ã€ä»¥ä¸‹ã®ã‚ˆã†ãªåž‹ã‚’æŒã£ã¦ã„ã¾ã™ã€‚ catch :: IO a -> (IOError -> IO a) -> IO a 第一引数ã®ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ã®ä¸ã§ä¾‹å¤–ãŒç”Ÿã˜ã‚‹ã¨ã€ç¬¬äºŒå¼•æ•°ã®é–¢æ•°ãŒè£œè¶³ã—ã¾ã™ã€‚ã¤ã¾ã‚Šã€ç¬¬äºŒå¼•æ•°ãŒ Java ã§ã„ㆠcatch ブãƒãƒƒã‚¯ã«ã‚ãŸã‚Šã¾ã™ã€‚ã“ã†ã„ã†é¢¨ã«ä½¿ã„ã¾ã™ã€‚ catch 何らã‹ã®ã‚¢ã‚¯ã‚·ãƒ§ãƒ³ (\e -> 何らã‹ã®ä¾‹å¤–処ç†) 昔 Monadius ã‚’èªã‚“ã
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Control.Exception
{{#tags}}- {{label}}
{{/tags}}