1 名前:デフォルトの名無しさん mailto:sage [2016/10/01(土) 23:40:48.89 ID:FvOeAcfn.net] 前スレ 【JavaScript】スクリプト バトルロワイヤル54【php,py,pl,rb】 echo.2ch.net/test/read.cgi/tech/1458955459/
151 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 07:34:32.13 ID:eQrSxPiM.net] >>150 やっぱりHelloWorldでしか比べてないじゃんというww そりゃ、簡単なプログラムで差が出るわけないよなー
152 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 07:56:11.59 ID:b9yuDuDK.net] >>124 ポイントをずらした反論で逃げているね。 ・言語(+フレームワーク)の選択によって開発効率に差が出る ・「特定の言語じゃなくても(フレームワークを)整備できる」という主張には何の根拠もない については特に反論しないということでOKかな
153 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 08:30:22.11 ID:YiooIUIr.net] >>151 > 差が出るわけない いや、逆だろ HelloWorldレベルでも歴然とした差が出るんだな これが Rubyじゃ、どうひっくり返ったってシンプルには書けない 書けたっぽくても欠陥だらけ 代数データ型を理解してないとわからんかもしれんけど
154 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 10:15:51.93 ID:J3jF+oV3.net] HelloWorld氏は代数的データ型どころか木構造も分かってなくて、 >>150 を怪しい機能を使ってHelloWorldを書けって要求だと誤解してる予感
155 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 21:59:17.17 ID:xK6BxW94.net] もうそろそろ代数的データ型で差が出るという 根拠をいったかなーと思ったらやっぱり言ってなかったw
156 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 22:00:32.17 ID:xK6BxW94.net] >>150 > 書いてみてもらえば差があるかないかはっきりすると思うよ ならあんたが書けば良いんだよw
157 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 22:05:21.45 ID:xK6BxW94.net] 俺の勝利条件:言語の違いでは開発効率に差がないという結論にすること 俺の敗北条件:言語の違いでは開発効率に差がでると認めること 俺に頑張って調べさせて、開発効率に差が出るという 証拠を見つけさせようとしているようだが、 俺が自分で敗北する努力をする訳がないだろう? 「お前は負けるために努力をしろ!」って言ってるやつって なんなんだろうね。行動が意味不明なんだけどw
158 名前:デフォルトの名無しさん [2016/10/13(木) 22:44:26.61 ID:C+WIXg7a.net] 横レスするけど、なんだかここ数日、変な流れになっているなあ... 代数的データ型を振りかざす彼ら(>>154 ,153,150,147,119,107,99,63,27)、 仮に「代数的データ型君」と呼ぼう で、代数的データ型の定義や利点に関して「代数的データ型君」自身からは何の説明が無いね 個人的には代数的データ型なんて直積と直和を意識したデータ分析/設計だと考えているから、 何をそんなに代数的データ型君が「銀の弾丸」であるかのように騒ぎ立てているのか意味不明 ちなみに、代数的データ型という用語は用いられていないけど、直積/直和/列という データ構造の基本要素を元にした設計手法は1980年代末には国内で登場して一部では普及している ・「標準構造に基づく系統的ソフトウェア設計法 (<小特集>プログラム設計技法)」, 片岡雅憲/金藤栄孝/宮本和靖/山野紘一, 情報処理 Vol.25 No.11 (Nov. 1984) ci.nii.ac.jp/naid/110002720151/ 簡単な解説ならば、上記論文の著者による以下の書籍が参考になる ・ソフトウェア・モデリング―ソフトウェア再利用のための設計パラダイム 単行本 – 1988/9 https://www.amazon.co.jp/dp/4817160160 また木構造や代数的データ型を分かっていて断定的に語るのなら(>>154 )、当然、その原典である 以下の論文くらいは読んでいるんだよね? ・Algebras for Tree Algorithms - Jeremy Gibbons 1991 著者はいわゆる代数的データ型の第一人者で、Haskell界隈で木構造の論文を漁ると必ず行き着く文献だよ
159 名前:デフォルトの名無しさん mailto:sage [2016/10/13(木) 23:14:36.15 ID:xK6BxW94.net] てすと
160 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 01:12:59.85 ID:JRwX0F1n.net] >>158 代数的データ型を関数型言語(元ネタはOCaml)で書くと効率いいですよ、ってのが >>27 の意見 なんだけど、HelloWorld君はそもそも代数的データ型を知らないので、この分野に関して開発効率の 話はなにひとつ言えないはずなんだよね 言えない以上、開発効率が言語によって変わらないという主張はできないはずなのに、それを 声高に主張しつづけるという論理的に明らかにおかしい状態になっちゃったので、周りのみんなが 面白がって「代数的データ型は?ねえ?どうなの?」ってからかってるのが現状かと HelloWorld君は「言えないけど、差があるという事実がないので差がないことが正しいんだ」という これまたわけの分からない主張を一切変えないのでまったくかみあってないというw
161 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 01:15:29.41 ID:8JWyfknx.net] 効率いいですよっていうだけで、 効率いい理由を言ってない。
162 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 01:24:21.14 ID:JRwX0F1n.net] >>161 変わらない理由も言ってないよね そりゃ、分からない範囲のことは言えないのが当然の話 まずはそこを認めるところから始めないと議論にならないよ
163 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 07:08:23.14 ID:7gx6wu5c.net] absence of evidence is not evidence of absence (証拠の量と結果は比例しません)
164 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 07:43:39.03 ID:8JWyfknx.net] >>162 変わらない理由は上の方で言ってるよ。 それに対して、代数的データ型がある場合は違うって 言ってきてるんだから、なぜその場合だけ違うかを 説明しないとだめ。
165 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 07:45:54.24 ID:JRwX0F1n.net] >>164 君の説明から分かることは「あぁ、HelloWorld君は代数的データ型を知らないんだね」ということ だけだよ まずこの事実を認めよう そこからじゃないと議論は始まらない
166 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 08:41:21.48 ID:AiVbXbyV.net] >>164 「ほら、HelloWorldじゃ言語の差は出ない!証明完了!」って言ってるだけじゃんw なおHelloWorldより難しいプログラムは分からない模様
167 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 08:58:45.24 ID:SNzkHoS8.net] >>165 > HelloWorld君は代数的データ型を知らない もうそこは自明でいいんじゃないかなと思う 本人も>>157 で「頑張って調べ」ないと代数的データ型すらわからないと暗にギブアップ宣言しているし 「敗北する努力をする訳がない」と、代数的データ型を前提とすることで敗北が確定することを 自ら予見できているわけだから
168 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 09:18:34.24 ID:8JWyfknx.net] なんでこう頑なに代数データ型で差がある事を 説明しないんだろう?w 仮に代数データ型が知らないとなったからって 差があることにはならないんだが。 誰でも知らないことが有るわけで、反論っていうのは その部分を突くわけよ。あんたはそれが出来てない。
169 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 09:36:41.21 ID:8JWyfknx.net] もしかして代数データ型君は代数データ型って言葉を 知っているだけで、それを使ったコードを知らないんじゃないかな? そう考えれば、代数データ型でどう開発効率が差が出るかが 言えないのも辻褄が合う。 本当に代数データ型で開発効率に大きな差が出るのなら 他の言語でも対応してるだろうしね。 それからHello Worldの例は、Hello Worldを出力する部分は関係ないよ。 アプリケーションサーバーと連携してルーティングを行ってパラメータを解釈して という内容を書いたら長くなるがフレームワークやライブラリがあるお陰で 本質的な部分だけにすることができる。その本質的な部分はどの言語も 必要最小限になるって話なんだから。それが読み取れないようじゃだめだねw
170 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 09:54:52.55 ID:AiVbXbyV.net] HelloWorld君にとってはHelloWorldが本質なんだねw
171 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 10:04:08.99 ID:d7FBnZt1.net] ここにhogeという(関数型ではごく普通の)言語機能がある hogeを使うと生産効率があがる仕事Xがある ある言語(仮にrubyとしよう)にはhogeがなく、制約からhogeをフレームワーク等で完全にシミュレートすることも不可能 Xにおいてrubyと普通にhogeを装備した言語との間には生産性に差が生じるのは自明
172 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 13:03:12.66 ID:jdu5cZVV.net] これはネットでよく見かける 主張はすれど根拠は示さないパターン さらにいうと なぜか根拠を不思議と出し渋るパターン 代数データ型で効率上がるって言う人の話ね
173 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 13:13:29.24 ID:nMNSKW91.net] >>172 しゃあねぇなあ じゃあ、ここにある評価器とconnection_infoを書いてみてよ ymotongpoo.hatenablog.com/entry/20111105/1320506449 >>27 みたいな仕事はこういった(もちろん。もっと複雑な)評価器を1から書く必要があるからね あとconnection_infoはリンク先の実装と同じく不正な使い方を出来ないようにしてね
174 名前:デフォルトの名無しさん [2016/10/14(金) 14:11:57.58 ID:R0NlyoEI.net] >>140 卵子「...」
175 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 21:53:35.92 ID:8JWyfknx.net] >>170 > HelloWorld君にとってはHelloWorldが本質なんだねw HelloWorldの"部分"が本質なんだよ。 この部分が本質だから、他は変えずに この部分(HelloWorldの部分)だけを変えれば良い。 そしてこの本質的なコードはどの言語でも大差ない。 だから言語によって開発効率に差がないというわけ。
176 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 22:30:50.25 ID:JRwX0F1n.net] HelloWorldみたいなちっちゃいものではちっちゃい差しか見えないもんね
177 名前:デフォルトの名無しさん mailto:sage [2016/10/14(金) 23:04:30.33 ID:GgR4zu7p.net] >>176 じゃあ、HwlloWorldをオブジェクト指向で作ってみて下さい
178 名前:デフォルトの名無しさん mailto:sage [2016/10/15(土) 00:57:52.87 ID:zdnRk0/Y.net] >>175 じゃあ>>173 の本質的な部分のコードを書いて 言語で差がないことを示してよ
179 名前:デフォルトの名無しさん mailto:sage [2016/10/15(土) 15:54:45.64 ID:zdnRk0/Y.net] HelloWorldおじさん逃げちゃった?w
180 名前:デフォルトの名無しさん mailto:sage [2016/10/15(土) 16:31:49.07 ID:t0okkxEp.net] >>169 フレームワークを用意しなきゃいけない言語とフレームワーク相当の機能がコアに組み込まれてる言語があるから、 フレームワークを用意しなきゃいけない言語はフレームワークを作るコストが上乗せになるよね ってだけの話なのに、君はどうやら、ありとあらゆる問題に対して既に素晴らしいフレームワークが提供されている理想郷に生きているようだ。 仙人か。
181 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 07:59:44.51 ID:ctyreU3P.net] 言語で生産性に差があるって事で決着がついたので、 あらためて良い言語を決めよう
182 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 09:41:12.91 ID:jwQXzgTl.net] >>179 そもそもコード書けるかどうかも怪しいレベルだね。ちょっと本職が突けばこの通り
183 名前:デフォルトの名無しさん [2016/10/18(火) 12:26:33.66 ID:87/Xx6tX.net] ちょっと本職が突けばw
184 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 12:38:42.89 ID:mznmuPbS.net] 結局Javaなんだよなあ
185 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 17:41:42.50 ID:6xf0fQvT.net] Javaなんて10年以上前に捨てました。ファウラーとかが、主婦が家事のウンチク垂れるのと本質的に同じレベルで、無意味な能書き垂れてた頃ね。コードを1文字書くまでに膨大な思案を要求されるようになった。芸術作品じゃないんだから、そんなもん、オワコンでしょ。 JSですよ。突出しちゃって5年以上たつよね。もう比較にならないほど別格。 因みに、nodejsで作った経験ありません。 基本的にpython使ってます。wsgiね、チェインオブなんちゃらパターン。 そんな奴が何でJS押すかって? だって、何も読まずにいきなり作れる自信があるからね。やっぱりブラウザとかWSHで使われてたのは大きいよ、過去に特に勉強したつもりがなくても得意にガンガン書けちゃうよ。俺だけじゃなくたぶんそんな人はゴロゴロいる。
186 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 18:07:44.27 ID:GiAjO0tK.net] Javaというか、多くの昔からある静的な言語が 開発サイクルが非常に速くなっていっている現状で シグネチャの変更スピードについて行けなくなってきている 結果扱いきれてるのは非常に力と資産をもった元請け企業のみで、 下請けはどんどん時代に取り残される悪循環が始まってる そういうところは5年後10年後生き残っては居ないだろう これからは殆どの力なき者にとってはスクリプト言語の時代
187 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 21:36:24.79 ID:2Y34d6Lk.net] >>185 > だって、何も読まずにいきなり作れる自信があるからね。 使い捨てのスクリプトならそうだろうけど ちゃんとしたものを作ろうとしたら大変だよ?(JavaScriptに限らない) まずビルド環境を整えないといけない。 そうしないとテストやカバレッジ測定すらできないから。 ある程度の規模になればフレームワークは必須だけど、 Reactを使うならばBabel(ECMAScript2015〜 + JSX)の導入がほぼ必須。 Angular2を使うならばTypeScript(JavaScriptの上位互換)の導入がほぼ必須 ちなみにECMAScript も TypeScriptもIE6ぐらいの時代のJavaScriptとはぜんぜん違う。 文法はPythonに劣らないどころか超えてると言ってもいいぐらいに改良された。 もちろんその反面、文法だけみると覚えることはPythonよりも多いがw そういった環境でモジュールを使うならばビルド環境に合わせたモジュール管理の仕組みを使う。 簡単に使えるが、環境を整えるまでが大変。 パフォーマンスを上げるために複数のファイルを結合したら圧縮したりするが これまたビルド環境を整えろという話につながる。 大変だがちゃんと整えれば静的解析でリアルタイムにエラーを教えてくれるようにもなる。 atom + eslint で構文エラーやスペルミスをリアルタイムに教えてくれるのは便利。 ここまでやったことないでしょ? つまりあんたが何も読まずに作れるっていってるのは、何も読まずに作れる範囲のことしかしてないからなだけ。
188 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 21:55:55.42 ID:dddY2TDK.net] >>187 HelloWorldより難しいプログラムを作れるようになったか?
189 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 21:56:27.15 ID:GiAjO0tK.net] 文法ねぇ 確かに大規模コードのための文法は着々と準備されていってるね。 でももうずっと思ってるがJSって、例えば連番の配列を作る、みたいな便利系機能や、 各クラスのメソッドが少ないんだよね。 まあ互換性の重要度が高いJSではそういうの増やして 負の遺産を作るリスクを取らないのは正しいと思うけどさ。 ちょっとuserscriptやツールの軽量なスクリプト書こうってときに 一々ライブラリ引っ張ってこないといけないのも困るんだよね
190 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 21:59:43.78 ID:2Y34d6Lk.net] >>189 それもまた「何も見ないで作れる」っていうのが 簡単なことしかやってないだろうなってわかるよねw
191 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 22:37:19.60 ID:5uBe5ZKU.net] >>189 負の遺産ではなくて、言語の仕様に対して実装が多すぎて、仕様を大きく変えても実装がどうせ 追いついてこないという実情があるんだろうね とはいえ Microsoft が古い IE をばっさり切ったのでその辺の事情も変わってくるかもしれない とか言ってるとスマホ全盛時代になって古いスマホブラウザに引っ張られるというこれまた新たな ネックが生じてしまう時代になってしまったのは皮肉というべきか
192 名前:デフォルトの名無しさん mailto:sage [2016/10/18(火) 23:17:00.33 ID:GiAjO0tK.net] と言っても仕様を決めてるTC39メンバーにはハードベンダーや研究者も居るけど 中核は全員ブラウザベンダーの人達でしょ。 その人達は慎重な面も持つけど消極的というわけではないよ。 ただ、『配列を連番で作る』よりも「WeakRef」やら「SIMD」やら「Atomics」やらの方が 重要と考えているだけだろう。 それと技術的な話だと「標準ライブラリ」の仕組みを整えないといけない。 それにはまず普通のモジュールの仕組みが整うのを待たないといけない。
193 名前:デフォルトの名無しさん [2016/10/19(水) 00:14:59.40 ID:OiCCOICb.net] WEB+DB vol.94 が出た 特集は、Scala, Groovy の対抗馬となる、JVM上で動く、Android用言語、Kotlin JS/HTML/CSSで、デスクトップアプリを作る、Electron
194 名前:158 [2016/10/19(水) 00:15:02.24 ID:SBws4+ZC.net] >>173 結局、>>172 が指摘してるように「主張はすれど根拠は示さない」し 「根拠を不思議と出し渋る」しかないみたいだね おそらく代数的データ型君は「自分の言葉では根拠を述べることができない」んだろな だから、他人の書いた文書のリンク先しか書けない 代数的データ型を分かった気でいるけど実は無知であることを 代数的データ型君本人が自覚できていないんじゃあ、しゃあないわ > じゃあ、ここにある評価器とconnection_infoを書いてみてよ しゃあねえからRubyで書いてあげた https://ideone.com/WpazqE 当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ 評価器については、>>173 のリンク先文書にJavaのコードがあるから省略しとく
195 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 00:32:17.20 ID:E+rnGfx8.net] >>194 そのconnection_infoは実行しなくても静的にエラーを弾けるの?静的検査できないなら同等じゃないよ それと、あのJavaの評価器でOCamlと同じ生産性だと思えるなら話にならない。冗長で書きにくいし可読性も最悪じゃん
196 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 00:41:17.08 ID:E+rnGfx8.net] つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん ちゃんと問題理解してる?
197 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 00:49:36.13 ID:E+rnGfx8.net] >>194 https://ideone.com/M3A7QS www
198 名前:158 [2016/10/19(水) 01:34:04.06 ID:SBws4+ZC.net] >>195 ,196 おいおい代数的データ型君達よ、論点を都合良くずらすなよ 今ここで議論しているのは「代数的データ型が生産性に与える影響」だろ? 静的型付けの利点、そしてML/Haskellといったモダンな関数型言語が提供する 完全な型システムとそれがもたらす型推論による簡潔なコードという利点なんて、 とっくの昔から何度もこの板では議論されている訳で、何を今更の話をしてんのよ 結局、代数的データ型君達は、型システムの概念と代数的データ型の概念を ごっちゃに理解して分かった気になっているだけだろ だから代数的データ型の利点に関する根拠として、>>173 のリンク先文書を示して 何の疑問も持たず平然としているんだよ >>196 >つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん 動的型付け言語であっても実行時に型検査はできるよ https://ideone.com/IUv2v2 そして繰り返すけど、型システムの概念と代数的データ型の概念はごっちゃにすべきではない たとえば代数的データ型を備えた動的型付け言語や、型推論の無い静的型付け関数型言語を想像してごらん そういった想定の元であっても明解さを失わない代数的データ型の利点とその根拠を示せと言ってる訳 つーかさ、いいかげん代数的データ型の定義とその利点/根拠を自分の言葉で語ってみろや
199 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 01:40:34.09 ID:OjZ5I+UL.net] え? 普段の仕事で代数的データ型(っぽいこと)を 使うようなことしてないの?俺はしてるぞ。 コードの半分ぐらいは代数的データ型があれば 簡単に実装できる。具体的に言うと
200 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 07:51:06.99 ID:i9OiXSaV.net] >>198 >しゃあねえからRubyで書いてあげた > https://ideone.com/WpazqE >当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ >>173 で自信満々にこう書いておいて、指摘されたら慌ててアサーション入れまくるのクソワロタw
201 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 07:52:41.50 ID:i9OiXSaV.net] >>200 あ、間違えた>>173 じゃなくて>>194 だった
202 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 07:56:48.84 ID:kMzukS4D.net] >>198 > 多くの必要な不変条件を型の中に埋め込みました。いまや不変条件は型の一部なのです。コンパイラはこれらの不変条件を破るコードを見つけ、拒否することができます。これは手作業で行う仕事を減らし、手で管理するよりも信頼できます。 ごめん。引用しちゃったw 君の手作業でアサーション入れまくりのコード(いわゆるテストの一種)より静的型検査の方が手間が少なく間違いにくいのは自明ですよ
203 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 08:17:18.72 ID:pQsxuliv.net] どこかの理想の世界ではそうかもしれないけれど 現実アサーションと静的検査は双方補い合うもので、どちらかあれば足りるものじゃ無いでしょ
204 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 08:27:14.32 ID:kMzukS4D.net] >>198 ConnectionInfo.class_eval do def foobar(s) @connection_state = s end end c.foobar("Hello World!")
205 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 08:34:11.07 ID:kMzukS4D.net] >>203 勿論そうだけど、不正な使い方できるコードを自信満々でアップしちゃうくらいには 手動は間違いやすいって事だよ
206 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 09:19:42.80 ID:Y8FYAwNZ.net] なんでいまさらタイプセーフありがてぇ 静的型付けありがてぇの話になっちゃってるの?
207 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 09:41:28.41 ID:zLw8XMfd.net] 論よりコードっていうけど、ほんとコードの提示って怖いね HelloWorldくんの底が知れた 無様… 逃げたほうがマシだったんじゃ?
208 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 10:09:01.69 ID:OiCCOICb.net] altJSでは、大規模開発では静的な、Haxe(ヘックス)。 Scalaのようなパターンマッチありの、switch Rubyの代わりは、関数型言語Elixir。 Ruby + Rails + ErlangVM で、並行処理が得意
209 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 15:06:28.19 ID:pQsxuliv.net] 静的は静的で、ライブラリをアップデートすると壊れる、 みたいなことが頻繁に起こるし、 安全な分と同じくらいそれを注意する気苦労がいる。
210 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 18:35:13.38 ID:lOW+ixbD.net] 静的型の信者じゃないけど、これじゃ同等とは言えないだろ 代数的データ型&パターンマッチだったら、こんなコードはコンパイルエラーだ conn = ConnectionInfo.new(ConnectionState::Connecting.new(Time.new()), IPAddr.new("128.0.0.1")) if conn.connection_state.kind_of? ConnectionState::Connecting p conn.connection_state.last_ping #=> ERROR!!! end
211 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 19:41:21.21 ID:lOW+ixbD.net] >>209 だから、作るものによって静的が向いてるものもあれば 動的が向いてるものもあるよな?って単純な話なんだけど HelloWorldおじさんは違う意見みたい
212 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 21:35:33.44 ID:/aiIuy0q.net] そうだよね。作るものによってというのが重要。 代数データ型が適している分野で例えばライブラリを作って終わりみたいな 仕事だと、差が出るかもしれないけど、実際にやった仕事(勉強とかではなく)で 代数データ型があったらなぁって思ったことある? 仮に有ったとしても全体のごく一部だけだろうね。 だから言語の違い程度でそんなに差は出ないっていうのは間違っていない。
213 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 22:05:06.83 ID:kMzukS4D.net] >>212 お前が差が出ないのを示せたのはHelloWorldだけだろw
214 名前:158 [2016/10/19(水) 22:29:30.29 ID:SBws4+ZC.net] >>202 あのぉ代数的データ型君よ、ナゼ>>173 のリンク先文書の中から わざわざそのパラグラフを引用して静的型付けの利点だとドヤ顔してるの? そこは(「静的型付け」ではなく)正に「代数的データ型」の利点だ どうやら代数的データ型君は、静的型付けと代数的データ型との違いも分からず ごっちゃに理解して分かったつもりでいることを自らゲロっちゃったみたいだね というか、そもそも「不変条件」にしても分かっていないんじゃないの? だからアサーションを「いわゆるテストの一種」などと書いてしまうんだろな 何度も繰り返すけど、代数的データ型と静的型付け(or 型システム or 型推論)の 利点は異なるし、それらをごっちゃにして議論を進めるべきではない たとえば、完全な型システムを備えた静的型付け関数型言語 OCaml であってすら、 代数的データ型を用いずにネットワークコネクション状態管理を定義すると (>>173 文書の type connection_state = | Connecting | Connected … で始まるコード)、 {state: Disconnected, last_ping_id: 100, …(中略)… } というコネクション情報値を表すコードに対して、OCamlコンパイラは 以下の要求仕様に含まれる不変条件に違反しているというエラーを検出できない > * last_ping_time と last_ping_id は keep-alive プロトコルの一部として使われます。 > …(中略)… > またこれらは state が Connected の時にのみ存在します。 だから代数的データ型を使いましょうね、って言うのが>>202 が引用したパラグラフで >>173 リンク先文書の著者が読者に伝えたかった主旨であって、静的型付けとは無関係なのよ さあ>>202 の代数的データ型君よ、これで代数的データ型の利点は理解できたかね?
215 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 22:33:50.18 ID:pM+OMbbr.net] >>214 それは代数的データ型の利点じゃないな。 代数的データ型を使うという手段が目的となっていて その手段を使おうとすると問題が発生する。 自ら苦行の道を進んで、苦しいのが解決したという つまりマイナスがゼロになっただけなのに、 (マイナスの状態から)増えたという変化の一部しか見てない。
216 名前:158 [2016/10/19(水) 22:43:15.12 ID:SBws4+ZC.net] >>206 >>198 で書いたけど、代数的データ型君は代数的データ型に関して 無知だということに気付いたけど、その事実を認めたくないんだろね だから>>211 みたいに、代数的データ型の議論を「静的 vs. 動的」という 対決構図へすり替えようと必死なんだと思われ
217 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 22:53:00.17 ID:aQ7ihF1n.net] そもそもこいつは、フレームワーク無しの素のRubyでHelloWorld書くのと、同じように素のPHPでHelloWorld書くのでPHPの方が楽だって認めてるんだろ それこそ「言語による効率の違い」だろ フレームワーク使えば同じになるって、そりゃ「言語の違いをフレームワークが吸収した」って言うんだよ
218 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 23:11:26.37 ID:pM+OMbbr.net] >>217 吸収してしまって、その違いが些細なものとなってしまったわけですよね?
219 名前:デフォルトの名無しさん [2016/10/19(水) 23:17:47.00 ID:IHKURc/r.net] >>188 そのアンカーは>186のが相応しそうだが
220 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 23:23:44.73 ID:kMzukS4D.net] >>214 そんなゴタクはいいから、さっさと>>210 みたいなコードが書けないrubyの例を見せて下さいよ それともC1カバレッジのテストでもやるの?
221 名前:デフォルトの名無しさん mailto:sage [2016/10/19(水) 23:26:44.07 ID:kMzukS4D.net] コード書くとボロが出ちゃうから、またコード書かずに長文書く書くマンに逆戻りかな?w
222 名前:158 [2016/10/20(木) 00:41:54.83 ID:UafaUCbB.net] >>220 ,221(ID: kMzukS4D) >>216 でも書いたけど、ホントに代数的データ君は議論の焦点を 代数的データ型から静的/動的へすり替えようと必死だねえ ねえ、どうしてそんなに必死なの? >>210 氏の指摘は代数的データ型に関するものではなくて、 型付けが静的/動的という違いに起因するもの 動的型付け言語であり、言い換えると型システムを持たないRubyでは、 パターンマッチの網羅性に相当する型エラーをコンパイル時には検出できない 繰り返すけど、こんな静的/動的の話はこのスレの住人であれば当たり前だよな? ただし実行中であれば動的に型検査できる 特にRubyであれば簡潔にコードとして表現できる コードは代数的データ型の議論が終結したら示すよ で、代数的データ型君は代数的データ型について理解できたのかな?
223 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 01:09:47.56 ID:vzgaJJkb.net] >特にRubyであれば簡潔にコードとして表現できる 簡潔に表現したコードなんて出てなくね?OCamlに比べたら冗長でしょ
224 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 02:29:07.30 ID:lUeWQjIy.net] OCamlがスッキリ書けるのは 普通はあまりやらないような特殊な用途だけで COBOLと同じようなDSLと思えばいい。 嘘だと思うのなら、今までの人生で勉強以外で OCamlで書いたコードを言ってみたら良いよ。 言えないか、ある種の自慢話(俺こんな高度なことしたんだぜ(笑))のような どこで使うのは全くわからない話をするしかないだろう。
225 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 03:21:02.12 ID:vzgaJJkb.net] 簡潔じゃないものを簡潔だと言ってるから違うと言っただけだけど? まあ書いた本人も冗長と認めたっぽいから良いか 流石にアレを簡潔はないよな〜
226 名前:デフォルトの名無しさん [2016/10/20(木) 07:14:57.75 ID:vW88Z4VH.net] >>218 服を着るようになったから人間に肌の色の違いはない って言ってる?馬鹿なの?
227 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 09:18:03.49 ID:lUeWQjIy.net] >>226 例えが意味不明
228 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 13:34:29.50 ID:KC19vCT1.net] >>224 >>27 みたいな仕事はお前から見たら特殊な用途だと思うけど、 それでも生産性に差は無いんじゃなかったっけ? それとも用途によっては差が出るに意見を変えたの?
229 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 20:52:40.32 ID:ZXfPioz4.net] >>228 俺は差が0とは言ってないよ。殆どないと言ってる。 殆ど無いという理由は、大きな全体があってその一部だけしか差がないから。 ベンチマークの話に例えよう。俺が使っているクラスライブラリがバージョンアップして 「○○クラスのオブジェクトのインスタンス生成が100倍速くなりました。」と書いてあったとしよう。 これで俺のアプリが100倍速くなる!・・・なんてことはいわない。 当たり前だよな。○○クラスのオブジェウトのインスタンスを何個生成するかによって変わるんだから。 一回のインスタンス生成にかかる時間が100マイクロ秒から1マイクロ秒に速くなった。 たしかに100倍だがそのオブジェクトを1000個しか作らないなら100ミリ秒が1ミリ秒になるだけ。 生産性もそれと同じ。特殊な用途であることは誰も否定しないだろう。 (先に俺が言った「嘘だと思うのなら、今までの人生で勉強以外でOCamlで 書いたコードを言ってみたら良いよ」に答えてないのがその証拠) 特殊な用途というのは使われる機会が少ない。プロジェクト全体のごくわずか。 だからそんなものは生産性に大きな差を与えるものにはならない。 「特殊な用途」がプロジェクトの殆どを占めることだってあるかもしれないだろ みたいな話はいらんからね。そんな言い訳する代わりに「今までの人生で(略)」に 答えればいいだけなのに答えないって、こ・と・はぁ〜って思うだけだから。
230 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 21:30:03.25 ID:G0R2mg5X.net] HelloWorldが仕事の大部分を占めればそうなるわな
231 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 21:33:15.39 ID:ZXfPioz4.net] 普通の人に仕事の大半がそうだろうなw 「今までの人生で(略)」
232 名前:デフォルトの名無しさん [2016/10/20(木) 23:18:09.29 ID:vW88Z4VH.net] >>227 どんな言語でもフレームワークを使えば同じように書けるから言語による差はない って言ってる?馬鹿なの?
233 名前:デフォルトの名無しさん mailto:sage [2016/10/20(木) 23:58:59.82 ID:RjGt0l94.net] 前提も頭も狂ってるから結論もおかしくなってることに気づかないバカ
234 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 00:01:07.08 ID:wzbGy53g.net] >>232 差がないのは言語による開発効率ね。 言語に違いは有っても開発効率に大きな差はない。
235 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 10:41:13.06 ID:kR8VeEnh.net] >>229 コード書けないHelloWorld長文おじさん
236 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 18:09:04.13 ID:vB7jIyI4.net] >>234 不正解 理論上は開発効率に大きな差があるが 現実は下請けに回ってきた時点で言語や環境が決められているか 既に決まってスタートしているので考える余地がない が正解
237 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 22:13:42.38 ID:wzbGy53g.net] 下請けの反対は元諸けと思うが 元請けとか上流になるにつれて言語は使わなくなっていくはずだが? UIとかウェブアプリのフロントエンドとか エンドユーザーに近いものほど、汎用的なものを使って 一般的なやり方ができるので言語の違いの差は出てこなくなる。 言語の違いだけで、大きく開発工数が変わるとしたら むしろ下請けというか特殊なライブラリだけを作っているようなところだよ。 大企業から頼まれてある機械の部品を専用に作る町工場みたいな。 ただ今時そんなことだけやってるような会社あるかな? ハードと違って一回作れば終わりだもんね。仕事が見つからないだろう。
238 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 23:36:53.11 ID:kR8VeEnh.net] このドカタには内製って発想がないのかな? >>27 を読んでフツー多重下請けの話だと思うか?
239 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 23:42:21.89 ID:p3mW1/xP.net] >>237 上流になるほど「安い人を大量に集められる言語」って基準で選ぶんだよ そこに開発効率なんて言葉はない
240 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 23:45:48.48 ID:p3mW1/xP.net] あと、上流は1つだけの下請けに出すわけじゃないからね 複数の下請けに出すことの方が多いから、余計に「安い奴隷を集められる言語」に行く可能性は高い どっかの下請けが夜逃げしたとしてもすぐに補充がきくようにね
241 名前:デフォルトの名無しさん [2016/10/21(金) 23:50:54.50 ID:QizP+3wH.net] かつての日本は研修以外ではコード書かなくてもSEとかなれましたから。 今はどうなのかな。
242 名前:デフォルトの名無しさん mailto:sage [2016/10/21(金) 23:52:16.03 ID:p3mW1/xP.net] >>241 今もそうだよ ただ、SI一辺倒だった時代ではなくなってきてるので、比率は下がってきてるけどね
243 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 00:06:02.54 ID:LnIwCgwC.net] SEなんて属人化をひたすら廃することでリスクマネジメントができてるとか勘違いしてる連中だからな だから安い奴隷を使えるようにする方向に動くんだよな その方がリスクが少ないと思い込んでるから 本当はプログラミングなんて職人芸のカタマリで、上位の職人は奴隷の何百倍の開発効率を叩き出す ことを知らないんだよな そういう職人を数人高待遇で雇えば奴隷なんて要らないのに…
244 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 00:20:16.83 ID:xefyYgJX.net] コードを書かない人間をクビにする作業が忙しくてコードを書けないんだろ 武器を持った人間を捕まえる仕事のために武器を持つことが許されるみたいな感じ
245 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 01:52:25.03 ID:cVDLvhGg.net] >>239 俺は元請けは言語使わないって言ってるんだよ。 その俺に元請けは安い人を探すっていわれたって、 えぇ、だから言語使わないでしょ?としか言うことがない。
246 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 01:54:01.83 ID:LnIwCgwC.net] >>245 使わないだろうけど決定はする そこに開発効率なんて基準は入らない 奴隷がいかに集められるか、ということだけが基準となる
247 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 01:56:24.28 ID:cVDLvhGg.net] だからなんで俺にそれをレスするんだよ? 反論してないのに反論している風な空気出すなってw
248 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 01:58:10.15 ID:LnIwCgwC.net] >>247 下請けには言語の決定権なんてない、という>>236 の意見に賛同している
249 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 02:08:31.54 ID:cVDLvhGg.net] 下請けに決定権がないのが、言語の違いで開発効率に差があることの根拠? 何を言ってるのかさっぱりわからない。
250 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 02:11:53.22 ID:LnIwCgwC.net] >>249 言語による開発効率なんて意味がないということ 所詮は開発効率なんて何も考えてない上流が決めることなんだから 大事なのは奴隷をいかに集められるかということだけ
251 名前:デフォルトの名無しさん mailto:sage [2016/10/22(土) 02:17:59.04 ID:cVDLvhGg.net] 言語の違いで開発効率に大きな差がない上に、 その僅かの差は人を増やすことで解決できる問題でしかない。 それが俺の意見とだれかさんの意見をまとめた答えだよ。