トップページ⇒tech
1001コメント260KB

静的型付け言語の潜在開発生産性は今の100倍 ×3

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん2013/10/25(金) 08:10:09.84
人間がやっていたことを、コンピュータにやらせる。
これが生産性を上げる最大の方法。
コンピュータは間違わない、同じ事を何度も高速に行える。

その為に、コンピュータがコードの意味を正確に
認識できる方法が必要。実行しないとわからないことは
コンピュータは認識できない。

すなわち静的型付け言語であれば、実行しなくてもわかるので
コンピュータが理解できる。そうすれば様々な
コンピュータの高度な情報支援が得られる。

コンピュータのバックアップを受け、人間の生産性は
限りなく向上する。

前スレ
静的型付け言語の潜在開発生産性は今の100倍 ×2
http://toro.2ch.net/test/read.cgi/tech/1380987002/
0153デフォルトの名無しさん2013/10/26(土) 14:59:46.97
>>152
静的型は想定していない型は受け付けないから、動作見るだけでいいけど、
動的型は想定していないオブジェクトを受け入れるかどうかの境界のテストも必要になる。
0154デフォルトの名無しさん2013/10/26(土) 15:22:00.43
静的型はコンパイルさえできれば型の問題はないことが保証される。
動的型は型のチェックをちまちま書いてテストして型の問題が
見つからないことが確認できるだけ。業務では使えないよ。
0155デフォルトの名無しさん2013/10/26(土) 15:43:39.13
>>154
つまり、実行時に NullPointerException が発生しうる
JavaやC#は業務では使えない、ということだよね！
すごく説得力があるな
0156デフォルトの名無しさん2013/10/26(土) 15:48:45.10
>>155
そういう曲解して楽しいもんなのかね。理解できんわー。
0157デフォルトの名無しさん2013/10/26(土) 17:02:28.31
>>155
Maybeモナドも知らんのか。
皮肉のつもりが無知を晒してるだけだな。
0158デフォルトの名無しさん2013/10/26(土) 17:08:50.10
曲解なのかどうか検証してみようw

>>154
>静的型はコンパイルさえできれば型の問題はないことが保証される。

これは正しい

ただし、JavaやC#では、実行時にNullPointerExceptionが発生しうるから、
コンパイルを通過しても型に問題がないことを保証できない


>動的型は型のチェックをちまちま書いてテストして型の問題が
>見つからないことが確認できるだけ。

同様に、JavaやC#でも、テストによってNullPointerExceptionが
起きないことを確認できるだけ


>業務では使えないよ。

動的型と同様に、静的型として欠陥品のC#やJavaも、業務では使えない
0159デフォルトの名無しさん2013/10/26(土) 17:13:46.68
>>158
>ただし、JavaやC#では、実行時にNullPointerExceptionが発生しうるから、
>コンパイルを通過しても型に問題がないことを保証できない
なんでそうなるんだよ。
型に問題ないのが保証できなきゃコンパイル通らないよ。
お前が言ってる事は静的型・動的型なんて関係なく、
Null値を許容している限り、実行時エラーは起こりうるという事だろ？
それでもまだ突っ込みどころがあるわけだが。
0160デフォルトの名無しさん2013/10/26(土) 17:24:03.35
>>159
Null値のデータ型は？www
0161デフォルトの名無しさん2013/10/26(土) 17:24:19.54
警告ゼロでコンパイルが通るのに動かないコードなんて山ほどあるし動的と静的で
テストの記述量が極端に違うとも実感としてはあまり思えない。
テストの両云々は両者の差を語る視点としてはやや弱い気がする。

それでも自分は型をつけて記述するけどね。そっちの方が楽だから。
0162デフォルトの名無しさん2013/10/26(土) 17:24:42.32
>>159
おまえがバカだということはよくわかった
0163デフォルトの名無しさん2013/10/26(土) 17:33:50.89
>>158
nullpointerexceptionが型が原因の例外だと思ってるのか？
値の例外だが。
0164デフォルトの名無しさん2013/10/26(土) 17:35:37.84
>>163
nullの型を言ってみろw
0165デフォルトの名無しさん2013/10/26(土) 17:36:20.04
このスレの静的厨って本当に型理論をまるっきり知らないんだなw
0166デフォルトの名無しさん2013/10/26(土) 17:39:16.81
>>158
だからこそMaybeやoptionとかでより厳しい型を組み込もうとしてるんだが。

