動的言語で大規模開発

uy · 2012/07/24(火) 09:10:42.04

たててみた

**デフォルトの名無しさん** · 2014/11/26(水) 12:35:38.39

>>406
>>405は静的型言語の話をしているんだが？
それとも>>404は動的型言語の話なのか？
ならなんで「引数の型や数、戻り値の型まで一致」とか出てくるんだ？

**デフォルトの名無しさん** · 2014/11/26(水) 12:59:25.21

>>407
＞ならなんで「引数の型や数、戻り値の型まで一致」とか出てくるんだ？

動的言語でも値に型はあるから

**デフォルトの名無しさん** · 2014/11/26(水) 17:49:47.93

rubyのto_sとか？

**デフォルトの名無しさん** · 2014/11/26(水) 20:45:29.26

>>408
へー、どの動的型付言語が言語仕様で「型」という概念が定義されているんだい？

**デフォルトの名無しさん** · 2014/11/26(水) 20:48:18.16

動的型付言語を使っていて型が違うのにとか型で補完できればとか言ってる人は動的型付言語の初心者。
動的型付言語を単に型宣言しない静的型付言語として使っているだけ。

**デフォルトの名無しさん** · 2014/11/26(水) 22:06:07.76

初心者

**デフォルトの名無しさん** · 2014/11/26(水) 22:45:02.52

>>411
まあ初心者なら Soft typing という用語を知らなくても
しかたないだろうな

**デフォルトの名無しさん** · 2014/11/26(水) 22:49:59.27

>>410
a = 1
a = "a"
a = true

一行目のaの値は数値型で二行目で文字型に変り三行目でBoolean型に
なるってことで型が無いように見えて値にはちゃんと型があると言いたいんでしょ?

**デフォルトの名無しさん** · 2014/11/26(水) 22:52:09.61

柔軟だがバグの元にはなりそうだ

**デフォルトの名無しさん** · 2014/11/26(水) 23:01:03.31

重要なのは値に型があることではなくて変数に型があること。
変数に型があるからこそ、その変数の型のメソッドは何かがわかる。

**デフォルトの名無しさん** · 2014/11/26(水) 23:03:26.44

変数はコードに書く。コードに書くということは
静的にわかる。（変数に型がある場合）

値に型があっても、実行時にならないとわからない。
変数に入る値はいろんな型がありえるから
値に型があるだけじゃ、typoを発見することは出来ない。

いい加減「値に型がある」を反論の材料にするのはやめてくれ。
反論になってないから

**デフォルトの名無しさん** · 2014/11/26(水) 23:10:00.48

変数posがあってこれが座標を表わしてるものだとしたら
list型で(x y)だったり構造体でxとyのフィールドを持ってたりy*w+xの整数だったり
色んな表現が出来るから柔軟という利点があってプロトタイプに向いてるってことじゃないの

**デフォルトの名無しさん** · 2014/11/27(木) 00:00:17.23

>>411
動的型言語の玄人になると、値の型と無関係な（CallするとRuntime Errorになる）メソッドが
大量に候補に出てくるような補完や、typoすら発見できないようなチェッカーに
慣らされてるから疑問にすら思わなくなるってこと？

**デフォルトの名無しさん** · 2014/11/27(木) 00:39:38.24

>>418
一人で把握できる範囲でプロトタイプのようなある程度使い捨てを前提に作れる
ならそれほど問題はないが、スレタイにあるように大規模開発≒複数人開発だと
静的言語に比べて動的言語だとtypoみたいな簡単なミスでも見つけづらいよねと
いうような話だと思う。ちょろっとしたものを作るだけなら変数は全てオブジェクト
ですっていうように抽象化されている方が楽だけど、大規模開発だとそれじゃ
ダメだよねっていう話。

**デフォルトの名無しさん** · 2014/11/27(木) 00:43:32.22

>>419
大量ったってさらに数文字足せばかなり絞り込めるし
typoだって前にも書いてあるとおり
未定義のワーニングで十分に思うんだが
いったい何が不満なんだ？

**デフォルトの名無しさん** · 2014/11/27(木) 07:05:04.04

そりゃ未定義がワーニングだからだろ。
ワークニング出たよ。
さて、そのワーニングは無視していいのかよくないのか？

typoしてワーニングが出た。あぁ、いつものワーニングかでスルー
結局ワーニングがあてにならないものになってるだろ。

