2017-04-15

http://anond.hatelabo.jp/20170415115330

結論から言うと型を欲するのは成長できた言語のみに許された特権である

どんな言語最初から厳密な型チェックをアピールしてしまうと開発を阻害するばかりで流行らない。

増田理屈だと最初から全部C++Javaで作ればいいじゃんとなるが、

現状を見るにそうはなってない。

web黎明期フロントエンドを支えたのは紛れもなく型チェックのゆるい言語だ。

パソコン黎明期一般向け主力言語BASIC(あるいはアセンブラ)だったわけだが、

時代が進むにつれて型チェックの厳しい言語を求めるようになるのは理由がある。

それはプログラムの規模だ。

言語が出た当初はライブラリも少なく、できることも少なかった。

時間が経過してライブラリノウハウが蓄積し、マシン性能向上も相まってできることが増えてくると

プログラムの規模も増えてくる。

すると、厳密な型チェックを取り入れないと全体を統制できなくなるのだ。

故に厳密な型チェックを取り入れるというのは、その言語(及び開発者)の成長と発展の証と言える。

  • javascriptがまともになったのってES2015からじゃん。 ES2015も素の状態だと型チェックとかないしさ。 型チェックっぽいのがついたPHP7のほうがちょっとましな感じ。

    • 型チェックなんてない方がいい いちいちめんどくさいよ

      • 君はね。 世の中の人は型チェックあったほうがいいって思ってる。

        • そう? 型チェックがあるとどういいの?

          • ネットで動的型派に静的型のよさを説明して理解されたためしがないんで説明はしないけど、 ・Python 型チェック入る ・Ruby 将来のバージョンで型チェックを入れると表明 ・PHP 型宣言が...

            • 結論から言うと型を欲するのは成長できた言語のみに許された特権である。 どんな言語も最初から厳密な型チェックをアピールしてしまうと開発を阻害するばかりで流行らない。 増田...

              • 動的型の言語が流行ったのは、Webプログラミングの隆盛のおかげだろ。 大昔にテキスト処理のawkがあって、その発展版みたいなPerlが現れて、タイミングよくWebプログラミングの波がきて...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん