SMLやOCamlのような静的型付の言語ってギブソンのレスポール
みたいなもんじゃない。誰が弾いてもそこそこ良い音がする。

Scheme、Lispはフェンダーのストラトだろう。名手が弾けば素晴らしい
サウンドがでるけど、それは弾く者の力量しだいみたいな。

どうチェックするのか、しないのか、サボるのか。プログラマの力量しだい。