こんばんは。yharaです。メリークリスマス!本記事は言語実装 Advent Calendar 2021最終日の記事です。昨日は@sisshiki1969さんのrurubyのガベージコレクタとアロケータでした。 Shiikaの2021年 Shiikaは私が作っている静的型付け言語です。今年はenum、パターンマッチ、Maybe型といろいろ機能を足しました。来年はModuleと型推論をやる予定で、そこまでできると当初考えていた言語仕様が一通り揃います。いやー楽しみですね。はやくShiikaで実用的なプログラムを書きたい。 全てがオブジェクト ShiikaはRubyの影響を強く受けており、Rubyの﹁手触り﹂を静的型言語で再現できないか?というのを考えています。その一環として、Rubyのもつ﹁全てがオブジェクト﹂という特徴を受け継いでいます。 Rubyでは全ての値がオブジェクトで、たとえば整数
![Shiikaの型システム - メタクラスとジェネリクス](https://cdn-ak-scissors.b.st-hatena.com/image/square/d1e075faae782934103f3f76624f2821a6eee8a3/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--0flWt8pk--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3AShiika%2525E3%252581%2525AE%2525E5%25259E%25258B%2525E3%252582%2525B7%2525E3%252582%2525B9%2525E3%252583%252586%2525E3%252583%2525A0%252520-%252520%2525E3%252583%2525A1%2525E3%252582%2525BF%2525E3%252582%2525AF%2525E3%252583%2525A9%2525E3%252582%2525B9%2525E3%252581%2525A8%2525E3%252582%2525B8%2525E3%252582%2525A7%2525E3%252583%25258D%2525E3%252583%2525AA%2525E3%252582%2525AF%2525E3%252582%2525B9%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3Ayhara%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzNmYzk0MGQ3MTguanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)