書籍『型システム入門』（TAPL日本語版）の技術的内容や、型システム全般に関する、日本語での質問と議論の場です。