【JavaScript】ｽｸﾘﾌﾟﾄﾊﾞﾄﾙﾛﾜｲﾔﾙ55【php,py,pl,rb】

【JavaScript】ｽｸﾘﾌﾟﾄﾊﾞﾄﾙﾛﾜｲﾔﾙ55【php,py,pl,rb】 at TECH

[前50を表示]
100:デフォルトの名無しさん
16/10/11 19:28:27.31 4aJkZN3t.net
>>79
C#ってどんなの？　特徴教えて
C++とは大分違うの？

101:デフォルトの名無しさん
16/10/11 22:40:16.74 Zk32hdPj.net
C#はゲームでのC++に置き換わる覇権言語

102:デフォルトの名無しさん
16/10/11 22:48:15.84 hjXFmrTp.net
C#はC++とはまるで違う
近いのはJava
Javaより後発だというのと、Microsoftお得意の後方互換性なにそれ？コンセプトによってJavaより
先進的な機能が色々取り込まれている
惜しむらくはWindowsでしかまともに動かないこと

103:デフォルトの名無しさん
16/10/11 23:15:17.75 KsPXMvNv.net
>>99
それで代数的データ型による差はどれくらいあんの？ｗ

104:デフォルトの名無しさん
16/10/11 23:16:39.08 hjXFmrTp.net
>>103
それすら知らんで「差はない」とか言ってたの？
差はないと言い切るからには当然知ってるはずだよね

105:デフォルトの名無しさん
16/10/11 23:20:57.60 KsPXMvNv.net
>>102
> 惜しむらくはWindowsでしかまともに動かないこと
iPhoneでC#アプリが審査に通るワケ
URLﾘﾝｸ(www.atmarkit.co.jp)
> 　iPhone向けにC#で書かれたゲームが40本以上存在する―
もう7年も前からこんな状態なのに今頃何をいってんの？
あんたが言ってるまともに動かないっていうのはC#という言語じゃなくて
Windows向けのライブラリでしょ。
iPhone、Androidで動くゲームの多くがUnityを使って作られているがその言語はC#
そしてもう一つのクロスプラットフォームの開発環境のXamarinもC#
今の時代クロスプラットフォームで開発しようと思ったら、
JavaScriptかC#なんだが。

106:デフォルトの名無しさん
16/10/11 23:23:10.02 KsPXMvNv.net
>>104
無いものを証明しろといわれても困るんだがｗ
差なんてどこを見てもないんだから
何も言えるわけがない。
これは悪魔の証明といわれている類の問題でね。
無いのに比べて有るほうを証明するのが簡単なんだから
有るということを証明しましょうって話。

107:デフォルトの名無しさん
16/10/11 23:32:39.98 DEfYJAZn.net
>>106
そもそもお前、代数的データ型が何か説明出来んの？って話よ
これは別に悪魔の証明じゃないぞw

108:デフォルトの名無しさん
16/10/11 23:35:50.02 KsPXMvNv.net
なんでわざわざ遠回りしてるんだ？
本題は開発効率に差があるかどうかだろ？
仮に俺が知らなかったとして、開発効率に差がある事にはならんのだが？

109:デフォルトの名無しさん
16/10/11 23:42:50.22 hjXFmrTp.net
>>108
知らなかったら差がないことも知らないだろ？
知ってるからこそ差がないことが言えるのに

110:デフォルトの名無しさん
16/10/11 23:43:29.05 hjXFmrTp.net
>>105
40本って…そんな誤差レベルの本数の話されてもね

111:デフォルトの名無しさん
16/10/11 23:49:46.06 DEfYJAZn.net
>>108
プログラマは、自分が基本的な知識と思ってる事すら知らない奴の言うことはハナっから信用しない
いくら言葉を重ねてもね
残念ながらそんなもんです

112:デフォルトの名無しさん
16/10/11 23:52:42.58 KsPXMvNv.net
>>109
お前、議論ってものが分かってないのか？
反論っていうのは、相手が知らない点、見落としている点を突くことなんだよ。
だから、穴があると思ったらそこを突っつけばいいじゃん？
なんで遠回りしてるんだ？って聞いたのは、
穴を見つけたはずなのに、それは穴ですか？って俺に聞いてるからだよ。
俺が穴ではありませんって言ったらお前諦めるわけ？
俺が穴ですっていったら、お前はそこで満足して諦めるわけ？
どっちにしろ、お前はその穴を突っつく。
つまり開発効率に差があることを指摘しないといけないんだから
さっさと指摘しろって言ってるわけ

113:デフォルトの名無しさん
16/10/11 23:56:28.84 KsPXMvNv.net
>>110
> 40本って…そんな誤差レベルの本数の話されてもね
7年前の話だぞｗ
今はゲーム開発で独占的な地位を築いている

114:デフォルトの名無しさん
16/10/12 00:00:25.52 u+SfUSoS.net
>>112
簡単じゃん
お前はHello World以外のあらゆるシステムで開発効率に差が出ないと言ってるんだから
そうじゃない例もちゃんと知ってるんだよな？という確認をしてるだけじゃん
そうじゃなかったら「あらゆるシステム」の部分は誤りで、「俺の知ってる狭い範囲のシステムでは」
と言い換えなければいけない
な？簡単だろ？

115:デフォルトの名無しさん
16/10/12 00:05:38.91 bJD9Q0hO.net
> そうじゃなかったら「あらゆるシステム」の部分は誤りで、「俺の知ってる狭い範囲のシステムでは」
> と言い換えなければいけない
やっぱり悪魔の証明じゃんｗ
っていうか「俺の知ってる範囲では無い」と言い換えた所で
お前の主張である「開発効率に差がある」は認められないって
分かってるかい？
お前がやってるのは裁判で追い詰められた弁護士が、
「あなたこの文書の存在を知っていますか？」
→ いいえ知りません
→ 「以上反論を終わります。」
って言ってるようなもんだぞｗ
それが何かをちゃんと説明しないとお前の主張は認められない。
神じゃないんだからさ、誰でも知らないこと（知ってるけどなｗ）があるのは当たり前。
「あなたは知らないことが有った！だから俺が正しいことになりませんかね？」
とか当たり前の結論を出して満足してるなよ。
さあ、お前のターンだ。さっさと開発効率に差があることを説明しろ。