**デフォルトの名無しさん** · 2014/11/27(木) 07:17:33.51

>>422
いや、普段使いがSmalltalkなもんで、そんなことはない。
未定義のワーニングはtypoだった場合の候補も挙げてくれるから
実際にtypoだったらそこから選ぶだけだし。^^;

**デフォルトの名無しさん** · 2014/11/27(木) 07:36:00.70

SmalltalkのIDEの補完は精度が低過ぎて使えないゴミだから
プログラマは補完に頼らず自分でタイプするから
>>404みたいな問題もないんだよね

**デフォルトの名無しさん** · 2014/11/27(木) 08:44:42.11

>>424
そうだね。なんかこんなようなメソッド名（Smalltalkではセレクタと呼ぶ）だったなぁ…と
うろ覚えで適当に入れとくとコンパイラがあとでいちいち教えてくれるから、はいはいって直してく感じ。

補完が便利だなぁと感じるのは長いメソッド名の場合かな。
適当にだとしてもタイプするのが単純に面倒なのでその労力を省くことができるので。

**デフォルトの名無しさん** · 2014/11/27(木) 09:51:34.08

Python「低レベルな争いだな…」

**デフォルトの名無しさん** · 2014/11/27(木) 10:14:33.17

>>426
ごめん。
PythonにはSmalltalkのそれを凌駕する最強のIDEがそろっているのかもしれないが、
その前にまず言語として隔靴掻痒感が否めなくて使っているとめまいがするのでパス。

**デフォルトの名無しさん** · 2014/11/27(木) 17:17:05.92

Smalltark 厨 vs Pythonee

**デフォルトの名無しさん** · 2014/11/27(木) 19:38:58.94

>>428
Unknown variable: Smalltark please correct, or cancel:
define new class
declare global
------------------------------------------------------
Smalltalk
SmalltalkImageTest
SmalltalkEditor
SmalltalkImage
SmallLandColorTheme
SmallInteger
SmallIntegerTest
SMAccount
SMCategory
SMPackageInstallationTask
------------------------------------------------------
cancel

**デフォルトの名無しさん** · 2014/11/27(木) 20:07:16.47

Python「ただのテキストエディタで出来そう…」

**デフォルトの名無しさん** · 2014/11/27(木) 20:39:01.35

そんなにイデの力が欲しいか

**デフォルトの名無しさん** · 2014/11/28(金) 00:34:41.35

>>378
ｺﾞﾛﾆｬｰﾝ♪

**デフォルトの名無しさん** · 2014/11/28(金) 09:07:58.51

>>419
動的型に慣れたら、大量に候補が出るような命名はしないし（凝集度）
typoすら発見できないようなチェッカーなんて使わずにマトモなチェッカーを使う。
あたりまえだろ？

**デフォルトの名無しさん** · 2014/11/28(金) 09:09:59.36

>>422
なるほど、warningメッセージなんて読まない達人プログラマなんですね、
すごいなあw

**デフォルトの名無しさん** · 2014/11/28(金) 09:13:52.73

ここまでの流れだと結論は
静的言語は初心者向け
静的言語使いは初心者

**デフォルトの名無しさん** · 2014/11/28(金) 09:59:17.09

処理系作ってる連中に学が無いから、型推論できるチェッカーひとつ作れない
で、仕方なく運用（命名規則）で回避ですか

駄目システムに苦しめられてるユーザと同じ図じゃん

なお、大規模開発ではどんな命名規則でもメソッド名が増えるため破綻する模様

**デフォルトの名無しさん** · 2014/11/28(金) 11:02:52.12

手元のSmalltalk環境には4万強のメソッドがあって
先にも言われているように、型推論付きとかそんな高尚な補完もないけど
使いたいメソッドが出てこなくて困ったことなんかないぞ。

**デフォルトの名無しさん** · 2014/11/28(金) 17:18:45.17

>>436
まともな人がちゃんと作れば君のような目にはあわずにすむということじゃないかなあw

**デフォルトの名無しさん** · 2014/11/28(金) 17:21:26.03

>>436
例えばどんなメソッド名の場合に型推論できないと見つからないんだい？
おもしろそうだから答えてみてよw

**デフォルトの名無しさん** · 2014/11/28(金) 20:56:18.69

