>>515
もちろん全てのコマンドを書き換えるような真似はできないけど、
インタラクティブに実行してるシェルやシェルスクリプトにおいて
型チェックしてくれたら、いい感じかなあなんて思ったり。
旨い事、この変のUNIX的な環境に乗せられたら面白そうだなと。