116:デフォルトの名無しさん
16/10/12 00:08:16.73 bJD9Q0hO.net
俺だったら、相手が知ってるかどうか確認せずに知らないと決めつけて、
「どうこういう理由で俺の主張が正しい！」って語るだろうなｗ
おそらく言えるほどの主張がないんだろうね。
だから「あなた知ってます・・・かね？」という
弱腰の確認からはじめる。

117:デフォルトの名無しさん
16/10/12 00:09:25.62 u+SfUSoS.net
>>115
まーだ分かってないんだな
「お前の知らない範囲のシステム」については「お前は開発効率が変わらないことを知らないだろ？」
と言ってるんだよ
「俺の知らない範囲でもあらゆる範囲で俺の法則が適用できるんだ」なんて理論が通じるとでも思ってんの？

118:デフォルトの名無しさん
16/10/12 00:11:52.16 bJD9Q0hO.net
>>117
俺が知らないっていうのなら、俺が知らないことを
言ってみなさいよｗ
俺が知らないことを指摘することは、
俺が間違っているということにはならのだよ？

>>107でそうお前も認めたしな。
> そもそもお前、代数的データ型が何か説明出来んの？って話よ
> これは別に悪魔の証明じゃないぞw
質問が「代数的データ型が何か説明出来んの？」に変わってる。
この質問は言語の違いで開発効率に差があるかどうかの話ではない。
だからどう答えても俺の主張に影響はない

119:デフォルトの名無しさん
16/10/12 00:14:19.39 u+SfUSoS.net
>>118
代数型データを知らない以上、開発効率に差がでないなんて一言も言い切れないよな
つまり、お前の理論は間違い、それだけ
お前が代数型データを知っていて、それを使う範囲でも開発効率が変わらないと説明できるなら
お前の理論はその範囲では合ってると証明できる
つまり、証明義務はお前の方にあるんだよ

120:デフォルトの名無しさん
16/10/12 05:06:31.01 hi5pDFH9.net
>>102
なにいってるんだ？MicrosoftとかC#は後方互換を常に重視してるだろ
さすがに互換性のために利便性を捨てるJavaほどではないが、過去のソースやバイナリはほとんどの場合うごく
あれで後方互換無視って言ったら数えるほどしか言語残らんぞ
マルチプラットフォームもUnityに限ればかなりすごいぞ
パソコンから任天堂/ソニーゲーム機、スマホまでなんでも動く
ポケモンGoとかもそうだ

121:デフォルトの名無しさん
16/10/12 06:17:04.66 36fXw7IK.net
>>120
＞　C#は後方互換
じゃあ、C++のコードは動くの？　開発言語の後方互換ってそういうことだよね
C#の前はJavaなのか。　なら、Javaは動く？

122:デフォルトの名無しさん
16/10/12 06:37:27.85 h9K+2gUj.net
>じゃあ、C++のコードは動くの？　開発言語の後方互換ってそういうことだよね
そんな解釈してる奴見たことねぇｗ

123:デフォルトの名無しさん
16/10/12 07:01:10.41 NQ8LRzeO.net
>>93
>フレームワークやライブラリが特定の言語でしか整備されていなければでしょｗ
現実に、今は特定の言語でしか整備されていない。
現在の状況における現実的な議論としては、言語の差かフレームワークの差かはともかく、言語選択によって開発工数に差が出ることは事実。
>特定の言語でしか整備できなければ、言語の差になるが、
>特定の言語じゃなくても整備できるだろうね。
>だからそれは言語の差ではなくて、フレームワークやライブラリの差
「整備できるだろう」という憶測だけで理由が一切示されないまま、直後に「だから」と繋げて結論を断定して終わる論理展開はおかしい。

124:デフォルトの名無しさん
16/10/12 09:36:47.16 bJD9Q0hO.net
特定の言語でしか整備されていないフレームワーク目当てで
言語を選ぶんでしょ？
それはフレームワークの選択であって
言語は仕方なく決まっただけだよｗ

125:デフォルトの名無しさん
16/10/12 09:43:32.39 R3I0FCLG.net
そのフレームワークを書いた人間は言語で選んでるんですけど
フレームワークが勝手に生えてくるとでも思ってんの？

126:デフォルトの名無しさん
16/10/12 09:53:08.98 R3I0FCLG.net
ある種のフレームワークを書こうと思った時、特定の言語機能（例: 代数的データ型）があるかどうかで
書きやすさが全然違うんだよね

127:デフォルトの名無しさん
16/10/12 13:08:44.84 hi5pDFH9.net
>>121
ネタか釣りだと思うが、初心者が間違えるとかわいそうなのでマジレスするとそれは後方互換じゃない
後方互換は同じ言語の前のバージョンと互換性のあること
C#はいくつかの言語を参考にしているが、まったくの新規の言語なのでC#の前は存在しない

128:デフォルトの名無しさん
16/10/12 13:20:34.12 AH5cZ6Nj.net
>>127
++
++
が#になったのでは？

129:デフォルトの名無しさん
16/10/12 22:03:52.29 bJD9Q0hO.net
>>125
> そのフレームワークを書いた人間は言語で選んでるんですけど
それは言語を選んでいるのであって、開発効率に差があるということではないよ
言語を選ぶ理由はいくつか有る。自分がたまたま詳しかった言語とか
フレームワークを作るのに便利なライブラリが有ったとか、
対応しなければならない環境が使える言語がそれしかなかったとかね。

130:デフォルトの名無しさん
16/10/12 22:04:38.80 bJD9Q0hO.net
>>126
> ある種のフレームワークを書こうと思った時、特定の言語機能（例: 代数的データ型）があるかどうかで
> 書きやすさが全然違うんだよね
だからそう思うならば、その理由を書けばいいだけの話。

131:デフォルトの名無しさん
16/10/12 22:10:11.54 u+SfUSoS.net
> それは言語を選んでいるのであって、開発効率に差があるということではないよ
開発効率に差がないということでもない
お前の知らない世界については「開発効率に差があるかもしれない、ないかもしれない、どちらか分からない」
が正しいのであって「差があることが言えてないのであれば差がないということ」という論理は暴論でしかない
差がないことを言いたいのであれば、それを証明する義務はお前にある

