Cat は、Joy から派生して出来た言語です。型推論の機能を持っているのが特徴です。活発に開発が続けられているようですので試してみました。 インストール Cat 言語は C# で書かれており、Windows 向けに msi インストーラが用意されています。http://cat-l…