関数型Scalaã¨ã„ã†å‹‰å¼·ä¼šã§property based testingã«ã¤ã„ã¦è©±ã‚’ã—㟠- xuwei-k's blogScalaã®å‹‰å¼·ä¼šã§åŠåˆ†ãらã„Haskellã®è©±ã—ã¦ã™ã„ã¾ã›ã‚“ã§ã—ãŸã€‚ http://xuwei-k.github.io/slides/scalaprops/ http://connpass.com/event/16052/ http://togetter.com/li/852254 資料ã¯ã‚Šãã£ã¦é ‘張りéŽãŽãŸã‚‰ã¨ã¦ã‚‚é•·ããªã‚Šã¾ã—ãŸ(150ページ超ãˆãŸ) 今ã¾ã§ã§ä¸€ç•ªé ‘å¼µã£ãŸã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。ã“ã“åŠå¹´ãらã„ã®æˆæžœã‚’全部詰ã‚込んã æ„Ÿã˜ã§ã™ã€‚ ã‚ã¨ã§è³‡æ–™ã¨ã—ã¦èªã‚“ã§ç†è§£ã—ã¦ã‚‚らã†ã“ã¨å‰æã§è‰²ã€…è©°ã‚込んã ã®ã§ã€1年後ã§ã‚‚2年後ã§ã‚‚ã€èˆˆå‘³ã®ã‚る人ãŒè¦‹ã¦æœ‰ç”¨ãªè³‡æ–™ã«ãªã‚Œã°ã„ã„ã§ã™ã・・・。 ã¨ã“ã‚ã§ã€ã‚¹ãƒ©ã‚¤ãƒ‰ä½œã‚‹ã®ã«ã€ä»Šå›žã‹ã‚‰ remark ã¨ã„ã†ã‚„ã¤ä½¿ã„ã¾ã—㟠https://github.com/gnab/remark markdownã§æ›¸ã‘㦠コードã®ã‚·ãƒ³ã‚¿ãƒƒã‚¯ã‚¹ãƒã‚¤ãƒ©ã‚¤ãƒˆåŠ¹ã„㦠ページ数表示ã¨
An introduction to QuickCheck with number theory and red-black trees
{{#tags}}- {{label}}
{{/tags}}