お金なくてTaPL読めてないので、書評とかからのあれなんだけど、TaPLとかが言う型システムでありhaskeller辺りがよく言う型システムって、その文脈上の低レベルな方に極端に限ってない？＞＜
って謎がある＞＜