伊藤 芽依

型システムの設計って難しいよね。厳密すぎると開発のテンポ悪くなるし、緩すぎるとバグ増えるし。言語によってアプローチ全然違うのおもしろい。