132:デフォルトの名無しさん
16/10/12 22:12:35.42 DGH9OdjO.net
>128
それは単にネーミングの話であって
ファミコンに対するスーパーファミコンみたいなものだよ

133:デフォルトの名無しさん
16/10/12 22:32:07.73 bJD9Q0hO.net
>>131
> 差がないことを言いたいのであれば、それを証明する義務はお前にある
上の方に書いた。当たり前だが俺が知っている範囲でだ。（知らないことを書けるわけがない）
で、お前は俺より詳しくて知ってるんだろう？なら知ってることを書けよ。
俺が証明するとしたら差がないという答えにしかならないんだが分かってるかい？
お前のために差があることを俺が証明するわけがないだろうｗ
差がないと証明する義務はすでに果たした。あとはお前が俺の知らないものを持ってきて
差があると証明してくれるんだろう？早くしろよ。
知らないことを知ることができるとワクワクしながら待ってるんだからさｗ

134:デフォルトの名無しさん
16/10/12 22:37:37.04 bJD9Q0hO.net
URLﾘﾝｸ(dic.nico) video.jp/a/%E7%84%A1%E7%9F%A5%E3%81%AB%E8%A8%B4%E3%81%88%E3%82%8B%E8%AB%96%E8%A8%BC
無知に訴える論証（argument from ignorance）、あるいは無知論証とは、
「Aだという根拠がない。だからAではない」または「Aでないという根拠がない。だからAだ」
というパターンの、「根拠が無いこと」だけを根拠にして何らかの結論を導いてしまう、間違った論理のこと。
なお後述するが、「新しい根拠が無ければ新しい説は言えない」と考えても良い。このほうが、実践的には分かりやすく間違いが少ないだろう。

135:デフォルトの名無しさん
16/10/12 22:39:10.63 u+SfUSoS.net
>>133
> 俺が証明するとしたら差がないという答えにしかならないんだが分かってるかい？
証明できるんならそれでいいんじゃない？
> 差がないと証明する義務はすでに果たした
まったく果たされていない
お前の知らない範囲については以前として「不明のまま」だ
つまり、お前の理論は現時点では、「HelloWorld などの俺の知ってる狭い範囲では言語によって
開発効率に差は出ない」ということしか証明されていない

136:デフォルトの名無しさん
16/10/12 22:52:28.37 bJD9Q0hO.net
>>135
で、開発効率に差がないという証明は？
お前が言ってるのはAだという根拠がないといってるだけ。

137:デフォルトの名無しさん
16/10/12 22:55:42.62 u+SfUSoS.net
>>136
根拠がない以上、「どちらか分からない」が正解になる
「Aである」の根拠がないことを言った結果、「Aではない」になるわけではない
「Aであるかもしれないし、Aでないかもしれない。まだ証明されていない」という状態になるだけ
そこから「Aである」ことを主張したいなら、それを証明する義務は「Aである」と言った人間にある

138:デフォルトの名無しさん
16/10/12 23:00:17.34 bJD9Q0hO.net
俺がわかってる範囲・・・「差がない」
俺が知らない範囲・・・「不明」
結論はこれでいいのかい？ｗ

なんか世界中の人をすべて調べないかぎり
卵から生まれた人間がいないとは言い切れない
と言ってるようなもんだねｗ

139:デフォルトの名無しさん
16/10/12 23:01:41.75 u+SfUSoS.net
>>138
それでいい
お前の言ってる範囲はごく狭いことだけ認識してくれて、今後その主張をするときは
「HelloWorld周辺の俺が知ってる範囲では」という前提条件を忘れないようにな

140:デフォルトの名無しさん
16/10/12 23:02:54.38 bJD9Q0hO.net
人は卵から生まれることはないのか？
俺「生まれることはない」
お前「お前の知り合いという狭い範囲で生まれてないからと言って
卵から生まれた人間がいないという根拠はない。
根拠がない以上卵から生まれて人間がいるか？の答えは分からないが正解になる」
わっはっは

141:デフォルトの名無しさん
16/10/12 23:04:02.33 bJD9Q0hO.net
>>139
じゃあ、
俺の知ってる範囲では、差がないというのが事実だし、
俺の知らない範囲で差があるという証拠は一つも出ていない。
ということにするよｗ

142:デフォルトの名無しさん
16/10/12 23:05:01.44 u+SfUSoS.net
>>140
証明されていない分野については、感覚的におかしかろうとそれが論理というものだ
お前はお前の感覚で全分野でお前の論理が成立すると思い込んでるようだが、それは論理ではない
論理は「お前の知ってる範囲だけ」で成立するものだ

143:デフォルトの名無しさん
16/10/12 23:05:46.12 u+SfUSoS.net
>>141
> 俺の知らない範囲で差があるという証拠は一つも出ていない。
差がないかどうかも俺は知らない、という言葉をつけておこうな

144:デフォルトの名無しさん
16/10/12 23:06:02.34 bJD9Q0hO.net
お前「お前の知り合いという狭い範囲で悪魔がいないからといって
世界で悪魔がいないという根拠はない。
根拠がない以上悪魔がいるか？の答えは分からないが正解になる」

幽霊でもバンパイアでも好きなものを当てはめよう！

145:デフォルトの名無しさん
16/10/12 23:08:26.36 u+SfUSoS.net
>>144
うん、それでいいと思うよ
科学者ほど神を信じてるというしな

146:デフォルトの名無しさん
16/10/12 23:10:38.55 bJD9Q0hO.net
結局、悪魔の証明を言ってるだけか。
議論にならんね。
俺が知らないとすることを知ってるはずなのに、
なんで証明できないんだろうね（笑）

147:デフォルトの名無しさん
16/10/12 23:19:12.98 u+SfUSoS.net
>>146
お前は悪魔の証明の使い方を間違ってる
悪魔の証明は知ろうとしたら知ることができる範囲の証明ができないことは一切言っていない
お前は代数的データ型について知ろうとすればできるのにその証明をしようともしていない
これは悪魔の証明ではない

