プログラミング言語において、型とはドキュメントである

http://d.hatena.ne.jp/perlcodesample/20130227/1361928810 この記事が話題なんでしょうか。 +Shiro Kawai さんの記事 http://blog.practical-scheme.net/shiro?20130227-equibillium を見つつ、つらつら思ったことなどを書いてみます。 まず、上のリンクの「変数に型がないとどのような型の値が代入されているかわからないという批判に答える」というセクションは、残念ながら答えているとは言いがたいものがあると思います。 第一に、多くのプログラミング言語では [] 等の演算子はオーバーライドできるため、演算子が使われているということを理由にデータの型を推定することはできません。 第二に、->new、というものがperlにおいて構文なのかどうかは知らないのですが、そうでないとすると、この

[lizy]

単純に見た目分かりやすい

[monjudoh]

『*型は機械処理可能なドキュメントとして有用であると思われる*型付けをしない言語から見た静的型付け言語の欠陥は、単に特定の言語の型システムの欠陥でしかないかもしれない』

[gologo13]

同意。Haskell 見ててそう思う

[bleu-bleut]

「変数に型がないことの利点」