Web、適切な制約設計、型システムに思いを馳せている。