Shiikaの型システム - メタクラスとジェネリクスこんばんは。yharaです。メリークリスマス！本記事は言語実装 Advent Calendar 2021最終日の記事です。昨日は@sisshiki1969さんのrurubyのガベージコレクタとアロケータでした。 Shiikaの2021年 Shiikaは私が作っている静的型付け言語です。今年はenum、パターンマッチ、Maybe型といろいろ機能を足しました。来年はModuleと型推論をやる予定で、そこまでできると当初考えていた言語仕様が一通り揃います。いやー楽しみですね。はやくShiikaで実用的なプログラムを書きたい。 全てがオブジェクト ShiikaはRubyの影響を強く受けており、Rubyの「手触り」を静的型言語で再現できないか？というのを考えています。その一環として、Rubyのもつ「全てがオブジェクト」という特徴を受け継いでいます。 Rubyでは全ての値がオブジェクトで、たとえば整数