nullプギャーwとか言ってるのは自由な値を許容してる動的型に対して天つばしてるのと同じだぞ(´・ω・｀)
0167デフォルトの名無しさん2013/10/26(土) 17:47:18.93
dynamic example = (dynamic)String.Empty;
0168デフォルトの名無しさん2013/10/26(土) 17:58:38.87
>>166
nullを受け入れておいて動的型プギャーwとか言ってる馬鹿に言ってやれw
0169デフォルトの名無しさん2013/10/26(土) 18:02:24.49
静的厨ってほんと自分の無知を棚に上げた独善ばっかり
0170デフォルトの名無しさん2013/10/26(土) 18:14:52.22
結局C++方式が一番良かったってことじゃないの？
0171デフォルトの名無しさん2013/10/26(土) 18:23:58.25
性的口付けこそ最強
0172デフォルトの名無しさん2013/10/26(土) 18:24:31.87
JVM方式が現実的。
言語間の優越を問うよりも必要に応じて言語を使い分け。
後は言語間で如何にスムーズに連携できるかが大切。
0173デフォルトの名無しさん2013/10/26(土) 18:28:18.77
JVMってSmallTalkのアーキテクチャの劣化コピーだってね
0174デフォルトの名無しさん2013/10/26(土) 18:45:36.50
時代はPolyglot programmingですよ。
そのための実行基盤としてはJVMと.Netが一番実績がある。
最近はクライアントサイドを中心にJavaScriptエンジンもそんな立ち位置になりつつある。

Smalltalk?
0175デフォルトの名無しさん2013/10/26(土) 18:51:58.98
JVMは欠陥品だからダメだな
JavaScript使うよりSchemeのほうがマシだ
0176デフォルトの名無しさん2013/10/26(土) 19:12:27.64
反論できなくなると連投するからすぐわかるなこいつｗ
0177デフォルトの名無しさん2013/10/26(土) 19:14:44.48
>>165
型理論を根拠に反論おねがいします
0178デフォルトの名無しさん2013/10/26(土) 19:18:17.58
Smalltalkのtを大文字にしてたらそいつは100％ニワカ
0179デフォルトの名無しさん2013/10/26(土) 19:21:11.35
SmalltalK

↑かっこよくなった。
0180デフォルトの名無しさん2013/10/26(土) 19:23:29.92
型っていうのは競技にもあるんだよね、空手の種目。
つまり、大事なものなんだよね。
0181デフォルトの名無しさん2013/10/26(土) 19:33:22.93
>>168
だから静的関数型には関係ないじゃん(´・ω・｀)

静的は型を絞ったけど値の抜けまではチェック出来てなかった。静的関数型は値のチェックまでいれた完成体。何もできない動的は不完全にもほどがある。
別に静的関数型であることは必須事項ではないけれど。
0182デフォルトの名無しさん2013/10/26(土) 19:35:11.27
完璧じゃなければ、意味は無いんですよ！？
0183デフォルトの名無しさん2013/10/26(土) 19:51:44.05
完璧に近ければ良い、
道中のバグはしょうがないものとして対応出来る範囲に収まってればそれで良い
0184デフォルトの名無しさん2013/10/26(土) 19:58:34.98
完璧に近いって俺のことか？
なんか用あった？
0185デフォルトの名無しさん2013/10/26(土) 20:07:59.11
いつのまにか静的型＝静的関数型みたいな前提でうわごといってるアホ=181がいるし
0186デフォルトの名無しさん2013/10/26(土) 20:09:28.73
>>181
>静的関数型は値のチェックまでいれた完成体。

完成体になった結果、やっと動的型を取り入れたんだねw (>>115)
0187デフォルトの名無しさん2013/10/26(土) 20:10:37.71
そりゃ静的と動的の両方ができるから
完全体だろう？

静的が出来ないのはゴミだが。
0188デフォルトの名無しさん2013/10/26(土) 20:16:49.48
静的型が存在しない言語なんてあるのかな？
大抵の言語にはリテラルがあって、リテラルの型はコンパイル時に検査されるよなー
0189デフォルトの名無しさん2013/10/26(土) 20:17:56.55
Pythonのメソッドも第一引数は静的型がついてるなあ。
Schemeは型推論できたりするしなあ。
0190デフォルトの名無しさん2013/10/26(土) 20:20:45.27
>>188
まったくだ。

