a_kawashiro https://blog.hatena.ne.jp/a_kawashiro/ a_kawashiroのブログ https://a-kawashiro.hatenablog.com/ 概要 2018年3月11日から4月14日まで楽天技術研究所でEgisonの型システムの設計 & 型検査器を書くインターンをしていた。 もうインターンから半年も経ってしまったが、何も書かないよりはましというわけでブログ記事を書くことにした。 実装した型検査器はここにある。 まだまだ不完全ではあるが、一応動くのでよかったら試してみてほしい。 Egisonとは Egisonとは江木さんという方が開発しているLisp likeなプログラミング言語で、非常に強力なパターンマッチ機構を持つ言語である。 江木さんは2007年からほぼ一人でEgisonを開発し続けており、その歴史はここで見ることができる。 最… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fa-kawashiro.hatenablog.com%2Fentry%2F2018%2F09%2F22%2F072507" title="プログラミング言語Egisonの型システムを設計するインターンをした - a_kawashiroのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/a/a_kawashiro/20180403/20180403122554.jpg Hatena Blog https://hatena.blog 2018-09-22 07:25:07 rich https://a-kawashiro.hatenablog.com/entry/2018/09/22/072507 1.0 100%