148:デフォルトの名無しさん
16/10/12 23:32:12.91 bJD9Q0hO.net
だから代数データ型を知った上で差がないと言ってる。

149:デフォルトの名無しさん
16/10/12 23:40:45.50 u+SfUSoS.net
>>148
知った上で差がないという説明のレスはどこにあるの？

150:デフォルトの名無しさん
16/10/13 06:51:19.28 5Zaj3bBS.net
たとえば、代数的データ型のHelloWorldとも言える木構造データを
生産性に差がない君のよく知ってるRubyで、既存のどんなフレームワークを使ってもいいから
書いてみてもらえば差があるかないかはっきりすると思うよ

151:デフォルトの名無しさん
16/10/13 07:34:32.13 eQrSxPiM.net
>>150
やっぱりHelloWorldでしか比べてないじゃんというｗｗ
そりゃ、簡単なプログラムで差が出るわけないよなー

152:デフォルトの名無しさん
16/10/13 07:56:11.59 b9yuDuDK.net
>>124
ポイントをずらした反論で逃げているね。
・言語（＋フレームワーク）の選択によって開発効率に差が出る
・「特定の言語じゃなくても（フレームワークを）整備できる」という主張には何の根拠もない
については特に反論しないということでOKかな

153:デフォルトの名無しさん
16/10/13 08:30:22.11 YiooIUIr.net
>>151
> 差が出るわけない
いや、逆だろ
HelloWorldレベルでも歴然とした差が出るんだな　これが
Rubyじゃ、どうひっくり返ったってシンプルには書けない　書けたっぽくても欠陥だらけ
代数データ型を理解してないとわからんかもしれんけど

154:デフォルトの名無しさん
16/10/13 10:15:51.93 J3jF+oV3.net
HelloWorld氏は代数的データ型どころか木構造も分かってなくて、
>>150を怪しい機能を使ってHelloWorldを書けって要求だと誤解してる予感

155:デフォルトの名無しさん
16/10/13 21:59:17.17 xK6BxW94.net
もうそろそろ代数的データ型で差が出るという
根拠をいったかなーと思ったらやっぱり言ってなかったｗ

156:デフォルトの名無しさん
16/10/13 22:00:32.17 xK6BxW94.net
>>150
> 書いてみてもらえば差があるかないかはっきりすると思うよ
ならあんたが書けば良いんだよｗ

157:デフォルトの名無しさん
16/10/13 22:05:21.45 xK6BxW94.net
俺の勝利条件：言語の違いでは開発効率に差がないという結論にすること
俺の敗北条件：言語の違いでは開発効率に差がでると認めること
俺に頑張って調べさせて、開発効率に差が出るという
証拠を見つけさせようとしているようだが、
俺が自分で敗北する努力をする訳がないだろう？
「お前は負けるために努力をしろ！」って言ってるやつって
なんなんだろうね。行動が意味不明なんだけどｗ

158:デフォルトの名無しさん
16/10/13 22:44:26.61 C+WIXg7a.net
横レスするけど、なんだかここ数日、変な流れになっているなあ...
代数的データ型を振りかざす彼ら(>>154,153,150,147,119,107,99,63,27)、
仮に「代数的データ型君」と呼ぼう
で、代数的データ型の定義や利点に関して「代数的データ型君」自身からは何の説明が無いね
個人的には代数的データ型なんて直積と直和を意識したデータ分析/設計だと考えているから、
何をそんなに代数的データ型君が「銀の弾丸」であるかのように騒ぎ立てているのか意味不明
ちなみに、代数的データ型という用語は用いられていないけど、直積/直和/列という
データ構造の基本要素を元にした設計手法は1980年代末には国内で登場して一部では普及している
・「標準構造に基づく系統的ソフトウェア設計法 (<小特集>プログラム設計技法)」,
　片岡雅憲/金藤栄孝/宮本和靖/山野紘一, 情報処理 Vol.25 No.11 (Nov. 1984)
　　URLﾘﾝｸ(ci.nii.ac.jp)
簡単な解説ならば、上記論文の著者による以下の書籍が参考になる
・ソフトウェア・モデリング―ソフトウェア再利用のための設計パラダイム単行本 – 1988/9　
　URLﾘﾝｸ(www.amazon.co.jp)
また木構造や代数的データ型を分かっていて断定的に語るのなら(>>154)、当然、その原典である
以下の論文くらいは読んでいるんだよね？
・Algebras for Tree Algorithms - Jeremy Gibbons 1991
著者はいわゆる代数的データ型の第一人者で、Haskell界隈で木構造の論文を漁ると必ず行き着く文献だよ

159:デフォルトの名無しさん
16/10/13 23:14:36.15 xK6BxW94.net
てすと

160:デフォルトの名無しさん
16/10/14 01:12:59.85 JRwX0F1n.net
>>158
代数的データ型を関数型言語（元ネタはOCaml）で書くと効率いいですよ、ってのが >>27 の意見
なんだけど、HelloWorld君はそもそも代数的データ型を知らないので、この分野に関して開発効率の
話はなにひとつ言えないはずなんだよね
言えない以上、開発効率が言語によって変わらないという主張はできないはずなのに、それを
声高に主張しつづけるという論理的に明らかにおかしい状態になっちゃったので、周りのみんなが
面白がって「代数的データ型は？ねえ？どうなの？」ってからかってるのが現状かと
HelloWorld君は「言えないけど、差があるという事実がないので差がないことが正しいんだ」という
これまたわけの分からない主張を一切変えないのでまったくかみあってないというｗ

161:デフォルトの名無しさん
16/10/14 01:15:29.41 8JWyfknx.net
効率いいですよっていうだけで、
効率いい理由を言ってない。

162:デフォルトの名無しさん
16/10/14 01:24:21.14 JRwX0F1n.net
>>161
変わらない理由も言ってないよね
そりゃ、分からない範囲のことは言えないのが当然の話
まずはそこを認めるところから始めないと議論にならないよ

163:デフォルトの名無しさん
16/10/14 07:08:23.14 7gx6wu5c.net
absence of evidence is not evidence of absence (証拠の量と結果は比例しません)

