{"height":"190","author_url":"https://blog.hatena.ne.jp/mzp/","image_url":null,"width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20090409%2Frefactor\" title=\"QuickCheck\u3067\u30ea\u30d5\u30a1\u30af\u30bf\u30ea\u30f3\u30b0 - \u307f\u305a\u3074\u30fc\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2009-04-09 00:00:01","description":"30\u5206\u30d7\u30ed\u30b0\u30e9\u30e0\u3001\u305d\u306e562\u3002QuickCheck\u3067\u30ea\u30d5\u30a1\u30af\u30bf\u30ea\u30f3\u30b0\u3002 \u3061\u3087\u3063\u3068\u524d\u306b\u3001Haskell\u4f7f\u3044\u306eid:zyxwv\u304c\u300cQuickCheck\u306f\u30ea\u30d5\u30a1\u30af\u30bf\u30ea\u30f3\u30b0\u306b\u4f7f\u3046\u3068\u3044\u3044\u3068\u601d\u3046\u3093\u3060\u3002\u30ea\u30d5\u30a1\u30af\u30bf\u30ea\u30f3\u30b0\u524d\u3068\u5f8c\u306e\u95a2\u6570\u306e\u6319\u52d5\u540c\u3058\u304b\u30c1\u30a7\u30c3\u30af\u3067\u304d\u308b\u304b\u3089\u300d\u3068\u8a00\u3063\u3066\u3044\u305f\u3053\u3068\u3092\u5510\u7a81\u306b\u601d\u3044\u51fa\u3057\u305f\u3002 \u3068\u3044\u3046\u308f\u3051\u3067\u3084\u3063\u3066\u307f\u3088\u3046\u3002 \u307e\u305a\u306f\u5143\u306e\u95a2\u6570 \u307e\u305a\u306f\u5143\u306e\u95a2\u6570\u3092\u66f8\u3044\u3066\u307f\u308b\u3002\u7531\u7dd2\u6b63\u3057\u3044\u968e\u4e57\u8a08\u7b97\u306e\u95a2\u6570\u3002 fact :: Int -> Int fact 0 = 1 fact n = n * fact (n-1) \u53cd\u5fa9\u7684\u306b\u66f8\u304d\u76f4\u3059 \u6b21\u306b\u3001\u53cd\u5fa9\u7684\u306b\u66f8\u304d\u76f4\u3059\u3002\u3053\u308c\u3082\u7531\u7dd2\u6b63\u3057\u3044\u30b3\u30fc\u30c9\u3060\u3068\u601d\u3046\u3002 fact_i 0 n = n \u2026","version":"1.0","author_name":"mzp","provider_name":"Hatena Blog","blog_url":"https://mzp.hatenadiary.org/","blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","provider_url":"https://hatena.blog","categories":["Haskell","30\u5206\u30d7\u30ed\u30b0\u30e9\u30e0"],"title":"QuickCheck\u3067\u30ea\u30d5\u30a1\u30af\u30bf\u30ea\u30f3\u30b0","url":"https://mzp.hatenadiary.org/entry/20090409/refactor","type":"rich"}