そうだ

ここに書いておけば誰か教えてくれるかも、と思ったんだった。

MLで単相型に出てくる型変数'_aとかって日本語でなんて言ったらいいでしょう？英語だと「imperative type variable」とか「monomorphic type variable」というやつだと思うのですが。とりあえず後者をそのまま訳して「単相型変数」としたのですが、もし他に一般的なのがあるなら…

日本語のリソースだと、大堀先生の本でしょうか？教科書とかSMLの本とか、少し眺めてみましたが、巧妙に名前を書くのを避けて書かれているように見えます。