> 大抵の言語にはリテラルがあって、リテラルの型はコンパイル時に検査されるよなー
動的至上主義なら、それをやめろといいたいのか？

馬鹿だ。静的に、つまりコンパイル時に検査できる項目は
多ければ多いほどいいに決まっているだろう。
0191デフォルトの名無しさん2013/10/26(土) 20:23:24.62
言語仕様はミニマリストでいい
検査もミニマリストでいい
最低限の検査をやったら、あとは邪魔すんな
0192デフォルトの名無しさん2013/10/26(土) 20:25:40.27
>>191
誰のために？っていうのが抜けてるぞ。
0193デフォルトの名無しさん2013/10/26(土) 20:25:52.98
まあ結論としては、マギシステムが完成するまではC++方式でいいんじゃないか？って
ことだよね。
0194デフォルトの名無しさん2013/10/26(土) 20:32:25.67
>>185
お前みたいな意見もなくただ批判するだけの奴は楽でいいな
議論には邪魔なだけの存在だけど
0195デフォルトの名無しさん2013/10/26(土) 20:47:02.38
議論だったことに驚いた。
議論だったんだ。
へ〜。
驚き！
0196デフォルトの名無しさん2013/10/26(土) 21:14:22.02
煽り合いかと思った
0197デフォルトの名無しさん2013/10/26(土) 21:16:01.35
皮肉しか言えないんだな
つまらん奴だ
0198デフォルトの名無しさん2013/10/26(土) 21:19:40.48
いや〜半分くらい意味わかんないから読めるとこだけ読んでると、煽りあいに見えてたんだよ〜。
0199デフォルトの名無しさん2013/10/26(土) 21:48:03.70
動的型付けが糞って言うよりJavascriptが糞なんだよな。
0200デフォルトの名無しさん2013/10/26(土) 21:50:46.91
俺もJavascriptの良さがさっぱりわからない。
どこがいいんだろう？
prototype.jsが流行った時も苦肉の策にしか見えなかったんだけど。
なんかJSはすごいってみんな言ってたよね。
0201デフォルトの名無しさん2013/10/26(土) 22:00:17.60
年寄りにはわからないんだよ
おまえらベーマガ世代だろ
0202デフォルトの名無しさん2013/10/26(土) 22:03:54.25
いやjsは普通に糞やし
あんなの使うならlispやschemeのがいいし
0203デフォルトの名無しさん2013/10/26(土) 22:59:05.81
そりゃ言語使って遊ぶだけなら
珍しいものを使うほうが楽しいよ。
0204デフォルトの名無しさん2013/10/26(土) 23:29:13.38
JavaScriptは理不尽さがない
まさにWebの様にフリー
優れたハッカーは静的型に無駄と理不尽さを感じる
0205デフォルトの名無しさん2013/10/26(土) 23:31:05.65
ということにしたいんです！！！
0206デフォルトの名無しさん2013/10/26(土) 23:33:40.18
偉い人がそう言ってるんです。
優れたハッカーがそう言ってるんです。
0207デフォルトの名無しさん2013/10/26(土) 23:35:52.26
いや、俺そんなこと言ってないけど。
0208デフォルトの名無しさん2013/10/26(土) 23:37:35.72
痛いところを疲れると人に覆いかぶさって茶化そうとするの見苦しいな
言いたいことがあるならちゃんと自分の言葉で真正面から言えばいいのに
0209デフォルトの名無しさん2013/10/26(土) 23:38:10.54
僕もJavaScriptでグリーからフリーになりました(白目)
0210デフォルトの名無しさん2013/10/26(土) 23:39:34.20
まったくだよ。何が優れたハッカーなんだかｗ
俺は理不尽さを感じるって言えばいいじゃねーか。
どうせお前の主観なんだし。
0211デフォルトの名無しさん2013/10/26(土) 23:41:39.09
クラスもどきを作る関数とか便利だよね〜みたいな理不尽さを感じたことはあるな。
0212デフォルトの名無しさん2013/10/26(土) 23:41:55.06
え、ちょっと面白おかしく言ったら何この叩かれよう
異様で怖いわぁ……
0213デフォルトの名無しさん2013/10/26(土) 23:43:13.78
だよね。
俺もシャレだと思った。
0214デフォルトの名無しさん2013/10/26(土) 23:45:09.06
>>211
JSではクラスを作ろうとする時点で考え方が間違ってるんじゃないかとおもった方がいい
自作クラスとnewは極めて少なくなるはず、というか無くても十分設計できるのがJS
0215デフォルトの名無しさん2013/10/26(土) 23:46:44.55
それがクラスもどきを作る関数を持つライブラリが流行って、JSってすごいよね〜
みたいな話になるから理不尽な世界だなってことだな。
0216デフォルトの名無しさん2013/10/26(土) 23:48:21.76
JSを指して動的最高、ヌルポｗｗとか言ってたの？
よりによってundefinedｗｗなJSを根拠に？
0217デフォルトの名無しさん2013/10/26(土) 23:48:47.94
クラスもどきを作る関数を持つライブラリが流行ってる？
どれのことだ？
0218デフォルトの名無しさん2013/10/26(土) 23:50:21.25
「JS クラスもどき」と単純に検索するだけで何言ってるかわかると思うよ。
こんな手抜きな検索は普通適切じゃないでしょ。
それでも検索できちゃうから相当流行ってるんだよ、クラスもどき。
0219デフォルトの名無しさん2013/10/26(土) 23:54:19.41
>>214
ないわ
使い捨てしか作ったことないんだな
0220デフォルトの名無しさん2013/10/26(土) 23:56:35.67
使い捨て主義でカタカタ高速タイピングでコピペ脳内からしてると俺凄げ〜って気になるのはわかるよ。
0221デフォルトの名無しさん2013/10/26(土) 23:57:00.14
>>217多分クラスベースの継承の手法が無いから
そういうのを用意してくれるライブラリのことを言ってるんじゃないか？
だからこそ「もどき」のクラスを多用せずプロトタイプベースで書こうと言ってるわけなんだが
JSer以外にはわからないんだろうね

