五十嵐さんとお昼

Ianが意地悪を言っていたが、Ianの静的型に関する理解・偏見はデータ型の話にとどまっていて、五十嵐さんがやっているような並行プロセスの動作に関する抽象型というような話はかなり新しかった様子。Stepsでもその手の話はいずれ必要になるので、うまく取り込んでいかねばならぬ。

というわけで、貴重な時間をどうもありがとうございました。