Partial Function Considered Harmful - 純粋関数空間ã“ã®è¨˜äº‹ã¯ã€Haskell Advent Calendar 2011 25日目ã®è¨˜äº‹ã¨ã—ã¦æ›¸ã‹ã‚Œã¾ã—ãŸã€‚ æ¦‚è¦ Haskellã€ã‚ã‚‹ã„ã¯ãã®ä»–ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ 「部分関数(Partial Function)〠ã¨å‘¼ã°ã‚Œã‚‹ã‚‚ã®ãŒæ¨™æº–ライブラリã«å˜åœ¨ã—ãŸã‚Šã€ 定義ã—ãŸã‚Šã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ 今回ã¯ãれらãŒæœ‰å®³ã§ã‚ã‚‹ã¨ã„ã†è€ƒãˆã¨ã€ 代替ã®ç´¹ä»‹ã‚’ã—よã†ã¨æ€ã„ã¾ã™ã€‚ 部分関数ã¨ã¯ 部分関数(Partial Function)ã¨ã¯ã€ 集åˆã®è¨€è‘‰ã§è¨€ã†ã¨ã€ 定義域(domain)ã®è¦ç´ ã«å¯¾ã—ã¦ã€å€¤åŸŸ(range)ã®å€¤ãŒé«˜ã€…1ã¤å¯¾å¿œä»˜ã‘られる よã†ãªå¯¾å¿œä»˜ã‘ã®ã“ã¨ã§ã™ã€‚ Haskellã§ã¯ 「çµæžœã®å€¤ãŒå¼•æ•°ã«ã‚ˆã£ã¦ã¯å®šç¾©ã•ã‚Œãªã„ã“ã¨ãŒã‚り得る〠関数ã ã¨è¨€ãˆã¾ã™ã€‚ 例ãˆã°ã€æ•´æ•°ã®å‰²ã‚Šç®—ã‚’è¡Œã†é–¢æ•° div :: (Int, Int) -> Int ã¯ã€ (1, 0) ã«å¯¾ã—ã¦ã¯å®šç¾©ã•ã‚Œã¾ã›ã‚“。 Ha
Haskell ã§ã®ãƒ‡ãƒãƒƒã‚° - ã‚ã©ã‘ãªã„話
関数型言語を採用ã™ã‚‹ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆãŒå¢—åŠ ã€æžœãŸã—ã¦æœ¬å½“ã«é–‹ç™ºåŠ¹çŽ‡ã¯é«˜ã„ã®ã‹ï¼Ÿ | スラド デベãƒãƒƒãƒ‘ー
Rubyã«ã‚ˆã‚‹é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
Mizon Dev Diary | 2012-12
Haskell ã§ã®ä¾‹å¤–å‡¦ç† - ã‚ã©ã‘ãªã„話
Haskell ã® read 関数ã§ã€æ–‡å—列ã‹ã‚‰ä»£æ•°çš„データ型ã¸å¤‰æ› - 導出インスタンスを使ã£ã¦
例題ã§æ¯”較ã™ã‚‹çŠ¶æ…‹ç³»ã®ãƒ¢ãƒŠãƒ‰ - ã‚ã©ã‘ãªã„話
Haskellã®å˜ä½“テスト最å‰ç·š - ã‚ã©ã‘ãªã„話
ãªãœConduitãªã®ã‹ï¼Ÿ - ã‚ã©ã‘ãªã„話
Conduitã¨Haskellã§ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ãƒ—ãƒã‚シサーãƒã‚’作る - 純粋関数空間
IBM Developer
Data Structures
Haskellã§ãƒ¬ã‚¤ãƒˆãƒ¬ãƒ¼ã‚·ãƒ³ã‚°ï¼ˆç¬¬ï¼’回）〜ループã¯ä½¿ã‚ãªã„
ループã‚ã‚Œã“ã‚Œ | tnomuraã®ãƒ–ãƒã‚°
「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã¯programmingã‹ã€programingã‹
HackerIncubator - オープンソースマガジン連載「ãƒãƒƒã‚«ãƒ¼é¤Šæˆå¡¾ã€ãƒªãƒ³ã‚¯é›†
ã²ã’ã½ã‚“ OSã¨ã‹ä½œã£ã¡ã‚ƒã†ã‹Mona- - ãƒãƒƒã‚«ãƒ¼é¤Šæˆå¡¾:ãƒãƒƒã‚«ãƒ¼ã¸ã®é 回り
サービス終了ã®ãŠçŸ¥ã‚‰ã› - NAVER ã¾ã¨ã‚
The Typeclassopediaを訳ã—ã¾ã—ãŸ, The Typeclassopedia - #3(2009-10-20)
{{#tags}}- {{label}}
{{/tags}}