{"provider_url":"https://hatena.blog","type":"rich","title":"Mac \u304b\u3064 VSCode \u3067 Idris \u306e\u74b0\u5883\u69cb\u7bc9\u3092\u3059\u308b","version":"1.0","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/y/yuk1tyd/20201202/20201202114631.png","published":"2020-12-03 00:00:00","author_url":"https://blog.hatena.ne.jp/yuk1tyd/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog-dry.com%2Fentry%2F2020%2F12%2F03%2F000000\" title=\"Mac \u304b\u3064 VSCode \u3067 Idris \u306e\u74b0\u5883\u69cb\u7bc9\u3092\u3059\u308b - Don&#39;t Repeat Yourself\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","width":"100%","blog_title":"Don't Repeat Yourself","url":"https://blog-dry.com/entry/2020/12/03/000000","blog_url":"https://blog-dry.com/","provider_name":"Hatena Blog","categories":[],"height":"190","author_name":"yuk1tyd","description":"Idris Advent Calendar 2020 3\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059\u3002 2020\u5e74\u4eca\u5e74\u306e\u8a00\u8a9e\u306b Idris \u3092\u9078\u3093\u3067\u5e74\u59cb\u306b Hello, World \u3057\u3066\u3044\u305f\u306e\u3067\u3059\u304c\u3001\u898b\u4e8b\u306b\u305d\u306e\u5f8c Python \u3092\u3057\u3066\u3044\u305f1\u5e74\u3067\u3057\u305f\uff08\u4ed5\u4e8b\u3067\u4f7f\u3046\u3053\u3068\u306b\u306a\u3063\u305f\u306e\u3067 Python \u3092\u899a\u3048\u308b\u5fc5\u8981\u304c\u51fa\u3066\u304d\u307e\u3057\u305f\uff09\u3002 \u5b8c\u5168\u306b Idris \u306f\u521d\u5fc3\u8005\u3067\u3059\u304c\u3001Idris \u697d\u3057\u3093\u3067\u3044\u304d\u305f\u3044\u3068\u601d\u3044\u307e\u3059\uff01 \u4eca\u56de\u306f Mac \u30e6\u30fc\u30b6\u30fc\u5411\u3051\u306b Idris \u306e\u958b\u767a\u74b0\u5883\u69cb\u7bc9\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002 Idris \u3068\u306f \u74b0\u5883 Idris \u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3092\u3059\u308b Idris \u81ea\u4f53\u3092\u5165\u308c\u308b cabal \u3092\u5165\u308c\u308b VSCode \u306e Extension \u3092\u5165\u308c\u308b \u2026"}