>>437
Smalltalkで何作ってるの?
そっちが気になる絶滅危惧言語なんだが

**デフォルトの名無しさん** · 2014/11/28(金) 21:02:53.61

>>438
まともな人は遥か昔Smalltalkから逃げ出したし、現在進行形でRubyからも続々と逃げ出してるよね

**デフォルトの名無しさん** · 2014/11/28(金) 23:32:57.83

>>440
いろいろやるけど、主にWebアプリだな。

**デフォルトの名無しさん** · 2014/11/29(土) 02:10:12.49

>>437
> 使いたいメソッドが出てこなくて困ったことなんかないぞ。

コードを動かさないでだせる？
つまりアプリは動いておらずテキストエディタで書いている時。

コードを動かさないと出せないっていうのがダメなんだよね。
いろんな処理、例えば10分ぐらい処理してやっと実行される関数があったとする。

その関数の中にある条件分岐で真になるときのコード補完はできるだろうけど、
次に偽になる時のコード補完をしようと思ったら10分間待たないといけなくなる。

コードを動かさないでコード補完ができれば、待ち時間なしで
コード補完が出来るわけさ。

**デフォルトの名無しさん** · 2014/11/29(土) 02:28:50.06

>>443
ごめん。要求仕様^^;がちょっとよくわからなかった。
PythonとかJavaとか>>443がよく知っている言語でいいから、
あと処理の重さは30秒くらいの適当な長さのsleepとかの代替で
どういうコードか書いてみてもらってもいい？

**デフォルトの名無しさん** · 2014/11/29(土) 02:54:05.37

>>443
オブジェクトが数値のときは数値関係のメソッドだけ補完に出せとか、そういう条件はあるの？

**デフォルトの名無しさん** · 2014/11/29(土) 04:14:00.96

>>444
じゃあJavaScriptで。

// ※aはMyClass型専用
// ただしJavaScriptは動的言語であり、aがMyClassという情報はどこにもない
function foo(a) {
　a. とピリオドを入力した時点で、MyClassが持ってるメソッド一覧が表示されて欲しい
}

これがJavaなら
void foo(MyClass a) {
　a. とピリオドを入力した時点で、MyClassが持ってるメソッド一覧が表示される
}
これと同じことをJavaScriptでやってほしい。

>>445
そりゃあるでしょｗ

**446** · 2014/11/29(土) 04:16:18.02

当たり前だけど、a. の行にブレークポイントを置いて、
そこまで実行してからa.を出すのはなし。

その行のブレークポイントまで実行しないといけないから
時間がかかる。

**デフォルトの名無しさん** · 2014/11/29(土) 08:00:05.38

>>446
なるほど
メソッド名を1文字も入力できないほど脳が不自由な人なんですね
かわいそうに

**デフォルトの名無しさん** · 2014/11/29(土) 08:16:34.87

>>446
MyClassのメソッド一覧ってどれぐらいのサイズ？

Smalltalkのように充実した標準ライブラリを持つ言語だと
Objectクラスだけでメソッドが488個あるから
MyClassのメソッド一覧は少なくとも500個ぐらいになって
aのクラスを特定する意味はあまりないな。

Smalltalkほどクラスライブラリが充実してないプアな言語だと
クラスを特定できるとうれしいかもしれないけど。

**デフォルトの名無しさん** · 2014/11/29(土) 09:19:45.30

補完候補が単純なalphabetical orderじゃなくて
使用頻度順を学習して上から並べてくれるやつもあるので
その反論はナンセンスじゃね？
MyClassとObjectでは使われるメソッドの頻度が違うから

**デフォルトの名無しさん** · 2014/11/29(土) 09:23:05.48

>>446
ちょっと待ってよ。そういう話なの？

俺の理解では、
- 静的型言語は変数を型で縛っているから補完がやりやすい。
- 動的型言語で静的に同レベルを実現するのは理論的に不可能。

ということは議論され尽くされてるわけだから暗黙の了解としてよくて、
- だけど動的型言語でも型推論をしてある程度絞って出せるのはあるよね。
- Smalltalkにはそういうスマートな機能はないけど、あんまり困ったことないよ。

という流れがあったところに>>443 で、
- 実行はせず、テキストエディタで編集中のコードで問題なくメソッドは出せるのか？