164:デフォルトの名無しさん
16/10/14 07:43:39.03 8JWyfknx.net
>>162
変わらない理由は上の方で言ってるよ。
それに対して、代数的データ型がある場合は違うって
言ってきてるんだから、なぜその場合だけ違うかを
説明しないとだめ。

165:デフォルトの名無しさん
16/10/14 07:45:54.24 JRwX0F1n.net
>>164
君の説明から分かることは「あぁ、HelloWorld君は代数的データ型を知らないんだね」ということ
だけだよ
まずこの事実を認めよう
そこからじゃないと議論は始まらない

166:デフォルトの名無しさん
16/10/14 08:41:21.48 AiVbXbyV.net
>>164
「ほら、HelloWorldじゃ言語の差は出ない！証明完了！」って言ってるだけじゃんw
なおHelloWorldより難しいプログラムは分からない模様

167:デフォルトの名無しさん
16/10/14 08:58:45.24 SNzkHoS8.net
>>165
> HelloWorld君は代数的データ型を知らない
もうそこは自明でいいんじゃないかなと思う
本人も>>157で「頑張って調べ」ないと代数的データ型すらわからないと暗にギブアップ宣言しているし
「敗北する努力をする訳がない」と、代数的データ型を前提とすることで敗北が確定することを
自ら予見できているわけだから

168:デフォルトの名無しさん
16/10/14 09:18:34.24 8JWyfknx.net
なんでこう頑なに代数データ型で差がある事を
説明しないんだろう？ｗ
仮に代数データ型が知らないとなったからって
差があることにはならないんだが。
誰でも知らないことが有るわけで、反論っていうのは
その部分を突くわけよ。あんたはそれが出来てない。

169:デフォルトの名無しさん
16/10/14 09:36:41.21 8JWyfknx.net
もしかして代数データ型君は代数データ型って言葉を
知っているだけで、それを使ったコードを知らないんじゃないかな？
そう考えれば、代数データ型でどう開発効率が差が出るかが
言えないのも辻褄が合う。
本当に代数データ型で開発効率に大きな差が出るのなら
他の言語でも対応してるだろうしね。
それからHello Worldの例は、Hello Worldを出力する部分は関係ないよ。
アプリケーションサーバーと連携してルーティングを行ってパラメータを解釈して
という内容を書いたら長くなるがフレームワークやライブラリがあるお陰で
本質的な部分だけにすることができる。その本質的な部分はどの言語も
必要最小限になるって話なんだから。それが読み取れないようじゃだめだねｗ

170:デフォルトの名無しさん
16/10/14 09:54:52.55 AiVbXbyV.net
HelloWorld君にとってはHelloWorldが本質なんだねw

171:デフォルトの名無しさん
16/10/14 10:04:08.99 d7FBnZt1.net
ここにhogeという（関数型ではごく普通の）言語機能がある
hogeを使うと生産効率があがる仕事Ｘがある
ある言語（仮にrubyとしよう）にはhogeがなく、制約からhogeをフレームワーク等で完全にシミュレートすることも不可能
Ｘにおいてrubyと普通にhogeを装備した言語との間には生産性に差が生じるのは自明

172:デフォルトの名無しさん
16/10/14 13:03:12.66 jdu5cZVV.net
これはネットでよく見かける
主張はすれど根拠は示さないパターン
さらにいうと
なぜか根拠を不思議と出し渋るパターン
代数データ型で効率上がるって言う人の話ね

173:デフォルトの名無しさん
16/10/14 13:13:29.24 nMNSKW91.net
>>172
しゃあねぇなあ
じゃあ、ここにある評価器とconnection_infoを書いてみてよ
URLﾘﾝｸ(ymotongpoo.hatenablog.com)
>>27みたいな仕事はこういった（もちろん。もっと複雑な）評価器を1から書く必要があるからね
あとconnection_infoはリンク先の実装と同じく不正な使い方を出来ないようにしてね

174:デフォルトの名無しさん
16/10/14 14:11:57.58 R0NlyoEI.net
>>140
卵子「...」

175:デフォルトの名無しさん
16/10/14 21:53:35.92 8JWyfknx.net
>>170
> HelloWorld君にとってはHelloWorldが本質なんだねw
HelloWorldの"部分"が本質なんだよ。
この部分が本質だから、他は変えずに
この部分（HelloWorldの部分）だけを変えれば良い。
そしてこの本質的なコードはどの言語でも大差ない。
だから言語によって開発効率に差がないというわけ。

176:デフォルトの名無しさん
16/10/14 22:30:50.25 JRwX0F1n.net
HelloWorldみたいなちっちゃいものではちっちゃい差しか見えないもんね

177:デフォルトの名無しさん
16/10/14 23:04:30.33 GgR4zu7p.net
>>176
じゃあ、HwlloWorldをオブジェクト指向で作ってみて下さい

178:デフォルトの名無しさん
16/10/15 00:57:52.87 zdnRk0/Y.net
>>175
じゃあ>>173の本質的な部分のコードを書いて
言語で差がないことを示してよ

179:デフォルトの名無しさん
16/10/15 15:54:45.64 zdnRk0/Y.net
HelloWorldおじさん逃げちゃった？w

180:デフォルトの名無しさん
16/10/15 16:31:49.07 t0okkxEp.net
>>169
フレームワークを用意しなきゃいけない言語とフレームワーク相当の機能がコアに組み込まれてる言語があるから、
フレームワークを用意しなきゃいけない言語はフレームワークを作るコストが上乗せになるよね
ってだけの話なのに、君はどうやら、ありとあらゆる問題に対して既に素晴らしいフレームワークが提供されている理想郷に生きているようだ。
仙人か。

181:デフォルトの名無しさん
16/10/18 07:59:44.51 ctyreU3P.net
言語で生産性に差があるって事で決着がついたので、
あらためて良い言語を決めよう

182:デフォルトの名無しさん
16/10/18 09:41:12.91 jwQXzgTl.net
>>179
そもそもコード書けるかどうかも怪しいレベルだね。ちょっと本職が突けばこの通り

183:デフォルトの名無しさん
16/10/18 12:26:33.66 87/Xx6tX.net
ちょっと本職が突けばｗ

184:デフォルトの名無しさん
16/10/18 12:38:42.89 mznmuPbS.net
結局Javaなんだよなあ

