{"provider_name":"Hatena Blog","blog_url":"https://lranran123.hatenadiary.org/","blog_title":"\u8da3\u5473\u30d7\u30ed\u30b0\u30e9\u30de\u304c\u307e\u308c\u306b\u306a\u3093\u304b\u3057\u305f\u3053\u3068\u306e\u8a18\u9332","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Flranran123.hatenadiary.org%2Fentry%2F20150514%2F1431562692\" title=\"\u5171\u5909\u3068\u304b\u53cd\u5909\u3068\u304b\u308f\u304b\u3089\u306a\u3044\u306e\u3067\u8e93\u3044\u3066\u3044\u308b - \u8da3\u5473\u30d7\u30ed\u30b0\u30e9\u30de\u304c\u307e\u308c\u306b\u306a\u3093\u304b\u3057\u305f\u3053\u3068\u306e\u8a18\u9332\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","version":"1.0","categories":["Scala","\u56f0\u3063\u305f"],"url":"https://lranran123.hatenadiary.org/entry/20150514/1431562692","title":"\u5171\u5909\u3068\u304b\u53cd\u5909\u3068\u304b\u308f\u304b\u3089\u306a\u3044\u306e\u3067\u8e93\u3044\u3066\u3044\u308b","author_name":"lranran123","provider_url":"https://hatena.blog","description":"\u3053\u3093\u306a\u30af\u30e9\u30b9\u3092\u4f5c\u3063\u3066\u307f\u305f scala> case class K[A](l:List[A]) \u305d\u3057\u3066\u3053\u3093\u306a\u95a2\u6570\u3092\u4f5c\u3063\u3066\u307f\u308b\u3002\u3057\u304b\u3057\u5b9f\u884c\u3057\u3066\u307f\u308b\u3068\u3046\u307e\u304f\u3044\u304b\u306a\u3044\u3002 scala> def returnK(a:A):K[A] = K[A](List(a)) returnK: (a: A)K[A] scala> returnK(1) <console>:15: error: type mismatch; found : Int(1) required: A returnK(1) ~ \u3053\u306e\u5834\u5408\u306f\u3001\u5f15\u6570\u306e\u578b\u304c\u4e88\u3081\u308f\u304b\u3063\u3066\u308b\u306e\u3067\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3059\u308c\u3070\u3046\u307e\u304f\u3044\u304f\u3002 scala> def returnK[A](a\u2026","type":"rich","height":"190","published":"2015-05-14 09:18:12","author_url":"https://blog.hatena.ne.jp/lranran123/","width":"100%"}