確かに型を意識しないというのは語弊があったかもしれません。
scheme も常識的な範囲で (+ 2 "foo") とかは出来ませんが、print_string とか、+. とか、
リストの要素の型は同じでないといけない等、 ML(O'Caml) は強く型を意識させられる
言語だなと感じました。それがありがたい局面は多々あると思いますが、小プログラムを
作る時には邪魔に感じるのではという疑問を感じました。

私はまだ ML の勉強を始めたばかりですので、識者の皆さんのお話を聞けたらと思いました。
おかしな事を言っていたら済みません。