185:デフォルトの名無しさん
16/10/18 17:41:42.50 6xf0fQvT.net
Javaなんて10年以上前に捨てました。ファウラーとかが、主婦が家事のウンチク垂れるのと本質的に同じレベルで、無意味な能書き垂れてた頃ね。コードを1文字書くまでに膨大な思案を要求されるようになった。芸術作品じゃないんだから、そんなもん、オワコンでしょ。
JSですよ。突出しちゃって5年以上たつよね。もう比較にならないほど別格。
因みに、nodejsで作った経験ありません。
基本的にpython使ってます。wsgiね、チェインオブなんちゃらパターン。
そんな奴が何でJS押すかって？
だって、何も読まずにいきなり作れる自信があるからね。やっぱりブラウザとかWSHで使われてたのは大きいよ、過去に特に勉強したつもりがなくても得意にガンガン書けちゃうよ。俺だけじゃなくたぶんそんな人はゴロゴロいる。

186:デフォルトの名無しさん
16/10/18 18:07:44.27 GiAjO0tK.net
Javaというか、多くの昔からある静的な言語が
開発サイクルが非常に速くなっていっている現状で
シグネチャの変更スピードについて行けなくなってきている
結果扱いきれてるのは非常に力と資産をもった元請け企業のみで、
下請けはどんどん時代に取り残される悪循環が始まってる
そういうところは５年後１０年後生き残っては居ないだろう
これからは殆どの力なき者にとってはスクリプト言語の時代

187:デフォルトの名無しさん
16/10/18 21:36:24.79 2Y34d6Lk.net
>>185
> だって、何も読まずにいきなり作れる自信があるからね。
使い捨てのスクリプトならそうだろうけど
ちゃんとしたものを作ろうとしたら大変だよ？（JavaScriptに限らない）
まずビルド環境を整えないといけない。
そうしないとテストやカバレッジ測定すらできないから。
ある程度の規模になればフレームワークは必須だけど、
Reactを使うならばBabel（ECMAScript2015～ + JSX）の導入がほぼ必須。
Angular2を使うならばTypeScript（JavaScriptの上位互換）の導入がほぼ必須
ちなみにECMAScript も TypeScriptもIE6ぐらいの時代のJavaScriptとはぜんぜん違う。
文法はPythonに劣らないどころか超えてると言ってもいいぐらいに改良された。
もちろんその反面、文法だけみると覚えることはPythonよりも多いがｗ
そういった環境でモジュールを使うならばビルド環境に合わせたモジュール管理の仕組みを使う。
簡単に使えるが、環境を整えるまでが大変。
パフォーマンスを上げるために複数のファイルを結合したら圧縮したりするが
これまたビルド環境を整えろという話につながる。
大変だがちゃんと整えれば静的解析でリアルタイムにエラーを教えてくれるようにもなる。
atom + eslint で構文エラーやスペルミスをリアルタイムに教えてくれるのは便利。
ここまでやったことないでしょ？
つまりあんたが何も読まずに作れるっていってるのは、何も読まずに作れる範囲のことしかしてないからなだけ。

188:デフォルトの名無しさん
16/10/18 21:55:55.42 dddY2TDK.net
>>187
HelloWorldより難しいプログラムを作れるようになったか？

189:デフォルトの名無しさん
16/10/18 21:56:27.15 GiAjO0tK.net
文法ねぇ
確かに大規模コードのための文法は着々と準備されていってるね。
でももうずっと思ってるがJSって、例えば連番の配列を作る、みたいな便利系機能や、
各クラスのメソッドが少ないんだよね。
まあ互換性の重要度が高いJSではそういうの増やして
負の遺産を作るリスクを取らないのは正しいと思うけどさ。
ちょっとuserscriptやツールの軽量なスクリプト書こうってときに
一々ライブラリ引っ張ってこないといけないのも困るんだよね

190:デフォルトの名無しさん
16/10/18 21:59:43.78 2Y34d6Lk.net
>>189
それもまた「何も見ないで作れる」っていうのが
簡単なことしかやってないだろうなってわかるよねｗ

191:デフォルトの名無しさん
16/10/18 22:37:19.60 5uBe5ZKU.net
>>189
負の遺産ではなくて、言語の仕様に対して実装が多すぎて、仕様を大きく変えても実装がどうせ
追いついてこないという実情があるんだろうね
とはいえ Microsoft が古い IE をばっさり切ったのでその辺の事情も変わってくるかもしれない
とか言ってるとスマホ全盛時代になって古いスマホブラウザに引っ張られるというこれまた新たな
ネックが生じてしまう時代になってしまったのは皮肉というべきか

192:デフォルトの名無しさん
16/10/18 23:17:00.33 GiAjO0tK.net
と言っても仕様を決めてるTC39メンバーにはハードベンダーや研究者も居るけど
中核は全員ブラウザベンダーの人達でしょ。
その人達は慎重な面も持つけど消極的というわけではないよ。
ただ、『配列を連番で作る』よりも「WeakRef」やら「SIMD」やら「Atomics」やらの方が
重要と考えているだけだろう。
それと技術的な話だと「標準ライブラリ」の仕組みを整えないといけない。
それにはまず普通のモジュールの仕組みが整うのを待たないといけない。

193:デフォルトの名無しさん
16/10/19 00:14:59.40 OiCCOICb.net
WEB+DB vol.94 が出た
特集は、Scala, Groovy の対抗馬となる、JVM上で動く、Android用言語、Kotlin
JS/HTML/CSSで、デスクトップアプリを作る、Electron

194:158
16/10/19 00:15:02.24 SBws4+ZC.net
>>173
結局、>>172が指摘してるように「主張はすれど根拠は示さない」し
「根拠を不思議と出し渋る」しかないみたいだね
おそらく代数的データ型君は「自分の言葉では根拠を述べることができない」んだろな
だから、他人の書いた文書のリンク先しか書けない
代数的データ型を分かった気でいるけど実は無知であることを
代数的データ型君本人が自覚できていないんじゃあ、しゃあないわ
> じゃあ、ここにある評価器とconnection_infoを書いてみてよ
しゃあねえからRubyで書いてあげた
　URLﾘﾝｸ(ideone.com)
当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ
評価器については、>>173のリンク先文書にJavaのコードがあるから省略しとく

