静的型付け言語の潜在開発生産性は今の100倍 ×5
■ このスレッドは過去ログ倉庫に格納されています
int a = 1; http://toro.2ch.net/test/read.cgi/tech/1383572174/
ちなみに動的言語でも変数に型とは別に不変条件を設定して、 >>3 静 的 型 付 け 言 語 ＝ う そ つ き 言 語 動的言語ってJavascriptとかでしょ？ >>6 >>7 >>5 >>8 >>6 の文章の瑕疵について指摘しようと思えば 数値と文字列の両方が格納できるクラス。 初心者ですよろしくおねがいします。 このあたりに hoge厨が逃げ込んだという目撃情報があります > 数値と文字列の両方が格納できるクラス。 >>11 つーか、varに相当するのは >>13 文字列と数値を両方格納できる型を用意するのは簡単だろ >>20 状態を持たせるのは正しい設計だと思うけど、なんでダメなの？ コンストラクタで値を指定して、 >>19 int a = 1; わかった！お話がしたいだけで中身はそんなに関係ないんだ。 C++で演算子オーバーロードしてintでもStringでも扱えるVariant型ってのを作ったんだ。 >>30 >>24 >>25 union NumOrString その「正しい定義」って動的型では実装不可能なんだよな。 >>29 >>30 >>34 >>24 に聞けよｗ>>24 は正しい設計だと思うって言ってんだから >>35 >>13 静的厨は童貞。 何でも入れられるといいなと思う時の代表が構文解析とかだろね。 >>37 >>46 >>942 >>37 >>45 爺どもはあと10年でいなくなる、そしたら俺の天下だと思って頑張ってるけど、 動的型使ってる奴がみんな同レベルと思わないでくれ >>52 コネで入ってきたやつに負ける程度の実力なら、下についたほうがお得な気がするけど、 静的動的の違いより、DFAとNFAの差のほうが気になる。 >>55 Javaが画期的だったのはDFAであることが保障されてたことじゃないのかなあ。 オートマトンなんかどうでもいいよ。そんなところがユーザーが気にすべきところならその言語はお粗末だ。 決定性がないってことは、外部からの入力に対して計算を実時間内に 全然話が見えてないんだけど、DFAとNFAは等価ですよ？ >>41 静的型付け言語＝平気で嘘をつく人格障害者向けの言語 >>41 さすがに自演だな 1と"1"が同値かはともかく16と"16"だと基数は何なのよとか"0x10"は受け付けるのか >>68 ポアソン分布について話してるとこに足し算の説明求められても うそです！ つまりJavaのJVMが行うgcの待ち行列はポアソン分布に従う とにかくJSネタに我田引水して「ES7で解決している」と言ってみるとかネタは無くとも 定価1万円くらいのJavaの本がブックオフで105円だったので買ってきました。 Javaの第二形態がJS。 俺JS使いだけど、 JavaScript は C の10倍 名前が長い S(100); ジャバスクリプトとシーなら4倍だ。10倍って大げさすぎたいしたことない。 >>90 >>97 最終的には5050という数字を見つけると、1から100までたしたいんだなと解釈してループコードに書き換えてくれる MAPが並列で速くなるのはわかるけど >>100 >>100 アホプログラマは5歳のガウス少年よりアホってことが良く分かりますね なあに、才能と計算リソースは無駄遣いされるものと相場が決まっている。 ラズパイにUbuntu入れてJSでソフトを作りました。 おまえら元気だよな。ネカマとJSerになりきるのはよう続かんわ。 総和ならこれくらいのことはやって欲しい。;p ネタ扱いされてるけど、JSがCの二倍速いのはほんとだよ。 >>108 ねぇ、動的型つき言語でのテスト方法教えて。 クラスBの要件についてのテストを書いておけば >>110 >>112 >>114 1、テスト志向を徹底するためには、まずデバッガを捨て去らねばならない つまりダックタイピングの限界ってことだね。 >>116 >>119 Bの要件を満たさないBを作る事がダメだと言ってるんだが >>120 >>122 >>124 クラスAのテストは通る >>125 まあ静的型でも変更を検出出来るのはメソッドのシグネチャの変更程度であって振る舞いの >>127 >>129 のようにわかってる人がいるから十分だよ。 >>129 >>128 よくテストがあれば大丈夫というが そりゃ型注釈がそのテストの代替だろ 動的型でも分かるシグニチャの変更と言ったら、 テストに完璧は存在しない。 erつけりゃいいと思ってやがる。日本人ならJS屋、C屋だろが。 結局動的でテスト志向に徹するのが最良って結論だったな JSはCの2倍速いこともあるが >>144 結局テストのことを考えたら静的のほうがいいべ 動的言語だと実装は仕様変更に強いがテストは仕様変更に弱い? モックにテストを書こうと思うのですが 動的言語が仕様変更に強いというのは >>151 >>152 テスト志向の徹底 そしてGDBに戦いを挑む>>156 だった。 >>152 モックを使ったテストでは >>159 テストはバグを見つけるためのものであり やべえ 俺は深夜メンテナンスがあるから 動的言語勢としてもJSerは隔離したほうがいいと思った >>144 http://www.tiobe.com/content/paperinfo/tpci/images/history_paradigm_type%20system.png 型は自転車でいえば補助輪のようなもの >>169 171だが。 >>1 をいま読んだが。 型はヘルメットとも言い換えられる >>172 動的がーとか言ってるやつとブレーキのない俺かっけーと言ってるピスト野郎とかぶるんだが気のせい？ 入学したら補助輪を外すのは世界の常識。 >>172 デバッガを使う無能が一向に減らないのは静的のせいだったのか。 なんでデバッガを嫌うの？ インタプリタしか使ったことがなければデバッガが無意味に思えても仕方ない >>181 デバッガで応急処置をするとかよくわからんわｗ ごく小規模なプログラム、個人での開発、保守不要の作り捨てのプログラムの場合は動的な方がよい ネットワーク分散処理、アジャイル、ハイパフォーマンスの場合は動的のほうが良い。 >>187 のレスには突込みどころがいくつもあるけど突っ込みません 突っ込みどころが多すぎて突っ込ませない手法は教祖がよくつかう手法。 >>187 さすがに10倍はない。 【動的言語の薦め】 Perlの重要な機能であるウェブクエリも忘れてはいけません。 日本でも投資顧問会社が「弊社では20世紀より伝わる信頼と実績のPerl そういう特定分野で使われている言語はその分野の実績のあるソフトウェアスタックが揃っていて >>196 >>176 >>196 >>199 >>205 >>206 >>204 >>207-208 >>209 あいかわらず妄想の塊だなw お大事に。ww >>203 >>210 負けを認めた瞬間から君は負け犬になったのです。 板住民の総意としてJS最強を認めたいと思います >>215 >>215 宇宙人からメッセージが一件とどいてます。 >>217 デマじゃないよ。 いや、簡単なサンプル作ったけど JSの良いところは速度だけではありません。 早いのは単にcのコードが悪くて、 JSが美しいとか言うやつの美的感覚ってｗ 【最も美しい言語 - 01スクリプト言語】 >>220 JavaScriptの関数読んだけど難しすぎてわけがわからん。 https://github.com/jquery/jquery/blob/1.8-stable/src/core.js#L772 >>232 だが静的脳の達人は質問者の追加入力を待ってノロノロ答えを計算するなどということはない >>234 でもさ、やっぱりさ、Java書いた後、PHPでコード書くと JavsScriptで関連クラスやユーティリティ群を束ねたモジュールを書く必要があるので ベストな書き方は、自分の作ったライブラリ部分と モジュール一つ書くのに色々書き方がある上に要プロキシコードとか生産性以前の問題。 >>247 あの、馬鹿にするのやめてもらえますか？ >>257 JSerがそこらじゅうに転移してるな。まるでヘルペスウイルスだ。 JavaScriptは用途が広がる一方で仕様拡張が追いついていない印象だな。 >>1 >>266 実行環境として普通に関係あるでしょ。 >>269-270 つまり商用の人はお断りですよと。 >>272 >>273 >>274 「PerlはCGIで使うものだ」ってのと同じ臭いがする CGIをつくることを目的にしている人とっては使いたい機能がPerlにあったところで ていうか、ブラウザで動くという最大のメリットを除けば >>278 使う人の妄想力でしょ。 >>1 「神の見えざる手は間違わない」と言ったのは神ではない。 >>282 みたいな意味不明な出力は 意味不明って偉そうに言う事じゃないでしょ >>282 このように自分の誤りに対して寛容すぎる人々によって好まれるのが動的言語です >>282 >>284 アダム・スミスが「神の見えざる手」といったのは明らかなのにｗ 静的型付け関数型言語を使ってみたけど 小ミスで全体が死にしかもどこでコケてるかわからない状態 あぁ、型がないとそうだろうね >>298 >>302 >>298 静的言語のメリットとして入力補完などIDEの支援が受けやすいとは昔こそよく言われた > けれども今時のIDEだとその点のメリットは動的言語を扱う場合でも大差ないと思う。 分からない部分も在るが、分かる部分もある 分かる部分＝近くのコード 引数にどんな型が渡されるかわからない言語とか怖くて使えない ぜんぜん違うよ！ 型が推論できるかとコードの近さとは関係ないよ 遠い場所のコードの型が推論できないのは 動的な機能を使えば遠くても推論できない > 動的な機能を使えば遠くても推論できない > 静的型付関数型言語で、遠い場所のコードは推論できないとか聞いた事ある？ A<B> x = y.foo(z.bar()); >>317 型推論って、静的型付け言語ならでわの >>319 今書いた関数をその場で自分で呼び出すなら型は無くても良いよ。 >>322 >>323 動的型で、コードの場所が遠いという理由で推論できない例をあげてみてよ >>326 >>325 >>328 >>327 >>329 >>330 >>324 >>330 >>332 >>334 >>327 >>337 遠くにあるコードを解析する言語は、全体が完成するまで解析できない 静的な型付けの言語は別に型の推測に遠くのコードを解析する必要なんて無いけど。 >>338 >>341 >>339 JSとLispの差にくらべてJavaとHaskellの差が大きすぎる JavaとHaskellの差は手続き型か純粋関数型かの違いだと思うけど。 >>343 >>322 みたいにドキュメントを用意して引数の型を丁寧に書くなら型を動的にするメリットがない 動的型付け言語を好む動的人間と静的型付け言語を好む静的人間とが居るかもしれない。 >>349 >>352 >>348 型に関してもコメントを残すなら書く手間は動的も静的もそう変わらんということ。 別なんじゃない。 >>356 コメントにはなぜそうしたのか？という理由を書く 他の動的言語はともかくJSerはツンデレだからね。 JS利用者が導入したわけじゃないしね。 >>360 コメントを書こう、メモを残そう、テストを完璧に行おう、デバッガを捨てよう。 >>364 >>364 の言っていることは。 > 'コメントを書かなくても理解させられるコードというのは、単に手続きを 間違いもそうだが、そもそもレスが論理的におかしい そもそも、型情報は というか>>349 実装見たら良いとか>>360 コメントいらずのコードとか謎。 >>372 >>373 >>372 >>375 型を宣言してもコメントはなくならないし、テストもなくならない >>374 >>379 >>376 あれでしょ？なんだかんだ言って コメントやドキュメントに書いてある事だけ知っていれば良かったらどんなに楽だろうか >>383 >>348 ドキュメントに具体例がないと苦労する ここでＤ使いが参上 >>384 >>382 >>389 話を戻そうね >>356 使うだけにしても実装を追うにしてもコメントのあるなしで大分違うからまずコメント書けってのには同意だけど 経験上、コメントがないとわかりづらい部分とコメントを書きづらい部分というのがかぶっているわけで 同じ手間でコードでかけることならば、コードで書いていれば良い。 服着てる現代人と裸の原始人とどっちが優秀かって問題だと思う。 >>393 >>348 >>394 > 後者だって怖くて使えね～w 比べるなら >>398 は変な人だね。 >>348 >>401 もっと具体的な型だったら >>401 >>403 > 静的型プログラマは型に頼って変数名はテキトー、 コメントは基本ドキュメンテーションコメントだけでいいんだよ >>407 >>406 >>407 >>404 というわけで>>407 はウソツキであることが確定w >>411 >>410 型があるとこういう、明らかにエラーになるべき所を >>400 >>413 >>415 >>417 >>416 >>419 そもそも無駄にコメント書くやつがアホ >>422 >>403 >>424 >>423 >>425 >>420 >>427 >>416 つまり、コメントを書かないですむということは、その程度の手続きの羅列 静的型だって型が文脈的に自明なところは型推論で型宣言をすっ飛ばす流れだから似たようなもの。 つまりですね、JS以外はみんな糞言語ってことです。 JSはともかく動的静的関係ないのはそうかな。 コメントを書くなと言ってた馬鹿は静的がその点で優れていると >>432 >>432 はバカでわからず屋だから本一冊の説明が必要なのかもしれんね。 >>417 >>436 コメントがなくても読みやすいコードを書け どうせ初心者にありがちな 自然言語でまともに会話できない醜態をさらしつつ 誰もコメントを否定してないのに >>433 >>437 普通のソフトウェア開発の場合、 手続きの羅列程度のものに 人間は計算が苦手だったから徹底的に最適化しないと計算できなかったが 型推論っていうのは、 Haskellが <T> を書かなくていいのは書かなくても補完できるからなんだよな そんな当たり前のことを今さら説明して何がしたいん？ >>452 の間違い訂正 Haskellが優れているのは分かるんだけど、 型推論とテンプレート(ジェネリック)は別なんじゃ… JavaやC#が冗長といっても 「コメントを書かなくていいようなコードを書きなさい」 >>457 聞いた話だが、 型があればコメントを書かなくていいとか言ってなかったっけ？ 複雑なものを書くのが俺の仕事だみたいな感じなんだろうね。 >>463 きっと、コメントに型情報だけを書いていた人なのだろう。 >>458 変数宣言が楽 コメントがなくてもわかるような コードで説明できないからコメントで説明するんだろうね 「コメント」の指す意味が交錯してる コメントは核と同程度の危険性を持つ １年後に自分のコードを見たときわけわからんということが無い程度にはコメント書いとけ。 コメントがなくてもわかるような つまり、手続きの羅列以外書かないことが重要なのです。 >>460 コメントに似てる方が負けというルールなら コメント無くてもわかるようなコードにコメント付記するのが最強。 コメントがなくてもわかるような ドキュメンテーションコメントは書きますし そうか、静的型付言語なんか使っていると コメントを有料化すればコード品質が上がるかもしれんね コメントのない保守不能なプログラムができるだけだと思う ネーミングマジックで何とかならないの？ ネーミングマジックの効果って結構あると思うんだよ。 地下牢をかっこいいと思うのは中二マジックでしょ 怠惰は美徳だとかいうアイデアは JavaとかC#で馬鹿みたいに長い関数名付けてる事があるけど、 関数名が長かろうが短かろうが公開メンバのコメントはつける >>499 俺は俺のためにコメントつけてるぞ。 グローバル関数名が長いのはどの言語でも同じ 動的言語で50文字超える関数名とか見たことないけどな >>506 これに匹敵する長さの関数名を コメントがなくてもわかるような 静的型言語はバカ救済言語だから コメントがなくてもわかるようなコードを書けってきかない？ WSSecurity10WSTrustFebruary2005WSSecureConversationFebruary2005WSSecurityPolicy11BasicSecurityProfile10プロパティ 型チェックが甘くならないように細かく分類すると >>520 >>520 でも$つけるのめんどくさい Perlに至っては$_が省略されることすらあるしな >>512 安全厨は酒が危険だと言わず自動車が危険だと言う >>513 俺は事故起こさねーよって言って追突されてあぼんする馬鹿みたいだな >>531 そうだな。よく見たら1時までしかレスしてないから今起きたってことはないか。 話は戻るけど 日本人相手だと細かいニュアンスが伝わりにくくなるだけだしコメントの用を成さなくなるだけ Well, we should use Himawari and write both codes and comments in Japanese. Konkansuuhakasanwookonaimasu. >>542 残念ながら英語は書けない。 >>545 >>546 英語もどきを翻訳して正しく訳せることはない。 自分も同じ間違いをしたことがあれば読める 英語でコミュニケーションできない奴にプログラマの資格なし。 音楽でも資格のない者が演奏することは禁止されてるっぽいからね 動的型言語でプログラムを書く資格のないものが Javaのような静的言語に比べてJSやPHPのような動的言語は習得コストが高い。 だから技術的には合法だって >>559 静的言語は悪くないよ 何言ってんだかわかんないんだけど？ まあ一般論としては動的はよりライトな応用分野の方が多いような。 rev.2. rev.3. オープンソースじゃないのでやめてください！ JSは実行時に最適化するので速いのです。 実行前に最適化したほうが速いよ。 >>577 >>578 >>578 まあ、javascriptは後方互換性を捨てた方がいいよね 後方互換性を捨てることで > 後方互換性を捨てることで 無駄なコストを捨てようとしたら どうせES6以降のコードはES5の実行環境では動かないのだから、use "ES6"とか JSは互換性にも配慮されているので問題ありません。 低級言語の仕様を変えさせないという目的もある >>587 昔のことを覚えていなければ、いま新しいことをしているのかどうか分からない letは別に新しくともなんともなく単に普通なのであって、varも古い云々以前に単に変なだけ。 最強のPythonが動的型言語なので 普通は文字列は一次元で絵は二次元だけど オメーらあんまりｇｄｇｄ言ってっと型に嵌めちまうぞッ Pythonも微妙になってきたな。 >>591 altJSって、2007年頃のLLブームに乗っかり、 >>600 > つかどう見てもES4のときに一度ばっさり互換を切るべきだった。 JSは土管なんだから 処理系間の互換性が崩壊してる言語で後方互換性がどんな意味を持つんだろうか ESがバッサリ互換切り捨てたらバージョン間互換すら出来なくなるよね コメントがなくてもわかるような >>608 コメントの9割は無駄！～アンチプラクティスから学ぶ洗練されたコメントの書き方～ #code #コード https://codeiq.jp/magazine/2013/12/3700/ http://www.appresso.com/now/column/2010/09/0009-1.html http://d.hatena.ne.jp/eel3/20130815/1376529541 コメント率50%とか正気の沙汰ではないな コメントを読む必要があるのはソースを読めないから。 テストを徹底するのは不可能 なぜテストを徹底するのが不可能かというと >>616 >>618 >>619 >>616 のレスはホワイトボックステストにしか当てはまらないが、 >>621 http://www.chintai.net/tokyo/search/en_101001/ >>610 コメントがなくてもわかるような 名前を変に省略形にしたり、変数がアルファベット1文字だったり、tmpだったり、 まあ業務系は客観的に見て暇な仕事だからコメントをウダウダ書いて暇つぶしする余裕があるww >>616 統合環境にはチェックボックスが32個ぐらいあるんだな そもそもCPUもディスクもメモリもOSもデバイスドライバもランタイムライブラリもそこまでの品質に達していないからPCごと窓から投げ捨てろ Linuxの品質は高いが、OSSは総じて品質が低い ソースを公開する動機は品質向上というより、古いソフトの寿命を延ばすことだから おびただしいゴミの山から一握りの大成功だけをもってOSSと呼んでいる 業務アプリとかの方がクソっぷりは上だけどねー いやいや捨てられて都合よく記憶からも消去されてしまうクソにはおよびませぬ 今年はC++の1.5倍速いJSが馬のように勝つでしょう(^.^v) Smalltalkも遅いしな。 まあC#よりは速いんだからJSの速度は認めるしかないわな。 実際C#と同等に動いてくれるならわざわざネイティブで作らんでもいいんだけどねぇ(´・ω・｀) ちょっと話変わるけどC#とJSって近いよな >>631-632 Googleは情報を集めることを公言してるし、 ×問題が少ない 自動車の事故と同じ >>641 C#もJSも最終的に機械語になって実行されるんだから何も変わらん 静的言語はキャストがめんどうなんだよな。 >>650 >>652 この世はC#を無条件でWindows+.NET+Formsへと脳内変換する視野狭窄なドカタで満ち満ちている >>651 >>1 のコードだと、指摘したい内容に対して微妙に噛み合ってないような >>657 現在プログラム板のID制導入の投票を実施中です http://kohada.2ch.net/test/read.cgi/vote/1394290844/ メインで使う言語が Ruby から入って今は専ら Java だけど、 NumOrString で何がやりたいの？ Genericで型を作る事（IntやDouble とStringだけに制限かけるとか）でもできるし 何もしないでAnyでも良いだろ 動的型言語が急激にオワコン化しつつある http://techblog.realestate.com.au/the-abject-failure-of-weak-typing/ >>662 「静的型言語」と言ってる時点ですでに穏健派の思う壺だよね TypeScriptみたいに、動的型言語なんだけど、 言語について静的と言っているのか、型付けについて静的と言っているのか、曖昧な表現を使うな。 >>667 何を言ってるんだよ TypeScriptは単なるプリプロセッサ。 機械語レベルにまで変換したら、 >>670 >>672 >>674 メモリ上のオブジェクトのビット幅と符号等のエンコーディングだけでは型じゃないというなら、 BCD はとうの昔に忘れ去られたんだね‥あの系のフラグの上げ下げ、一生わからないだろーなー‥ (どうしよう「ノイマン型コンピュータの最大の弱点はデータとオペランドが >>675 >>672 >>677 >>681 ダブルディスパッチなら型そのものに振る舞いを記述する必要はない ここ最近の「型」って言葉、人によって指してるものが違うよね ユニバーサル多相からアドホック多相に退化して何がうれしいの？ r､＿Lヽ＿__ JSがCより早いとか言ってる奴はキチガイ このスレアホみたいに勢いあったのにあいつらどこ行ったの？ >681 匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、 https://twitter.com/Lyrise_al 機械語にも型はあるに一票 で、なんでこんな変な流れになってるかちょっと考えたんだけど 急激に過疎ったスレとして資料価値がある 必死で会話続けようとしてるが誰もついてこないが滑稽 えええ、そういう意味なの？ webサーバー＝ｈｔｔｐサーバーってことなの Win32APIスレに>>699 をコピペしてんじゃねえぞ 不具合が１件でもでたら、終身刑がまっている状況に耐える 不具合を言語のせいにする会社は潰れるだろうねえ・・・ >>705 ムカシハ静的デ～もなんも実行プログラムの一部をRAMに置いて そうそう、LD命令のオペランドを変数領域に使ったりしてたな。 得意気に自己書き換えコードを語る前にスレタイ読めよ... 静的言語を導入すると一個も"完成"しないからゼロは何倍してもゼロという話だろうか 「静的型付け言語」を「静的言語」とか言う奴は漏れなく論点を理解できてないバカだと思う あたかも自分は貢献しまくり >>713 であった... http://gihyo.jp/news/report/01/rubykaigi2016/0001 自分が欲しいものを作っただけなのに >>718 option explecit な感じに仕上げてくれるんなら型があってもいいな 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方 ■ このスレッドは過去ログ倉庫に格納されています
