
èªåæ¹ææ©ã®éè³è¨ç®ããã°ã©ã ã¯ããã«ãããã°ããã¦ããã®ãï¼ 10ã®40ä¹ã¨ããéè³ãã¿ã¼ã³ã®ãã¹ãæ¹æ³ãéçºè ã解説ï¼åç·¨ï¼ ãµã ã使°ãªã使ã£ã¦ããééãæ¹æãéããã¨ãã«ICã«ã¼ããèªåæ¹æã«ãããã¨ãããããã¨ããé³ã¨å ±ã«ä¸ç¬ã®ãã¡ã«éè³ãè¨ç®ãã¦ããã¾ããããã©ãè¤æ°ã®è·¯ç·ãä¹ãç¶ãã ããéä¸ã§å®æå¸åºéãæã¾ã£ã¦ãããã¨ãæ³åããã ãã§ãããã«ã¯è¨å¤§ãªçµã¿åãããããã¾ããããã§ãéè³è¨ç®ããã°ã©ã ã¯ãããä¸ç¬ã§æ£ããéè³è¨ç®ãæ±ãããããã°ããã£ãã社ä¼çãªä¸å¤§äºã«ãã¤ãªããããã¾ããã ççºçãªè¨ç®çµæã®çµã¿åãããããã¯ãã®éè³è¨ç®ããã°ã©ã ã¯ãã©ããã£ã¦ãããã°ãããå質ãç¶æãã¦ããã®ã§ããããï¼ 9æ12æ¥ãã14æ¥ã®ããã ãæ±æ´å¤§å¦ ç½å±±ãã£ã³ãã¹ã§éå¬ãããæ¥æ¬ç§å¦æè¡é£ç主å¬ã®ãã½ããã¦ã§ã¢å質ã·ã³ãã¸ã¦ã 2012ãããªã ãã³ã½ã¼ã·ã¢ã«ã½ãªã¥ã¼ã·ã§ã³ãº 幡
ãã®ããHaskellã®ãã¼ã«ãã§ã¤ã³ã¨C++ç°ä¸è±è¡ <tanakh@preferred.jp> PFIã»ããã¼ 2012/07/19 èªå·±ç´¹ä»ç°ä¸è±è¡, @tanakh, http://tanakh.jp PFIã§åãããã°ã©ã Haskellæå¥½å®¶ æè¨³ããããHaskellãã®ããå¦ã¼ã! ãçºå£²ä¸ æ¬æ¥ã®æ¦è¦ã½ããã¦ã§ã¢ãã¹ããåãå·»ãç°å¢ C/C++ã®ã³ã¼ããQuickCheckãã C/C++ã®ã³ã¼ããCriterionã§ããã©ã¼ãã³ã¹æ¸¬å®ãã ãã¹ãé§åéçºNot enough! http://blog.fogus.me/2012/06/20/not-enough/ http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html Static typing is not enough!
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}