195:デフォルトの名無しさん
16/10/19 00:32:17.20 E+rnGfx8.net
>>194
そのconnection_infoは実行しなくても静的にエラーを弾けるの？静的検査できないなら同等じゃないよ
それと、あのJavaの評価器でOCamlと同じ生産性だと思えるなら話にならない。冗長で書きにくいし可読性も最悪じゃん

196:デフォルトの名無しさん
16/10/19 00:41:17.08 E+rnGfx8.net
つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん
ちゃんと問題理解してる？

197:デフォルトの名無しさん
16/10/19 00:49:36.13 E+rnGfx8.net
>>194
URLﾘﾝｸ(ideone.com)
www

198:158
16/10/19 01:34:04.06 SBws4+ZC.net
>>195,196
おいおい代数的データ型君達よ、論点を都合良くずらすなよ
今ここで議論しているのは「代数的データ型が生産性に与える影響」だろ？
静的型付けの利点、そしてML/Haskellといったモダンな関数型言語が提供する
完全な型システムとそれがもたらす型推論による簡潔なコードという利点なんて、
とっくの昔から何度もこの板では議論されている訳で、何を今更の話をしてんのよ
結局、代数的データ型君達は、型システムの概念と代数的データ型の概念を
ごっちゃに理解して分かった気になっているだけだろ
だから代数的データ型の利点に関する根拠として、>>173のリンク先文書を示して
何の疑問も持たず平然としているんだよ

>>196
>つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん
動的型付け言語であっても実行時に型検査はできるよ
URLﾘﾝｸ(ideone.com)
そして繰り返すけど、型システムの概念と代数的データ型の概念はごっちゃにすべきではない
たとえば代数的データ型を備えた動的型付け言語や、型推論の無い静的型付け関数型言語を想像してごらん
そういった想定の元であっても明解さを失わない代数的データ型の利点とその根拠を示せと言ってる訳
つーかさ、いいかげん代数的データ型の定義とその利点/根拠を自分の言葉で語ってみろや

199:デフォルトの名無しさん
16/10/19 01:40:34.09 OjZ5I+UL.net
え？普段の仕事で代数的データ型（っぽいこと）を
使うようなことしてないの？俺はしてるぞ。
コードの半分ぐらいは代数的データ型があれば
簡単に実装できる。具体的に言うと

200:デフォルトの名無しさん
16/10/19 07:51:06.99 i9OiXSaV.net
>>198
＞しゃあねえからRubyで書いてあげた
＞　URLﾘﾝｸ(ideone.com)
＞当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ
>>173で自信満々にこう書いておいて、指摘されたら慌ててアサーション入れまくるのクソワロタw

201:デフォルトの名無しさん
16/10/19 07:52:41.50 i9OiXSaV.net
>>200
あ、間違えた>>173じゃなくて>>194だった

202:デフォルトの名無しさん
16/10/19 07:56:48.84 kMzukS4D.net
>>198
> 多くの必要な不変条件を型の中に埋め込みました。いまや不変条件は型の一部なのです。コンパイラはこれらの不変条件を破るコードを見つけ、拒否することができます。これは手作業で行う仕事を減らし、手で管理するよりも信頼できます。
ごめん。引用しちゃったw
君の手作業でアサーション入れまくりのコード（いわゆるテストの一種）より静的型検査の方が手間が少なく間違いにくいのは自明ですよ

203:デフォルトの名無しさん
16/10/19 08:17:18.72 pQsxuliv.net
どこかの理想の世界ではそうかもしれないけれど
現実アサーションと静的検査は双方補い合うもので、どちらかあれば足りるものじゃ無いでしょ

204:デフォルトの名無しさん
16/10/19 08:27:14.32 kMzukS4D.net
>>198
ConnectionInfo.class_eval do
def foobar(s)
@connection_state = s
end
end
c.foobar("Hello World!")

205:デフォルトの名無しさん
16/10/19 08:34:11.07 kMzukS4D.net
>>203
勿論そうだけど、不正な使い方できるコードを自信満々でアップしちゃうくらいには
手動は間違いやすいって事だよ

206:デフォルトの名無しさん
16/10/19 09:19:42.80 Y8FYAwNZ.net
なんでいまさらタイプセーフありがてぇ
静的型付けありがてぇの話になっちゃってるの？

207:デフォルトの名無しさん
16/10/19 09:41:28.41 zLw8XMfd.net
論よりコードっていうけど、ほんとコードの提示って怖いね
HelloWorldくんの底が知れた　無様…　逃げたほうがマシだったんじゃ？

208:デフォルトの名無しさん
16/10/19 10:09:01.69 OiCCOICb.net
altJSでは、大規模開発では静的な、Haxe(ヘックス)。
Scalaのようなパターンマッチありの、switch
Rubyの代わりは、関数型言語Elixir。
Ruby + Rails + ErlangVM で、並行処理が得意

209:デフォルトの名無しさん
16/10/19 15:06:28.19 pQsxuliv.net
静的は静的で、ライブラリをアップデートすると壊れる、
みたいなことが頻繁に起こるし、
安全な分と同じくらいそれを注意する気苦労がいる。

210:デフォルトの名無しさん
16/10/19 18:35:13.38 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:デフォルトの名無しさん
16/10/19 19:41:21.21 lOW+ixbD.net
>>209
だから、作るものによって静的が向いてるものもあれば
動的が向いてるものもあるよな？って単純な話なんだけど
HelloWorldおじさんは違う意見みたい

212:デフォルトの名無しさん
16/10/19 21:35:33.44 /aiIuy0q.net
そうだよね。作るものによってというのが重要。
代数データ型が適している分野で例えばライブラリを作って終わりみたいな
仕事だと、差が出るかもしれないけど、実際にやった仕事（勉強とかではなく）で
代数データ型があったらなぁって思ったことある？
仮に有ったとしても全体のごく一部だけだろうね。
だから言語の違い程度でそんなに差は出ないっていうのは間違っていない。

213:デフォルトの名無しさん
16/10/19 22:05:06.83 kMzukS4D.net
>>212
お前が差が出ないのを示せたのはHelloWorldだけだろw