ときたから、意図がよくわからないのでコードを示してくれと頼んだら、
- 実行をして a をを確定してからその情報を元にして補完をするのはナシで、
　静的型言語と同じように a の関連のメソッドだけしぼって出してみろ！

という要求だったので非常に驚いている。←イマココ

**デフォルトの名無しさん** · 2014/11/29(土) 09:26:19.46

標準ライブラリの大きさとObjectに数百個程度のメソッドがあることの
関係も良くわからない

標準ライブラリに少なくとも数百個もメソッドがあるんだぜスゲーってこと？

**デフォルトの名無しさん** · 2014/11/29(土) 09:40:43.18

>>449
> MyClassのメソッド一覧は少なくとも500個ぐらいになって
そんなもん、クラス直接のメソッドと
継承元のメソッドぐらい分けて表示するに決まってるだろ・・・。

**デフォルトの名無しさん** · 2014/11/29(土) 09:50:35.80

でも>>446をよく見たら、こんなお題だったのか

> function foo(a) {
> a. とピリオドを入力した時点で、MyClassが持ってるメソッド一覧が表示されて欲しい
> }

これは静的型付言語で型推論があっても補完は無理だw

**デフォルトの名無しさん** · 2014/11/29(土) 10:17:11.39

これなら型補完できるよ。これが静的言語でしょ？

> これがJavaなら
> void foo(MyClass a) {
> 　a. とピリオドを入力した時点で、MyClassが持ってるメソッド一覧が表示される
> }

**デフォルトの名無しさん** · 2014/11/29(土) 10:31:13.38

>>453
へー、継承元のメソッドを分けて表示すれば解決する程度の貧弱なクラスライブラリが前提なんだー（鼻ホジホジ

**デフォルトの名無しさん** · 2014/11/29(土) 10:34:40.20

>>442
商用で?
Smalltalkの処理系は?

**デフォルトの名無しさん** · 2014/11/29(土) 10:35:24.90

静的言語でやっているコーディングとかIDEの使い方をそのまま動的言語に持ち込んで「これができない」「あれができない」と喚きだす初心者を眺めるスレw

**デフォルトの名無しさん** · 2014/11/29(土) 10:36:42.17

>>457
そういう話はSmalltalkスレでどうぞ

Smalltalk総合 Squeak Pharo
http://peace.2ch.net/test/read.cgi/tech/1360991429/

**デフォルトの名無しさん** · 2014/11/29(土) 10:39:51.40

>>456
お前バカだろｗ
Objectにメソッドが多すぎて邪魔って話をしてるんだが。

**デフォルトの名無しさん** · 2014/11/29(土) 10:40:48.12

>>458
まあそうだね。あれができないこれができない。
たしかにそうだ。実際に出来ないもの。

で、そ、そんなのいらないんだから！
と言い返すｗ

**デフォルトの名無しさん** · 2014/11/29(土) 10:57:41.26

技術的には型推論と補完を両立できるかどうか考えればいいと思うけど
ここで悪足掻きしてるやつは技術より心理にこだわっているふしがある
補完よいよねというマインドをつくることしか考えてない

**デフォルトの名無しさん** · 2014/11/29(土) 11:10:26.37

普通にいいだろｗ．
補完ができれば、それを応用して
さらにいろんなことができるようになるわけだし

**デフォルトの名無しさん** · 2014/11/29(土) 11:16:43.56

>>462
補完うんぬんは「静的型いいよね」というマインドのための道具でしかないでしょw

**デフォルトの名無しさん** · 2014/11/29(土) 11:17:30.03

>>459
そんなこと言ったらこのスレが成り立たないだろ。
独立言語スレはSmalltalkだけじゃないぞ。

動的言語に貴賎はない、、、はず。

**デフォルトの名無しさん** · 2014/11/29(土) 11:17:56.66

>>463
補完するスタイルと補完しないスタイルの二種類があれば
一種類よりも多くのことができる

**デフォルトの名無しさん** · 2014/11/29(土) 11:44:56.39

補完するときにメソッド名を選択すると、引数や戻り値の型やドキュメントが
出てくれるのは凄く嬉しい

あと同じ機能を使うと、メソッドにカーソル当てたらドキュメントを出せるようになるから
コード読むのが捗りまくる

**デフォルトの名無しさん** · 2014/11/29(土) 11:56:50.41

出来るできないで考えるからわからない。
どちらが楽にできるかどうかで考えよう。

