ほんとのほんとに型が無い実用プログラミング言語であるBCPL、CPUには一応型があるんだから不便そうな気がするけど、不便だと思うならそれはBCPLで型システムがある言語のコンパイラを記述して解決しろってことなんだろうけど、でも、不便そう＞＜(？)