214:158
16/10/19 22:29:30.29 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:デフォルトの名無しさん
16/10/19 22:33:50.18 pM+OMbbr.net
>>214
それは代数的データ型の利点じゃないな。
代数的データ型を使うという手段が目的となっていて
その手段を使おうとすると問題が発生する。
自ら苦行の道を進んで、苦しいのが解決したという
つまりマイナスがゼロになっただけなのに、
（マイナスの状態から）増えたという変化の一部しか見てない。

216:158
16/10/19 22:43:15.12 SBws4+ZC.net
>>206
>>198で書いたけど、代数的データ型君は代数的データ型に関して
無知だということに気付いたけど、その事実を認めたくないんだろね
だから>>211みたいに、代数的データ型の議論を「静的 vs. 動的」という
対決構図へすり替えようと必死なんだと思われ

217:デフォルトの名無しさん
16/10/19 22:53:00.17 aQ7ihF1n.net
そもそもこいつは、フレームワーク無しの素のRubyでHelloWorld書くのと、同じように素のPHPでHelloWorld書くのでPHPの方が楽だって認めてるんだろ
それこそ「言語による効率の違い」だろ
フレームワーク使えば同じになるって、そりゃ「言語の違いをフレームワークが吸収した」って言うんだよ

218:デフォルトの名無しさん
16/10/19 23:11:26.37 pM+OMbbr.net
>>217
吸収してしまって、その違いが些細なものとなってしまったわけですよね？

219:デフォルトの名無しさん
16/10/19 23:17:47.00 IHKURc/r.net
>>188
そのアンカーは>186のが相応しそうだが

220:デフォルトの名無しさん
16/10/19 23:23:44.73 kMzukS4D.net
>>214
そんなゴタクはいいから、さっさと>>210みたいなコードが書けないrubyの例を見せて下さいよ
それともC1カバレッジのテストでもやるの？

221:デフォルトの名無しさん
16/10/19 23:26:44.07 kMzukS4D.net
コード書くとボロが出ちゃうから、またコード書かずに長文書く書くマンに逆戻りかな？w

222:158
16/10/20 00:41:54.83 UafaUCbB.net
>>220,221(ID: kMzukS4D)
>>216でも書いたけど、ホントに代数的データ君は議論の焦点を
代数的データ型から静的/動的へすり替えようと必死だねえ
ねえ、どうしてそんなに必死なの？
>>210氏の指摘は代数的データ型に関するものではなくて、
型付けが静的/動的という違いに起因するもの
動的型付け言語であり、言い換えると型システムを持たないRubyでは、
パターンマッチの網羅性に相当する型エラーをコンパイル時には検出できない
繰り返すけど、こんな静的/動的の話はこのスレの住人であれば当たり前だよな？
ただし実行中であれば動的に型検査できる
特にRubyであれば簡潔にコードとして表現できる
コードは代数的データ型の議論が終結したら示すよ
で、代数的データ型君は代数的データ型について理解できたのかな？

223:デフォルトの名無しさん
16/10/20 01:09:47.56 vzgaJJkb.net
＞特にRubyであれば簡潔にコードとして表現できる
簡潔に表現したコードなんて出てなくね？OCamlに比べたら冗長でしょ

224:デフォルトの名無しさん
16/10/20 02:29:07.30 lUeWQjIy.net
OCamlがスッキリ書けるのは
普通はあまりやらないような特殊な用途だけで
COBOLと同じようなDSLと思えばいい。
嘘だと思うのなら、今までの人生で勉強以外で
OCamlで書いたコードを言ってみたら良いよ。
言えないか、ある種の自慢話（俺こんな高度なことしたんだぜ(笑)）のような
どこで使うのは全くわからない話をするしかないだろう。

225:デフォルトの名無しさん
16/10/20 03:21:02.12 vzgaJJkb.net
簡潔じゃないものを簡潔だと言ってるから違うと言っただけだけど？
まあ書いた本人も冗長と認めたっぽいから良いか
流石にアレを簡潔はないよな～

226:デフォルトの名無しさん
16/10/20 07:14:57.75 vW88Z4VH.net
>>218
服を着るようになったから人間に肌の色の違いはない
って言ってる？馬鹿なの？

227:デフォルトの名無しさん
16/10/20 09:18:03.49 lUeWQjIy.net
>>226
例えが意味不明

228:デフォルトの名無しさん
16/10/20 13:34:29.50 KC19vCT1.net
>>224
>>27みたいな仕事はお前から見たら特殊な用途だと思うけど、
それでも生産性に差は無いんじゃなかったっけ？
それとも用途によっては差が出るに意見を変えたの？

229:デフォルトの名無しさん
16/10/20 20:52:40.32 ZXfPioz4.net
>>228
俺は差が0とは言ってないよ。殆どないと言ってる。
殆ど無いという理由は、大きな全体があってその一部だけしか差がないから。
ベンチマークの話に例えよう。俺が使っているクラスライブラリがバージョンアップして
「○○クラスのオブジェクトのインスタンス生成が100倍速くなりました。」と書いてあったとしよう。
これで俺のアプリが100倍速くなる！・・・なんてことはいわない。
当たり前だよな。○○クラスのオブジェウトのインスタンスを何個生成するかによって変わるんだから。
一回のインスタンス生成にかかる時間が100マイクロ秒から1マイクロ秒に速くなった。
たしかに100倍だがそのオブジェクトを1000個しか作らないなら100ミリ秒が1ミリ秒になるだけ。
生産性もそれと同じ。特殊な用途であることは誰も否定しないだろう。
（先に俺が言った「嘘だと思うのなら、今までの人生で勉強以外でOCamlで
書いたコードを言ってみたら良いよ」に答えてないのがその証拠）
特殊な用途というのは使われる機会が少ない。プロジェクト全体のごくわずか。
だからそんなものは生産性に大きな差を与えるものにはならない。
「特殊な用途」がプロジェクトの殆どを占めることだってあるかもしれないだろ
みたいな話はいらんからね。そんな言い訳する代わりに「今までの人生で（略）」に
答えればいいだけなのに答えないって、こ・と・はぁ～って思うだけだから。

次ページ