プログラミング

型システムにおける反例 (2021)

39 pointsby bramadityaw2026年6月29日1 コメント

要約

この記事は、Stephen Dolan氏がまとめた「型システムにおける反例」のコレクションです。Andrej Bauer氏、Leo White氏、Jeremy Yallop氏の貢献に感謝が述べられており、型システムに関する具体的な反例を集約した資料を提供しています。

型システムにおける反例 Stephen DolanがAndrej Bauer、Leo White、Jeremy Yallopに感謝を込めてまとめました。