Haskellã§ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ¬ã‚·ãƒ” - ã‚ã©ã‘ãªã„話ãŠèŒ¶ã®æ°´å¥³åå¤§å¦ ç†å¦éƒ¨ æƒ…å ±ç§‘å¦ç§‘ 准教授 浅井å¥ä¸€ã•ã‚“インタビューをèªã‚“ã§ã€æ€ã„出ã—ã ã®ã§æ›¸ã„ã¦ãŠãã¾ã™ã€‚ デザインレシピを使ã£ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’実践ã™ã‚‹ãªã‚‰ Haskell ãŒæœ€é©ã§ã™ã€‚以下ã«ç°¡å˜ãªä¾‹ã‚’示ã—ã¾ã™ã€‚ 目的 作æˆã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ãŒä½•ã‚’ã™ã‚‹ã®ã‹ã‚’考ãˆã‚‹ã€‚何をå—ã‘å–り何を返ã™ã®ã‹ã‚’特定ã—ã€ãれをもã¨ã«ãƒ—ãƒã‚°ãƒ©ãƒ ã®ãƒ˜ãƒƒãƒ€ã‚’作æˆã™ã‚‹ã€‚ 例ã¨ã—ã¦ã€æ•°å—ã®æ–‡å—列をå–ã‚Šæ•´æ•°ã‚’è¿”ã™é–¢æ•° stringToInt を考ãˆã¾ã—ょã†ã€‚ã¾ãšã€é–¢æ•°ã®åž‹æ³¨é‡ˆã‚’書ã„ã¦ã€æœ¬ä½“ã‚’ undefined ã«ã—ã¦ãŠãã¾ã™ã€‚ module Foo where -- | Converting 'String' to 'Int. stringToInt :: String -> Int stringToInt = undefined コンパイルãŒé€šã‚‹ã“ã¨ã‚’確èªã—ã¾ã—ょã†ã€‚ 例 プãƒã‚°ãƒ©ãƒ ã®å‹•ãをより明確ã‹ã¤å…·ä½“çš„ã«ã™ã‚‹ãŸ
第17回　QuickCheckã§ãƒ‡ãƒ¼ã‚¿é§†å‹•åž‹ãƒ†ã‚¹ãƒˆã‚’è¡Œã†
Introduction to QuickCheck2 - HaskellWiki
{{#tags}}- {{label}}
{{/tags}}