そしてただ単に楽にできるかで考えるのもダメ一体何が楽ができるか。
つまり、書くのが楽か、読むのが楽か。

どちらを重視すべきかというと、書くよりも読むことが楽になるようにするべき。
なぜならプログラミングの作業の多くは書こに書いたコードを読んで修正することだから。

そういう時に、この変数は○○型であると書いてある方がいいわけだよ。
コメントに書くこともできるがそれだと実際のコードとコメントが
一致していない可能性がある。

コメントを書くよりも、コードでそれを表現するべき。
そうすれば人間もコンパイラも理解できる。

静的型がいいのは、そういう読むときの開発効率の高さにある。

**デフォルトの名無しさん** · 2014/11/29(土) 11:59:47.15

なお、コード補完は、書くことを楽にしてくれる、
つまりタイピングを補助するものだと勘違いしている人が多いが、
実際は読むことを楽にしてくれている。

つまり、このオブジェクトにはどんなメソッドがあって、
そのメソッドがどんな機能、引数、戻り値を提供しているか
ということを確かめるために、ドキュメントやコードを
読むことを楽にしてくれる。

だから適切な補完が重要になる。
多すぎることもなく少なすぎることもなく
間違えることもない補完が重要。

**デフォルトの名無しさん** · 2014/11/29(土) 12:11:58.32

>>446
ご説ごもっとも。
だから、こんな可哀想な動的大好き人間は放っておいて
静的型言語まんせースレに行って幸せを満喫してください。

>>462
型推論で静的解析が可能だとして
動的型として失うものはないのだろうか。
そういう議論なら有意義だと思う。

**デフォルトの名無しさん** · 2014/11/29(土) 12:30:14.99

それ以前にさ、動的型付きとして
失ってほしくない機能って何さ？
失っても対して問題ない機能ばかりだと思うだが。

**デフォルトの名無しさん** · 2014/11/29(土) 12:44:23.44

標準ライブラリや他人の作ったライブラリの全てを記憶できる変態でも無い限り
コード補完によってドキュメントを含め表示して選択出来るってのは生産する
上ではかなりのアドバンテージなんだけどね。大昔のクソなIDEや最近のでも
動的言語に対応しているのはクソなIDEしかないから、そういう技術の進歩を
知らない原始人には理解できないことなんだよ。

**デフォルトの名無しさん** · 2014/11/29(土) 12:49:43.77

動的型付きにすることで失われていることのほうが多いと思う。
それで、動的型付きにしてまで守ろうとしているものってなに？

**デフォルトの名無しさん** · 2014/11/29(土) 13:13:21.80

ドキュメントについては仕様書が欲しいか具体例が欲しいかによる
ただちに必要ではないことまで書かれているのが仕様書
ある時点で必要だったことしか書かれていないのが具体例

具体例から仕様を想像できるような変態は全てを記憶ではなく推理している

**デフォルトの名無しさん** · 2014/11/29(土) 13:24:38.99

スタートダッシュと試行錯誤じゃないの
軌道に乗ったら捨てて作りなおせばいいのよ

**デフォルトの名無しさん** · 2014/11/29(土) 13:24:42.22

>>472
コード補完で出てくるドキュメントなんて知ってるメソッドなら役に立つが
知らないメソッドをそれだけでなんとかしようなんて無理だがや

**デフォルトの名無しさん** · 2014/11/29(土) 13:54:58.03

>>476
javaならソースに書かれているjavadocが出る。いわゆるAPIリファレンスと
言われるものが表示される。visual stadioだとmsdnに書いてあるのが出る。
APIリファレンスが役に立たないとか言っちゃうような無能はプログラムを
書くのを辞めたほうがいい。

javadocが出たことによって他の言語でもソースに埋め込んだコメントを
別ドキュメントに言語の標準かそれに近いレベルで提供されることが多く
なった。ただ別ツールを使ってまでドキュメントを出力するようなところは
殆ど無かったけど、IDEで自分や他人の書いたドキュメントまで手元で
参照できるようになったことで、どのレベルでコメントを書けばよいうかと
いうことに気づけた人はそれなりにいるかと思う。

書かないと煩く言われるから書くというのから、自分で書いたコードでも
元のコードを見なくても分かるように書くというのに変われた人は多いと
思います。最低でも自分で書いたコードを自分の為にというのがやり
やすくなった。

