型システムに関する専門書です。
システム開発にあたり、型安全などの言葉をよく耳にします。なんとなく使っている言葉が具体的にどういう仕組みに結びつくのか、型システムは何を保証してくれるのか。
そういったことを真摯に学ぶことに役立ちます。
会社から借りて読んでいますが、手元にも一冊置いておきたいです。復刊を希望します。