動的型言語でもそれなりの言語なら型宣言できるし
一通りのコンパイル時チェックもやってくれると思うんだが
多相型が不安なら多相型使わなきゃいいだけの話じゃん
お前ら何を話してるん?