>>516
型チェックをするにはコマンドが要求する型というものが必要だけど、
UNIXにおいては引数はただの文字列でしか無いからできない。
例えば、プログラムが文字列を要求してるのか数字を要求してるのかを知る方法がないし、
プログラムは各自文字列を内部でパースしてる。optionもシェル変数も型は全てstring。

型を考慮した全く新しいシステムってことなら、面白そうだね。
オーバーロードの規則をうまく定めればそれほど入力も面倒にならないだろうし。

# シェルにそれぞれのコマンドについての知識を持たせて文字列をパースさせて…
# というのなら、時間の無駄かな。
# 複雑なシェルスクリプトの内部で使用する際に型が欲しいのなら、
# 最初から関数型言語でスクリプトをかけばいいし。