型クラスの意味論がイイカゲンなわけだが、それはそうとして、型クラスの現実的に厳しい問題は： 型システムとモジュールシステムの役割分担、相互関係 名前の管理 特に名前の管理が滅茶苦茶に大変なのだが、あまり指摘されない。裸の名前・記号をどう解釈し…

Title: Categorical Programming for Data Types with Restricted Parametricity Authors: Dominic Orchard and Alan Mycroft URL: https://www.doc.ic.ac.uk/~dorchard/drafts/tfp-structures-orchard12.pdf 誤解しているとしか思えない。型クラスのスーパ…