**デフォルトの名無しさん** · 2014/11/29(土) 14:00:18.54

そういえばvisual studioだとサンプルコードを検索ダウンロード出来る機能まで
付いたんだっけかな。

**デフォルトの名無しさん** · 2014/11/29(土) 14:06:58.21

>>477
javadocは、どの程度のが出るかしらんが、Visual Studioで出るような
サマリーだけじゃ役に立たんがね。

IDEで出るのはあくまでも補助的なもんで、ちゃんとしたAPIのドキュメントは
msdn見ないと駄目だろ。APIの注意書きとかサンプルコードとかはIDEでは出ないだぎゃー

最近のVisual Studioは、msdnの全文が出るんけ?
底辺土方なんで最新版は知らんのじゃ～

**デフォルトの名無しさん** · 2014/11/29(土) 14:07:50.21

>>478
マジか?
随分と進歩したもんじゃの

**デフォルトの名無しさん** · 2014/11/29(土) 14:13:44.81

>>479
> javadocは、どの程度のが出るかしらんが、Visual Studioで出るような
> サマリーだけじゃ役に立たんがね。

サマリーでも役に立つと思うし、リンクになってるから
ヘルプ調べるのも速くなるんだが？

**デフォルトの名無しさん** · 2014/11/29(土) 14:25:05.29

>>481
そういうIDEのヘルプ機能よりもGoogle先生のが役に立つ
Google先生とIDEのインテリセンスが無いとプログラムの生産性が著しく落ちるw

**デフォルトの名無しさん** · 2014/11/29(土) 14:33:59.73

>>479
ttp://docs.oracle.com/javase/8/docs/api/index.html
どのレベルも何も↑の各クラス、メソッドのがそのまま出るんだが。
これは英語だが、日本語訳のがある場合はそっちを使うことが出来る。
で、ここに書かれていなくて他に書かれているというドキュメントは存在しない
わけで、ググってどこにも無ければこれに頼るしか無い。このリファレンスが
分からない役に立たないっていうやつは少なくてもjavaはやらないほうがいい。

**デフォルトの名無しさん** · 2014/11/29(土) 14:36:32.05

>>482
初心者に多いね。一次ソースを見ないで、
個人のブログとかみるやつ。
英語読めないからとかなのかな。

**デフォルトの名無しさん** · 2014/11/29(土) 14:37:24.55

で、そんな話はいいとして、動的型付け言語が
動的型付けにしてまで守ろうとしているものって何よ？

**デフォルトの名無しさん** · 2014/11/29(土) 14:38:14.93

動的言語でも変数aをMyClass型と教えればメソッド一覧は出せるだろ

**デフォルトの名無しさん** · 2014/11/29(土) 14:39:37.78

>>486
それで、aがMyClassだっていうのは、
人間がいちいち教えてあげるの？

aが絶対MyClassだっていうのなら
それをコードに書いておけばいいのに・・・。

**デフォルトの名無しさん** · 2014/11/29(土) 14:40:07.50

その問い自体が静的目線だってのw
視野が狭いなあw

**デフォルトの名無しさん** · 2014/11/29(土) 14:40:46.54

いちいち変数を宣言して型を指定するのとかわらないと思う

**デフォルトの名無しさん** · 2014/11/29(土) 14:42:05.95

その都度、MyClass型って教えないといけない手間がかかるのと
コードに仕様として書いておけるのの違いだね

**デフォルトの名無しさん** · 2014/11/29(土) 14:42:13.42

補完候補を500に絞り込むためだけに、aがMyClassのインスタンスでないと動かないような腐れコードにするわけか
ご苦労さまなこってw

こりゃ世の中からクソコードがなくならないわけだw

**デフォルトの名無しさん** · 2014/11/29(土) 14:43:48.06

> 補完候補を500に絞り込むためだけに
補完候補を500ってなんのこと？
動的型付けだと、その500を全て覚えてるの？
意味がわからないね。

**デフォルトの名無しさん** · 2014/11/29(土) 14:45:30.32

型を書かなくても a = MyClass() や、さらにいえば
foo(MyClass()) のようなコードがあるだけでも>>446は補完できる様になる

**デフォルトの名無しさん** · 2014/11/29(土) 14:46:28.99

逆に言えば、そういうコードがなければ
補完できないという意味である。

例えば関数の引数。これは補完できない。

