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