>>219
JSではnew無しでも十分オブジェクト指向ができる
0222デフォルトの名無しさん2013/10/26(土) 23:58:21.52
クラスがないと使い捨てになると思ってる時点で驚き
そもそもJavaScriptにはクラスはないから
0223デフォルトの名無しさん2013/10/26(土) 23:58:40.88
JSはプラットフォームの力を借りる言語なんだよ。
そのために特化してる。
だからプラットフォームで儲ける側はJS押せばいい。
そこに縛り付けることができるんだから。
それ以上のことをされたら自分のライバルにすらなれるんだから。
プラットフォーム上で「JS便利だね便利だね」と踊らされてる子ザルは
頭悪すぎでしょ。
プラットフォームを作る側にならなきゃ。
0224デフォルトの名無しさん2013/10/27(日) 00:00:53.89
JSってVBAと大して変わらないんだよね。
0225デフォルトの名無しさん2013/10/27(日) 00:03:08.51
>>223
それを言うならむしろ「JSは特化してなくて柔軟」だと思うんだけどな
0226デフォルトの名無しさん2013/10/27(日) 00:04:53.91
>>221
{}.callでnewと同等の処理が代替できるからとか言っちゃうのかな
欺瞞が大好きJSer
0227デフォルトの名無しさん2013/10/27(日) 00:06:50.68
標準メソッドに習うときは
new 〜〜()が見栄え的にもいいと思うけど
その他は
create〜〜()
にして
function create〜〜() {
var obj = Object.create(proto)
〜〜〜
return obj
}
ってやるのがプロトタイプベースっぽいな
0228デフォルトの名無しさん2013/10/27(日) 00:07:40.95
JSを開発したネットスケープはCSSの解釈をJSにやらせたわけ。
でも大失敗だったよね。
開発元でさえちょっと大きなものを作ろうとするとうまくいかなかったわけ。
これ言語としての限界だよね。
限界低すぎるわ〜。
0229デフォルトの名無しさん2013/10/27(日) 00:09:51.43
いまではフラッシュプレイヤーやPDFリーダーがJSで書かれてブラウザに載る時代ですが…
0230デフォルトの名無しさん2013/10/27(日) 00:10:38.46
>>>822
プリミティブは別だと言ったよ。
それについてはこっちの非だから謝るけどさ、
わざわざ蒸し返してまでレスすんなよ。
0231デフォルトの名無しさん2013/10/27(日) 00:11:21.08
正直、VBAと一般のプログラミング言語では土俵が違うでしょ。
まあ土俵って板のことでもあるんだけどね。
JSはHTML板？まあそういうとこ行けばいいんじゃないの？
JSはどっか行けって板ルールにも書いてあるし。
0232デフォルトの名無しさん2013/10/27(日) 00:11:29.95
どこからきたんだよ
0233デフォルトの名無しさん2013/10/27(日) 00:12:37.34
※JavaScriptが板違いと言いたい人へ
運営サイドから次のような見解が出ています。
|459 飛べない削除屋 ★ sage ：04/05/30 15:38 ID:???
|>‍>458
|ローカルルールにはひどく単純化されて書かれていますが、
|Javascript という言語そのものが板違いなのではありません。
|用途によって板違いかどうかを判断してください。
0234デフォルトの名無しさん2013/10/27(日) 00:12:47.81
Javascriptって子供のおもちゃでしょ？
ここは大人の板だから。
大きくなったらおいで。
02352302013/10/27(日) 00:12:52.81
すみません、誤爆しました。
0236デフォルトの名無しさん2013/10/27(日) 00:13:51.04
ここは誤爆しても大丈夫なんだよ〜。
0237デフォルトの名無しさん2013/10/27(日) 00:14:17.46
JSを駆逐するには新言語のエンジンを搭載したアドオン作れば良いの？
0238デフォルトの名無しさん2013/10/27(日) 00:15:28.92
いつも思うんだけどJSerが自分から長々と語り出したわけじゃなくて
JavaScriptという単語に過剰反応する人が話をこじらせてるだけだよね
0239デフォルトの名無しさん2013/10/27(日) 00:16:13.00
それでは無理だろうなあ。
新言語を使ういかしたプラットフォームが必要なんじゃないの？
ブラウザに変わる何かとか。
ネットスケープも変なもん残したもんだよなあ。
0240デフォルトの名無しさん2013/10/27(日) 00:17:15.12
既にJSはマルチプラットフォーム化の道を進んでるから
もう歩みを止めるのは無理
0241デフォルトの名無しさん2013/10/27(日) 00:18:48.53
それも無理だろな。
限界が低いから。
ブラウザから大きく踏み出すのは無理だと思う。
0242デフォルトの名無しさん2013/10/27(日) 00:18:52.05
むしろJavaScript規格を良くすることを考えたら？
新しい言語を普及させるより早いでしょ
0243デフォルトの名無しさん2013/10/27(日) 00:20:34.77
あ〜、それも無理だわ。
JSなくなんねーかなってみんな思ってるから。
ウンコを食えるようにとか、余程のウンコ好きじゃないと考えないでしょ。
普通ウンコ好きってないから。
0244デフォルトの名無しさん2013/10/27(日) 00:20:40.62
JSが嫌いなんじゃなくてJSerが嫌い
0245デフォルトの名無しさん2013/10/27(日) 00:20:47.50
>>214
違う
ブラウザ自体、Web自体が色んな所に進出してきてる
この度OSにも進出してAPI的には出来ないことがないほど揃ってきてる
0246デフォルトの名無しさん2013/10/27(日) 00:21:25.43
>>241
だった
0247デフォルトの名無しさん2013/10/27(日) 00:21:40.32
なんか理屈抜きで、感情でJSは嫌いって言ってるだけみたいだな。
何が嫌いかではなく、何が好きかで自分を語れよｗ
0248デフォルトの名無しさん2013/10/27(日) 00:21:57.72
>>244
俺もそんな感じだわ。
まあでも、JSも糞だな〜って思うわ〜。
0249デフォルトの名無しさん2013/10/27(日) 00:22:47.35
>>247
Haskellはいいね。
0250デフォルトの名無しさん2013/10/27(日) 00:22:54.09
>>243,244
参考までにどういう所が何で気に食わない？
0251デフォルトの名無しさん2013/10/27(日) 00:23:50.63
>>250
互換性の名のもとに、変な仕様を残している所。
0252デフォルトの名無しさん2013/10/27(日) 00:24:11.08
もてはやされるものが嫌いって
人間の性質としては分かるけど
プログラマとしては失格だな
■ このスレッドは過去ログ倉庫に格納されています