{"version":"1.0","width":"100%","provider_name":"Hatena Blog","image_url":null,"categories":["Programming","Scala"],"type":"rich","blog_url":"https://c4se.hatenablog.com/","published":"2023-12-22 00:19:04","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/Kureduki_Maari/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fc4se.hatenablog.com%2Fentry%2F2023%2F12%2F22%2F001904\" title=\"path \u4f9d\u5b58\u578b\u3063\u3066\u4f55? \u8abf\u3079\u3066\u307f\u307e\u3057\u305f! - c4se\u8a18\uff1a\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u2606\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":"path \u4f9d\u5b58\u578b\u3063\u3066\u4f55? \u8abf\u3079\u3066\u307f\u307e\u3057\u305f!","blog_title":"c4se\u8a18\uff1a\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u2606","description":"qiita.com\u306e 12/21 \u3067\u3059\u3002 \u5148\u65e5\ufa4c\u5185\u306e\ufa33\u5f37\u6703\u3067 Tour of Scala \u3092\u898b\u8fd4\u3057\u3066\u3090\u305f\u3089\u300cpath \u4f9d\u5b58\u578b\u300d\u3068\u4e91\u3075\u6587\u8a00\u3092\u898b\u3066\u3001\u540d\u524d\u3057\u304b\u77e5\u3089\u3093\u306a\u3068\u601d\u3072\u8fd4\u3057\u307e\u3057\u305f\u3002\u305d\u3053\u3067 path \u4f9d\u5b58\u578b\u3063\u3066\u4f55? \u3069\u3093\u306a\u3082\u306e? \u5e74\u9f61\u306f? \u7d50\u5a5a\u3057\u3066\u308b? \u8abf\u3079\u3066\u307f\u307e\u3057\u305f! speakerdeck.com scrapbox.io type selection path \u4f9d\u5b58\u578b (path-dependent type) \u306f\u3001Scala \u306e\u5be6\u88dd\ufa5b\u9054\u306b\u3088\u308b\u8ad6\u6587Nada Amin, Tiark Rompf, and Martin Odersky. 2014. Foundations of path-depe\u2026","height":"190","url":"https://c4se.hatenablog.com/entry/2023/12/22/001904","author_name":"Kureduki_Maari"}