「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～

id:perlcodesample さんの 変数に型がないということの利点について考える - サンプルコードによるPerl入門 から。 ううむ。 けれども、型がないということは、本当に素晴らしいことです。 型がないことによって、たくさんの面倒から解放されるからです。 冒頭のこれが、「静的型付き言語にはメリットが(ほとんど)ない」と言っているように思えてしまいます。 コメントのやり取りを見ても、ある程度そう考えているように受け取れます。 勘違いなどが多く見られたので、補足というか、反論というか、そんな感じのことを書きます。 追記： ごく一部、このエントリを「動的型付き言語と静的型付き言語を比べて、静的型付き言語の方が素晴らしい言語である」ということを言うためのものだと勘違いしている人を見かけました。 このエントリは、そこについては言及していません。 あくまで、元記事で「動的型付き言語のメリッ

[bleis-tift]

id:matsulib "静的型付けの手続き型言語では、Perlのようには記述できないという証明"は言いすぎでしょう。C#は、割といい線いっているように思います。限界も見え始めてる感じですが・・・ id:pmint そういう話はしてません

[tondol]

例のエントリへの反論を具体的にこれだけ並べられるプログラマってそんなに多くないんじゃないのかなと思った

[YaSuYuKi]

「Javaは過去の遺物」まで読んだ

[mas-higa]

元ネタには、ここまでまじめな反論が必要とは思えないが。

[matsulib]

Perlに対して、「F#でも」「SMLには」「Scalaには」と関数型言語をいくつも挙げて反論してる。逆に言えば、静的型付けの手続き型言語では、Perlのようには記述できないという証明。

[NOV1975]

このくらいじゃないと議論に耐えないね。

[gabari]

「 実装クラスにメソッドを 追加するだけで「そのまま動かす」ことは可能です。それは「正しく」動き続けているわけではありません。」だよなぁ

[thesecret3]

objective-cが双方の陣営から見て最悪であることはよくわかった。

[agano]

静的チェックはバグを減らすという意味で素晴らしいとおもうんだけどな。変更が容易でない理由はほどんどの場合、言語仕様の問題では無く、設計の問題だよね。

[zorio]

JavaとPerlで比較したって反論出来ると思うが。

[nilab]

「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～

[magelixir]

以前話題になってた記事に対する言及。大体必要な反論はこれですんでるｗ オーバーキル気味だけど。

[invent]

「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～

[letsspeak]

「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～

[pmint]

細かい事を過大評価。言語が用意してる型はライブラリー向け。アプリ開発の役には立つがバグ対策には曖昧すぎて不足。静的型付けの利点は独自の型を作りまくらないと現れない。独自型を使わないなら静/動に差はなし

[gologo13]

Sent from my iPhone

[y-imaya]

F#面白そう

[maidcure]

そしてバグの埋め込みやすさを減らそうと努力した結果、Adaに行き着きました

[kits]

「動的型付き言語であれば埋め込んだであろうバグを、そもそも入れ込まなくなる」

[windish]

関数型言語使おうよ！と読み取った(間違い

[rokusan36]

技術の進歩に伴い、そういうことは気にせず潤沢にリソースを使えるようになったということですな。

[xorphitus]

論理立て、具体例を伴って整理された切り返し。見習わなければ

[gabuchan]

やっぱりぶれいすさんはやさしいひとだ。

[nakaji999]

@bleisかっこいい

[t-wada]

これは良エントリだなぁ

[ureyubo]

元記事読んで違和感を感じてたので、この記事を読んで「そうそう！こういうことだよー」って思った。こんだけ明文化してわかりやすく説明できるって、頭いいんだなー。

[pochi-mk]

これは良い解説!!! なごややさしいwww

[natsutan]

ぐるぐるさん、イケメン！

[ktakeda47]

発達障害がありそうな人に対するマトモな人の回答

[issm]

" 型を定義したことによって大きなメリットが生まれます。 それは、考慮漏れや、一致しない条件をコンパイル時に発見してもらえるようになることです。"

[airj12]

書き辛さ(≒強制力の強さ)がメリットになる場合も多々あるし

[tsucchi1022]

面白かった

[kabisuke]

素晴らしい反論。（昔の）Javaに対するアンチテーゼとしての動的型付けってのは意味あるとは思うんですよ。Javaでワンライナー組めますか？っていうと絶対やらないわけで。でも型推論の発展でかなり実用的になってる。

[gab_km]

フォローすべき F# expert、ぐるぐる先生の素晴らしい記事だ。

[tinsep19]

およそ同意