{"title":"\u300e\u5b9f\u8df5\u30d7\u30ed\u30d1\u30c6\u30a3\u30d9\u30fc\u30b9\u30c6\u30b9\u30c8\u300f\u306e\u4f8b\u984c\u3092Scala\u3067\u89e3\u3044\u3066\u3044\u304f \u305d\u306e2","author_url":"https://blog.hatena.ne.jp/magnoliak/","description":"blog.magnolia.tech \u524d\u56de\u306b\u7d9a\u3044\u3066\u3001ScalaCheck\u306b\u3088\u308b\u30d7\u30ed\u30d1\u30c6\u30a3\u30d9\u30fc\u30b9\u30c6\u30b9\u30c8\u3092\u66f8\u3044\u3066\u3044\u304d\u307e\u3059\u3002 \u5931\u6557\u3059\u308b\u30c6\u30b9\u30c8\u3092\u66f8\u304f \u5f53\u7136\u3059\u3079\u3066\u306e\u30c6\u30b9\u30c8\u304c\u4e00\u5ea6\u3067\u6210\u529f\u3059\u308b\u3053\u3068\u306f\u6709\u308a\u307e\u305b\u3093\uff08\u4e00\u767a\u3067\u5b8c\u74a7\u306a\u30b3\u30fc\u30c9\u304c\u66f8\u3051\u308b\u306a\u3089\u3001\u305d\u3082\u305d\u3082\u30c6\u30b9\u30c8\u66f8\u304b\u306a\u304f\u3066\u3088\u304f\u306a\u3063\u3066\u3057\u307e\u3044\u307e\u3059\uff09\u3002 ScalaCheck\u3067\u30c6\u30b9\u30c8\u304c\u5931\u6557\u3059\u308b\u3068\u3069\u3046\u306a\u308b\u304b\u898b\u3066\u307f\u307e\u3059\u3002 \u307e\u305a\u306f\u3001\u7b2c2\u7ae0\u306e\u4f8b\u306b\u5023\u3063\u3066\u3001\u30c6\u30b9\u30c8\u304c\u5931\u6557\u3059\u308b\u30b3\u30fc\u30c9\u3092\u66f8\u304d\u307e\u3059\u3002 def biggest[A](list: List[A]): A = list.head \u5fc5\u305a\u5148\u982d\u306e\u8981\u7d20\u3092\u6700\u5927\u3068\u3057\u3066\u8fd4\u5374\u3057\u3066\u3044\u308b\u306e\u3067\u3001\u3044\u304b\u306b\u3082\u5931\u6557\u3057\u305d\u3046\u3067\u3059\u3002 \u5bfe\u5fdc\u3059\u308b\u30c6\u30b9\u30c8\u30b3\u30fc\u30c9\u3092\u7528\u610f\u3057\u307e\u3059\u3002\u6a19\u2026","provider_url":"https://hatena.blog","url":"https://blog.magnolia.tech/entry/2023/12/27/150311","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.magnolia.tech%2Fentry%2F2023%2F12%2F27%2F150311\" title=\"\u300e\u5b9f\u8df5\u30d7\u30ed\u30d1\u30c6\u30a3\u30d9\u30fc\u30b9\u30c6\u30b9\u30c8\u300f\u306e\u4f8b\u984c\u3092Scala\u3067\u89e3\u3044\u3066\u3044\u304f \u305d\u306e2 - Magnolia Tech\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"Magnolia Tech","type":"rich","image_url":null,"blog_url":"https://blog.magnolia.tech/","height":"190","categories":[],"provider_name":"Hatena Blog","width":"100%","version":"1.0","published":"2023-12-27 15:03:11","author_name":"magnoliak"}