**デフォルトの名無しさん** · 2014/11/29(土) 14:48:16.54

補完ってそこまで重要か
動的言語支持者の揚げ足をとるためには必要かもしれないけど
単語単位補完で十分通用してる

**デフォルトの名無しさん** · 2014/11/29(土) 14:49:08.68

型を書かなかったら a = MyClass() と a =YourClass()の両方があったら
補完がめちゃくちゃになる。
foo(MyClass()) と foo(YourClass()) のようなコードがあると
>>446の補完は使い物にならなくなる。

**デフォルトの名無しさん** · 2014/11/29(土) 14:51:15.51

>>495
> 補完ってそこまで重要か

重要ですよ。

開発効率がぜんぜん違う。

・タイプ数の省略
・うろ覚え（引数の順番程度）でヘルプを引くことの省略
・ヘルプを開く場合でもその手間の省略
・コードのミスを実行せずに知ることが出来る
・リファクタリング時に自動で安全にできることが多くなる。

これらはいらないんだ！って言うかもしれないが、
それは開発効率が大きく高まることを否定する言葉じゃないからね。

**デフォルトの名無しさん** · 2014/11/29(土) 14:54:43.83

>>494
引数に型が書いてなくても、実際に関数を使ってるコードがあれば
引数に入れられた値から型推論できるよねって話なんだけど

**デフォルトの名無しさん** · 2014/11/29(土) 14:55:43.43

単語単位補完って、単にタイプ数を
少し省略することしかできないからね。
しかも補完した結果が間違っていることがある。

動的型付けにおける補完の効果って
その程度しかできないし、その程度のことしか知らないから
静的型付け言語でもその程度のことだと思ってる人が多いんだよ。

ぜんぜん違う。静的型付け言語であれば補完は
タイプ数削減以上に大きく開発効率を上げることが出来る。

明らかに開発効率を上げると証明された。
動的型付けで開発効率を上げることは出来るのか？
動的型付けにしてまで守ろうとしているものはなんなのか？

**デフォルトの名無しさん** · 2014/11/29(土) 15:00:38.05

>>498
いや、だからなければ型推論できないでしょ。
「実際に関数を使ってるコード」の方が間違っていたら
補完も間違うわけよ。foo(MyClass())って使わないといけない時に
foo(YourClass())って書いてしまったら、補完もそれに合わされてしまう。

それにさ、人間の問題はどうなるのさ？

function foo(a) {} ってコードをいきなりみせられて
aは何型でしょう？ってクイズ？（笑）

リーダブルコードってわかるかな？
ライタブルコードってはいわないんだよ。

重要なのは読む時。読む時に必要な情報が欠けてる。
もしくは間違ってる。そんな信用出来ない状態では開発効率は大きく下がるよね。

で、動的型付け言語は開発効率下がると証明されたが
あがる理由は何かあるのか？

**デフォルトの名無しさん** · 2014/11/29(土) 15:11:36.58

>>500
それは void foo(YourClass a) って間違えても同じだよね

それにクイズってなんの話？IDEがあればドキュメント見れるでしょ？

**デフォルトの名無しさん** · 2014/11/29(土) 15:14:22.47

動的言語の方がコード量が減るから大規模になりにくい
短期記憶に入りやすいから効率も上がる
静的に見て機械的に処理しやすいのは静的片付け言語だけど

**デフォルトの名無しさん** · 2014/11/29(土) 15:14:41.06

> それは void foo(YourClass a) って間違えても同じだよね

定義は一箇所。

使う場所は沢山。

一個でも間違えたらどちらが正しいかわからなくなる。

**デフォルトの名無しさん** · 2014/11/29(土) 15:16:15.20

>>502
> 動的言語の方がコード量が減るから大規模になりにくい

重要なのは、タイプ量ではなくて読む量なんだよ。

動的言語のコード量が減るってようするに、
コードを理解するための情報が減るから
コードが読めなくなる。

少なければいいってもんじゃないんだよ。

**デフォルトの名無しさん** · 2014/11/29(土) 15:17:16.14

少なければいいよ
機械がコードを読み書きするんじゃなくて人がするんだから

**デフォルトの名無しさん** · 2014/11/29(土) 15:18:12.01

>>503
型検査でエラーになるから分かるでしょ

エラーにならないならMyClassとYourClassは型レベルで互換性あるってことだし