前スレ
【JavaScript】スクリプト バトルロワイヤル54【php,py,pl,rb】
http://echo.2ch.net/test/read.cgi/tech/1458955459/
【JavaScript】スクリプト バトルロワイヤル55【php,py,pl,rb】 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2016/10/01(土) 23:40:48.89ID:FvOeAcfn
102デフォルトの名無しさん
2016/10/11(火) 22:48:15.84ID:hjXFmrTp C#はC++とはまるで違う
近いのはJava
Javaより後発だというのと、Microsoftお得意の後方互換性なにそれ?コンセプトによってJavaより
先進的な機能が色々取り込まれている
惜しむらくはWindowsでしかまともに動かないこと
近いのはJava
Javaより後発だというのと、Microsoftお得意の後方互換性なにそれ?コンセプトによってJavaより
先進的な機能が色々取り込まれている
惜しむらくはWindowsでしかまともに動かないこと
103デフォルトの名無しさん
2016/10/11(火) 23:15:17.75ID:KsPXMvNv >>99
それで代数的データ型による差はどれくらいあんの?w
それで代数的データ型による差はどれくらいあんの?w
104デフォルトの名無しさん
2016/10/11(火) 23:16:39.08ID:hjXFmrTp105デフォルトの名無しさん
2016/10/11(火) 23:20:57.60ID:KsPXMvNv >>102
> 惜しむらくはWindowsでしかまともに動かないこと
iPhoneでC#アプリが審査に通るワケ
http://www.atmarkit.co.jp/news/200901/29/mono.html
> iPhone向けにC#で書かれたゲームが40本以上存在する――
もう7年も前からこんな状態なのに今頃何をいってんの?
あんたが言ってるまともに動かないっていうのはC#という言語じゃなくて
Windows向けのライブラリでしょ。
iPhone、Androidで動くゲームの多くがUnityを使って作られているがその言語はC#
そしてもう一つのクロスプラットフォームの開発環境のXamarinもC#
今の時代クロスプラットフォームで開発しようと思ったら、
JavaScriptかC#なんだが。
> 惜しむらくはWindowsでしかまともに動かないこと
iPhoneでC#アプリが審査に通るワケ
http://www.atmarkit.co.jp/news/200901/29/mono.html
> iPhone向けにC#で書かれたゲームが40本以上存在する――
もう7年も前からこんな状態なのに今頃何をいってんの?
あんたが言ってるまともに動かないっていうのはC#という言語じゃなくて
Windows向けのライブラリでしょ。
iPhone、Androidで動くゲームの多くがUnityを使って作られているがその言語はC#
そしてもう一つのクロスプラットフォームの開発環境のXamarinもC#
今の時代クロスプラットフォームで開発しようと思ったら、
JavaScriptかC#なんだが。
106デフォルトの名無しさん
2016/10/11(火) 23:23:10.02ID:KsPXMvNv >>104
無いものを証明しろといわれても困るんだがw
差なんてどこを見てもないんだから
何も言えるわけがない。
これは悪魔の証明といわれている類の問題でね。
無いのに比べて有るほうを証明するのが簡単なんだから
有るということを証明しましょうって話。
無いものを証明しろといわれても困るんだがw
差なんてどこを見てもないんだから
何も言えるわけがない。
これは悪魔の証明といわれている類の問題でね。
無いのに比べて有るほうを証明するのが簡単なんだから
有るということを証明しましょうって話。
107デフォルトの名無しさん
2016/10/11(火) 23:32:39.98ID:DEfYJAZn108デフォルトの名無しさん
2016/10/11(火) 23:35:50.02ID:KsPXMvNv なんでわざわざ遠回りしてるんだ?
本題は開発効率に差があるかどうかだろ?
仮に俺が知らなかったとして、開発効率に差がある事にはならんのだが?
本題は開発効率に差があるかどうかだろ?
仮に俺が知らなかったとして、開発効率に差がある事にはならんのだが?
109デフォルトの名無しさん
2016/10/11(火) 23:42:50.22ID:hjXFmrTp110デフォルトの名無しさん
2016/10/11(火) 23:43:29.05ID:hjXFmrTp >>105
40本って…そんな誤差レベルの本数の話されてもね
40本って…そんな誤差レベルの本数の話されてもね
111デフォルトの名無しさん
2016/10/11(火) 23:49:46.06ID:DEfYJAZn112デフォルトの名無しさん
2016/10/11(火) 23:52:42.58ID:KsPXMvNv >>109
お前、議論ってものが分かってないのか?
反論っていうのは、相手が知らない点、見落としている点を突くことなんだよ。
だから、穴があると思ったらそこを突っつけばいいじゃん?
なんで遠回りしてるんだ?って聞いたのは、
穴を見つけたはずなのに、それは穴ですか?って俺に聞いてるからだよ。
俺が穴ではありませんって言ったらお前諦めるわけ?
俺が穴ですっていったら、お前はそこで満足して諦めるわけ?
どっちにしろ、お前はその穴を突っつく。
つまり開発効率に差があることを指摘しないといけないんだから
さっさと指摘しろって言ってるわけ
お前、議論ってものが分かってないのか?
反論っていうのは、相手が知らない点、見落としている点を突くことなんだよ。
だから、穴があると思ったらそこを突っつけばいいじゃん?
なんで遠回りしてるんだ?って聞いたのは、
穴を見つけたはずなのに、それは穴ですか?って俺に聞いてるからだよ。
俺が穴ではありませんって言ったらお前諦めるわけ?
俺が穴ですっていったら、お前はそこで満足して諦めるわけ?
どっちにしろ、お前はその穴を突っつく。
つまり開発効率に差があることを指摘しないといけないんだから
さっさと指摘しろって言ってるわけ
113デフォルトの名無しさん
2016/10/11(火) 23:56:28.84ID:KsPXMvNv114デフォルトの名無しさん
2016/10/12(水) 00:00:25.52ID:u+SfUSoS >>112
簡単じゃん
お前はHello World以外のあらゆるシステムで開発効率に差が出ないと言ってるんだから
そうじゃない例もちゃんと知ってるんだよな?という確認をしてるだけじゃん
そうじゃなかったら「あらゆるシステム」の部分は誤りで、「俺の知ってる狭い範囲のシステムでは」
と言い換えなければいけない
な?簡単だろ?
簡単じゃん
お前はHello World以外のあらゆるシステムで開発効率に差が出ないと言ってるんだから
そうじゃない例もちゃんと知ってるんだよな?という確認をしてるだけじゃん
そうじゃなかったら「あらゆるシステム」の部分は誤りで、「俺の知ってる狭い範囲のシステムでは」
と言い換えなければいけない
な?簡単だろ?
115デフォルトの名無しさん
2016/10/12(水) 00:05:38.91ID:bJD9Q0hO > そうじゃなかったら「あらゆるシステム」の部分は誤りで、「俺の知ってる狭い範囲のシステムでは」
> と言い換えなければいけない
やっぱり悪魔の証明じゃんw
っていうか「俺の知ってる範囲では無い」と言い換えた所で
お前の主張である「開発効率に差がある」は認められないって
分かってるかい?
お前がやってるのは裁判で追い詰められた弁護士が、
「あなたこの文書の存在を知っていますか?」
→ いいえ知りません
→ 「以上反論を終わります。」
って言ってるようなもんだぞw
それが何かをちゃんと説明しないとお前の主張は認められない。
神じゃないんだからさ、誰でも知らないこと(知ってるけどなw)があるのは当たり前。
「あなたは知らないことが有った!だから俺が正しいことになりませんかね?」
とか当たり前の結論を出して満足してるなよ。
さあ、お前のターンだ。さっさと開発効率に差があることを説明しろ。
> と言い換えなければいけない
やっぱり悪魔の証明じゃんw
っていうか「俺の知ってる範囲では無い」と言い換えた所で
お前の主張である「開発効率に差がある」は認められないって
分かってるかい?
お前がやってるのは裁判で追い詰められた弁護士が、
「あなたこの文書の存在を知っていますか?」
→ いいえ知りません
→ 「以上反論を終わります。」
って言ってるようなもんだぞw
それが何かをちゃんと説明しないとお前の主張は認められない。
神じゃないんだからさ、誰でも知らないこと(知ってるけどなw)があるのは当たり前。
「あなたは知らないことが有った!だから俺が正しいことになりませんかね?」
とか当たり前の結論を出して満足してるなよ。
さあ、お前のターンだ。さっさと開発効率に差があることを説明しろ。
116デフォルトの名無しさん
2016/10/12(水) 00:08:16.73ID:bJD9Q0hO 俺だったら、相手が知ってるかどうか確認せずに知らないと決めつけて、
「どうこういう理由で俺の主張が正しい!」って語るだろうなw
おそらく言えるほどの主張がないんだろうね。
だから「あなた知ってます・・・かね?」という
弱腰の確認からはじめる。
「どうこういう理由で俺の主張が正しい!」って語るだろうなw
おそらく言えるほどの主張がないんだろうね。
だから「あなた知ってます・・・かね?」という
弱腰の確認からはじめる。
117デフォルトの名無しさん
2016/10/12(水) 00:09:25.62ID:u+SfUSoS >>115
まーだ分かってないんだな
「お前の知らない範囲のシステム」については「お前は開発効率が変わらないことを知らないだろ?」
と言ってるんだよ
「俺の知らない範囲でもあらゆる範囲で俺の法則が適用できるんだ」なんて理論が通じるとでも思ってんの?
まーだ分かってないんだな
「お前の知らない範囲のシステム」については「お前は開発効率が変わらないことを知らないだろ?」
と言ってるんだよ
「俺の知らない範囲でもあらゆる範囲で俺の法則が適用できるんだ」なんて理論が通じるとでも思ってんの?
118デフォルトの名無しさん
2016/10/12(水) 00:11:52.16ID:bJD9Q0hO119デフォルトの名無しさん
2016/10/12(水) 00:14:19.39ID:u+SfUSoS >>118
代数型データを知らない以上、開発効率に差がでないなんて一言も言い切れないよな
つまり、お前の理論は間違い、それだけ
お前が代数型データを知っていて、それを使う範囲でも開発効率が変わらないと説明できるなら
お前の理論はその範囲では合ってると証明できる
つまり、証明義務はお前の方にあるんだよ
代数型データを知らない以上、開発効率に差がでないなんて一言も言い切れないよな
つまり、お前の理論は間違い、それだけ
お前が代数型データを知っていて、それを使う範囲でも開発効率が変わらないと説明できるなら
お前の理論はその範囲では合ってると証明できる
つまり、証明義務はお前の方にあるんだよ
120デフォルトの名無しさん
2016/10/12(水) 05:06:31.01ID:hi5pDFH9 >>102
なにいってるんだ?MicrosoftとかC#は後方互換を常に重視してるだろ
さすがに互換性のために利便性を捨てるJavaほどではないが、過去のソースやバイナリはほとんどの場合うごく
あれで後方互換無視って言ったら数えるほどしか言語残らんぞ
マルチプラットフォームもUnityに限ればかなりすごいぞ
パソコンから任天堂/ソニーゲーム機、スマホまでなんでも動く
ポケモンGoとかもそうだ
なにいってるんだ?MicrosoftとかC#は後方互換を常に重視してるだろ
さすがに互換性のために利便性を捨てるJavaほどではないが、過去のソースやバイナリはほとんどの場合うごく
あれで後方互換無視って言ったら数えるほどしか言語残らんぞ
マルチプラットフォームもUnityに限ればかなりすごいぞ
パソコンから任天堂/ソニーゲーム機、スマホまでなんでも動く
ポケモンGoとかもそうだ
121デフォルトの名無しさん
2016/10/12(水) 06:17:04.66ID:36fXw7IK122デフォルトの名無しさん
2016/10/12(水) 06:37:27.85ID:h9K+2gUj >じゃあ、C++のコードは動くの? 開発言語の後方互換ってそういうことだよね
そんな解釈してる奴見たことねぇw
そんな解釈してる奴見たことねぇw
123デフォルトの名無しさん
2016/10/12(水) 07:01:10.41ID:NQ8LRzeO >>93
>フレームワークやライブラリが特定の言語でしか整備されていなければでしょw
現実に、今は特定の言語でしか整備されていない。
現在の状況における現実的な議論としては、言語の差かフレームワークの差かはともかく、言語選択によって開発工数に差が出ることは事実。
>特定の言語でしか整備できなければ、言語の差になるが、
>特定の言語じゃなくても整備できるだろうね。
>だからそれは言語の差ではなくて、フレームワークやライブラリの差
「整備できるだろう」という憶測だけで理由が一切示されないまま、直後に「だから」と繋げて結論を断定して終わる論理展開はおかしい。
>フレームワークやライブラリが特定の言語でしか整備されていなければでしょw
現実に、今は特定の言語でしか整備されていない。
現在の状況における現実的な議論としては、言語の差かフレームワークの差かはともかく、言語選択によって開発工数に差が出ることは事実。
>特定の言語でしか整備できなければ、言語の差になるが、
>特定の言語じゃなくても整備できるだろうね。
>だからそれは言語の差ではなくて、フレームワークやライブラリの差
「整備できるだろう」という憶測だけで理由が一切示されないまま、直後に「だから」と繋げて結論を断定して終わる論理展開はおかしい。
124デフォルトの名無しさん
2016/10/12(水) 09:36:47.16ID:bJD9Q0hO 特定の言語でしか整備されていないフレームワーク目当てで
言語を選ぶんでしょ?
それはフレームワークの選択であって
言語は仕方なく決まっただけだよw
言語を選ぶんでしょ?
それはフレームワークの選択であって
言語は仕方なく決まっただけだよw
125デフォルトの名無しさん
2016/10/12(水) 09:43:32.39ID:R3I0FCLG そのフレームワークを書いた人間は言語で選んでるんですけど
フレームワークが勝手に生えてくるとでも思ってんの?
フレームワークが勝手に生えてくるとでも思ってんの?
126デフォルトの名無しさん
2016/10/12(水) 09:53:08.98ID:R3I0FCLG ある種のフレームワークを書こうと思った時、特定の言語機能(例: 代数的データ型)があるかどうかで
書きやすさが全然違うんだよね
書きやすさが全然違うんだよね
127デフォルトの名無しさん
2016/10/12(水) 13:08:44.84ID:hi5pDFH9 >>121
ネタか釣りだと思うが、初心者が間違えるとかわいそうなのでマジレスするとそれは後方互換じゃない
後方互換は同じ言語の前のバージョンと互換性のあること
C#はいくつかの言語を参考にしているが、まったくの新規の言語なのでC#の前は存在しない
ネタか釣りだと思うが、初心者が間違えるとかわいそうなのでマジレスするとそれは後方互換じゃない
後方互換は同じ言語の前のバージョンと互換性のあること
C#はいくつかの言語を参考にしているが、まったくの新規の言語なのでC#の前は存在しない
128デフォルトの名無しさん
2016/10/12(水) 13:20:34.12ID:AH5cZ6Nj129デフォルトの名無しさん
2016/10/12(水) 22:03:52.29ID:bJD9Q0hO >>125
> そのフレームワークを書いた人間は言語で選んでるんですけど
それは言語を選んでいるのであって、開発効率に差があるということではないよ
言語を選ぶ理由はいくつか有る。自分がたまたま詳しかった言語とか
フレームワークを作るのに便利なライブラリが有ったとか、
対応しなければならない環境が使える言語がそれしかなかったとかね。
> そのフレームワークを書いた人間は言語で選んでるんですけど
それは言語を選んでいるのであって、開発効率に差があるということではないよ
言語を選ぶ理由はいくつか有る。自分がたまたま詳しかった言語とか
フレームワークを作るのに便利なライブラリが有ったとか、
対応しなければならない環境が使える言語がそれしかなかったとかね。
130デフォルトの名無しさん
2016/10/12(水) 22:04:38.80ID:bJD9Q0hO >>126
> ある種のフレームワークを書こうと思った時、特定の言語機能(例: 代数的データ型)があるかどうかで
> 書きやすさが全然違うんだよね
だからそう思うならば、その理由を書けばいいだけの話。
> ある種のフレームワークを書こうと思った時、特定の言語機能(例: 代数的データ型)があるかどうかで
> 書きやすさが全然違うんだよね
だからそう思うならば、その理由を書けばいいだけの話。
131デフォルトの名無しさん
2016/10/12(水) 22:10:11.54ID:u+SfUSoS > それは言語を選んでいるのであって、開発効率に差があるということではないよ
開発効率に差がないということでもない
お前の知らない世界については「開発効率に差があるかもしれない、ないかもしれない、どちらか分からない」
が正しいのであって「差があることが言えてないのであれば差がないということ」という論理は暴論でしかない
差がないことを言いたいのであれば、それを証明する義務はお前にある
開発効率に差がないということでもない
お前の知らない世界については「開発効率に差があるかもしれない、ないかもしれない、どちらか分からない」
が正しいのであって「差があることが言えてないのであれば差がないということ」という論理は暴論でしかない
差がないことを言いたいのであれば、それを証明する義務はお前にある
132デフォルトの名無しさん
2016/10/12(水) 22:12:35.42ID:DGH9OdjO >128
それは単にネーミングの話であって
ファミコンに対するスーパーファミコンみたいなものだよ
それは単にネーミングの話であって
ファミコンに対するスーパーファミコンみたいなものだよ
133デフォルトの名無しさん
2016/10/12(水) 22:32:07.73ID:bJD9Q0hO >>131
> 差がないことを言いたいのであれば、それを証明する義務はお前にある
上の方に書いた。当たり前だが俺が知っている範囲でだ。(知らないことを書けるわけがない)
で、お前は俺より詳しくて知ってるんだろう?なら知ってることを書けよ。
俺が証明するとしたら差がないという答えにしかならないんだが分かってるかい?
お前のために差があることを俺が証明するわけがないだろうw
差がないと証明する義務はすでに果たした。あとはお前が俺の知らないものを持ってきて
差があると証明してくれるんだろう?早くしろよ。
知らないことを知ることができるとワクワクしながら待ってるんだからさw
> 差がないことを言いたいのであれば、それを証明する義務はお前にある
上の方に書いた。当たり前だが俺が知っている範囲でだ。(知らないことを書けるわけがない)
で、お前は俺より詳しくて知ってるんだろう?なら知ってることを書けよ。
俺が証明するとしたら差がないという答えにしかならないんだが分かってるかい?
お前のために差があることを俺が証明するわけがないだろうw
差がないと証明する義務はすでに果たした。あとはお前が俺の知らないものを持ってきて
差があると証明してくれるんだろう?早くしろよ。
知らないことを知ることができるとワクワクしながら待ってるんだからさw
134デフォルトの名無しさん
2016/10/12(水) 22:37:37.04ID:bJD9Q0hO http://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だ」
というパターンの、「根拠が無いこと」だけを根拠にして何らかの結論を導いてしまう、間違った論理のこと。
なお後述するが、「新しい根拠が無ければ新しい説は言えない」と考えても良い。このほうが、実践的には分かりやすく間違いが少ないだろう。
無知に訴える論証(argument from ignorance)、あるいは無知論証とは、
「Aだという根拠がない。だからAではない」または「Aでないという根拠がない。だからAだ」
というパターンの、「根拠が無いこと」だけを根拠にして何らかの結論を導いてしまう、間違った論理のこと。
なお後述するが、「新しい根拠が無ければ新しい説は言えない」と考えても良い。このほうが、実践的には分かりやすく間違いが少ないだろう。
135デフォルトの名無しさん
2016/10/12(水) 22:39:10.63ID:u+SfUSoS >>133
> 俺が証明するとしたら差がないという答えにしかならないんだが分かってるかい?
証明できるんならそれでいいんじゃない?
> 差がないと証明する義務はすでに果たした
まったく果たされていない
お前の知らない範囲については以前として「不明のまま」だ
つまり、お前の理論は現時点では、「HelloWorld などの俺の知ってる狭い範囲では言語によって
開発効率に差は出ない」ということしか証明されていない
> 俺が証明するとしたら差がないという答えにしかならないんだが分かってるかい?
証明できるんならそれでいいんじゃない?
> 差がないと証明する義務はすでに果たした
まったく果たされていない
お前の知らない範囲については以前として「不明のまま」だ
つまり、お前の理論は現時点では、「HelloWorld などの俺の知ってる狭い範囲では言語によって
開発効率に差は出ない」ということしか証明されていない
136デフォルトの名無しさん
2016/10/12(水) 22:52:28.37ID:bJD9Q0hO137デフォルトの名無しさん
2016/10/12(水) 22:55:42.62ID:u+SfUSoS >>136
根拠がない以上、「どちらか分からない」が正解になる
「Aである」の根拠がないことを言った結果、「Aではない」になるわけではない
「Aであるかもしれないし、Aでないかもしれない。まだ証明されていない」という状態になるだけ
そこから「Aである」ことを主張したいなら、それを証明する義務は「Aである」と言った人間にある
根拠がない以上、「どちらか分からない」が正解になる
「Aである」の根拠がないことを言った結果、「Aではない」になるわけではない
「Aであるかもしれないし、Aでないかもしれない。まだ証明されていない」という状態になるだけ
そこから「Aである」ことを主張したいなら、それを証明する義務は「Aである」と言った人間にある
138デフォルトの名無しさん
2016/10/12(水) 23:00:17.34ID:bJD9Q0hO 俺がわかってる範囲・・・「差がない」
俺が知らない範囲・・・「不明」
結論はこれでいいのかい?w
なんか世界中の人をすべて調べないかぎり
卵から生まれた人間がいないとは言い切れない
と言ってるようなもんだねw
俺が知らない範囲・・・「不明」
結論はこれでいいのかい?w
なんか世界中の人をすべて調べないかぎり
卵から生まれた人間がいないとは言い切れない
と言ってるようなもんだねw
139デフォルトの名無しさん
2016/10/12(水) 23:01:41.75ID:u+SfUSoS140デフォルトの名無しさん
2016/10/12(水) 23:02:54.38ID:bJD9Q0hO 人は卵から生まれることはないのか?
俺「生まれることはない」
お前「お前の知り合いという狭い範囲で生まれてないからと言って
卵から生まれた人間がいないという根拠はない。
根拠がない以上卵から生まれて人間がいるか?の答えは分からないが正解になる」
わっはっは
俺「生まれることはない」
お前「お前の知り合いという狭い範囲で生まれてないからと言って
卵から生まれた人間がいないという根拠はない。
根拠がない以上卵から生まれて人間がいるか?の答えは分からないが正解になる」
わっはっは
141デフォルトの名無しさん
2016/10/12(水) 23:04:02.33ID:bJD9Q0hO142デフォルトの名無しさん
2016/10/12(水) 23:05:01.44ID:u+SfUSoS >>140
証明されていない分野については、感覚的におかしかろうとそれが論理というものだ
お前はお前の感覚で全分野でお前の論理が成立すると思い込んでるようだが、それは論理ではない
論理は「お前の知ってる範囲だけ」で成立するものだ
証明されていない分野については、感覚的におかしかろうとそれが論理というものだ
お前はお前の感覚で全分野でお前の論理が成立すると思い込んでるようだが、それは論理ではない
論理は「お前の知ってる範囲だけ」で成立するものだ
143デフォルトの名無しさん
2016/10/12(水) 23:05:46.12ID:u+SfUSoS144デフォルトの名無しさん
2016/10/12(水) 23:06:02.34ID:bJD9Q0hO お前「お前の知り合いという狭い範囲で悪魔がいないからといって
世界で悪魔がいないという根拠はない。
根拠がない以上悪魔がいるか?の答えは分からないが正解になる」
幽霊でもバンパイアでも好きなものを当てはめよう!
世界で悪魔がいないという根拠はない。
根拠がない以上悪魔がいるか?の答えは分からないが正解になる」
幽霊でもバンパイアでも好きなものを当てはめよう!
145デフォルトの名無しさん
2016/10/12(水) 23:08:26.36ID:u+SfUSoS146デフォルトの名無しさん
2016/10/12(水) 23:10:38.55ID:bJD9Q0hO 結局、悪魔の証明を言ってるだけか。
議論にならんね。
俺が知らないとすることを知ってるはずなのに、
なんで証明できないんだろうね(笑)
議論にならんね。
俺が知らないとすることを知ってるはずなのに、
なんで証明できないんだろうね(笑)
147デフォルトの名無しさん
2016/10/12(水) 23:19:12.98ID:u+SfUSoS >>146
お前は悪魔の証明の使い方を間違ってる
悪魔の証明は知ろうとしたら知ることができる範囲の証明ができないことは一切言っていない
お前は代数的データ型について知ろうとすればできるのにその証明をしようともしていない
これは悪魔の証明ではない
お前は悪魔の証明の使い方を間違ってる
悪魔の証明は知ろうとしたら知ることができる範囲の証明ができないことは一切言っていない
お前は代数的データ型について知ろうとすればできるのにその証明をしようともしていない
これは悪魔の証明ではない
148デフォルトの名無しさん
2016/10/12(水) 23:32:12.91ID:bJD9Q0hO だから代数データ型を知った上で差がないと言ってる。
149デフォルトの名無しさん
2016/10/12(水) 23:40:45.50ID:u+SfUSoS >>148
知った上で差がないという説明のレスはどこにあるの?
知った上で差がないという説明のレスはどこにあるの?
150デフォルトの名無しさん
2016/10/13(木) 06:51:19.28ID:5Zaj3bBS たとえば、代数的データ型のHelloWorldとも言える木構造データを
生産性に差がない君のよく知ってるRubyで、既存のどんなフレームワークを使ってもいいから
書いてみてもらえば差があるかないかはっきりすると思うよ
生産性に差がない君のよく知ってるRubyで、既存のどんなフレームワークを使ってもいいから
書いてみてもらえば差があるかないかはっきりすると思うよ
151デフォルトの名無しさん
2016/10/13(木) 07:34:32.13ID:eQrSxPiM152デフォルトの名無しさん
2016/10/13(木) 07:56:11.59ID:b9yuDuDK >>124
ポイントをずらした反論で逃げているね。
・言語(+フレームワーク)の選択によって開発効率に差が出る
・「特定の言語じゃなくても(フレームワークを)整備できる」という主張には何の根拠もない
については特に反論しないということでOKかな
ポイントをずらした反論で逃げているね。
・言語(+フレームワーク)の選択によって開発効率に差が出る
・「特定の言語じゃなくても(フレームワークを)整備できる」という主張には何の根拠もない
については特に反論しないということでOKかな
153デフォルトの名無しさん
2016/10/13(木) 08:30:22.11ID:YiooIUIr >>151
> 差が出るわけない
いや、逆だろ
HelloWorldレベルでも歴然とした差が出るんだな これが
Rubyじゃ、どうひっくり返ったってシンプルには書けない 書けたっぽくても欠陥だらけ
代数データ型を理解してないとわからんかもしれんけど
> 差が出るわけない
いや、逆だろ
HelloWorldレベルでも歴然とした差が出るんだな これが
Rubyじゃ、どうひっくり返ったってシンプルには書けない 書けたっぽくても欠陥だらけ
代数データ型を理解してないとわからんかもしれんけど
154デフォルトの名無しさん
2016/10/13(木) 10:15:51.93ID:J3jF+oV3 HelloWorld氏は代数的データ型どころか木構造も分かってなくて、
>>150を怪しい機能を使ってHelloWorldを書けって要求だと誤解してる予感
>>150を怪しい機能を使ってHelloWorldを書けって要求だと誤解してる予感
155デフォルトの名無しさん
2016/10/13(木) 21:59:17.17ID:xK6BxW94 もうそろそろ代数的データ型で差が出るという
根拠をいったかなーと思ったらやっぱり言ってなかったw
根拠をいったかなーと思ったらやっぱり言ってなかったw
156デフォルトの名無しさん
2016/10/13(木) 22:00:32.17ID:xK6BxW94157デフォルトの名無しさん
2016/10/13(木) 22:05:21.45ID:xK6BxW94 俺の勝利条件:言語の違いでは開発効率に差がないという結論にすること
俺の敗北条件:言語の違いでは開発効率に差がでると認めること
俺に頑張って調べさせて、開発効率に差が出るという
証拠を見つけさせようとしているようだが、
俺が自分で敗北する努力をする訳がないだろう?
「お前は負けるために努力をしろ!」って言ってるやつって
なんなんだろうね。行動が意味不明なんだけどw
俺の敗北条件:言語の違いでは開発効率に差がでると認めること
俺に頑張って調べさせて、開発効率に差が出るという
証拠を見つけさせようとしているようだが、
俺が自分で敗北する努力をする訳がないだろう?
「お前は負けるために努力をしろ!」って言ってるやつって
なんなんだろうね。行動が意味不明なんだけどw
158デフォルトの名無しさん
2016/10/13(木) 22:44:26.61ID:C+WIXg7a 横レスするけど、なんだかここ数日、変な流れになっているなあ...
代数的データ型を振りかざす彼ら(>>154,153,150,147,119,107,99,63,27)、
仮に「代数的データ型君」と呼ぼう
で、代数的データ型の定義や利点に関して「代数的データ型君」自身からは何の説明が無いね
個人的には代数的データ型なんて直積と直和を意識したデータ分析/設計だと考えているから、
何をそんなに代数的データ型君が「銀の弾丸」であるかのように騒ぎ立てているのか意味不明
ちなみに、代数的データ型という用語は用いられていないけど、直積/直和/列という
データ構造の基本要素を元にした設計手法は1980年代末には国内で登場して一部では普及している
・「標準構造に基づく系統的ソフトウェア設計法 (<小特集>プログラム設計技法)」,
片岡雅憲/金藤栄孝/宮本和靖/山野紘一, 情報処理 Vol.25 No.11 (Nov. 1984)
http://ci.nii.ac.jp/naid/110002720151/
簡単な解説ならば、上記論文の著者による以下の書籍が参考になる
・ソフトウェア・モデリング―ソフトウェア再利用のための設計パラダイム 単行本 – 1988/9
https://www.amazon.co.jp/dp/4817160160
また木構造や代数的データ型を分かっていて断定的に語るのなら(>>154)、当然、その原典である
以下の論文くらいは読んでいるんだよね?
・Algebras for Tree Algorithms - Jeremy Gibbons 1991
著者はいわゆる代数的データ型の第一人者で、Haskell界隈で木構造の論文を漁ると必ず行き着く文献だよ
代数的データ型を振りかざす彼ら(>>154,153,150,147,119,107,99,63,27)、
仮に「代数的データ型君」と呼ぼう
で、代数的データ型の定義や利点に関して「代数的データ型君」自身からは何の説明が無いね
個人的には代数的データ型なんて直積と直和を意識したデータ分析/設計だと考えているから、
何をそんなに代数的データ型君が「銀の弾丸」であるかのように騒ぎ立てているのか意味不明
ちなみに、代数的データ型という用語は用いられていないけど、直積/直和/列という
データ構造の基本要素を元にした設計手法は1980年代末には国内で登場して一部では普及している
・「標準構造に基づく系統的ソフトウェア設計法 (<小特集>プログラム設計技法)」,
片岡雅憲/金藤栄孝/宮本和靖/山野紘一, 情報処理 Vol.25 No.11 (Nov. 1984)
http://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デフォルトの名無しさん
2016/10/13(木) 23:14:36.15ID:xK6BxW94 てすと
160デフォルトの名無しさん
2016/10/14(金) 01:12:59.85ID:JRwX0F1n >>158
代数的データ型を関数型言語(元ネタはOCaml)で書くと効率いいですよ、ってのが >>27 の意見
なんだけど、HelloWorld君はそもそも代数的データ型を知らないので、この分野に関して開発効率の
話はなにひとつ言えないはずなんだよね
言えない以上、開発効率が言語によって変わらないという主張はできないはずなのに、それを
声高に主張しつづけるという論理的に明らかにおかしい状態になっちゃったので、周りのみんなが
面白がって「代数的データ型は?ねえ?どうなの?」ってからかってるのが現状かと
HelloWorld君は「言えないけど、差があるという事実がないので差がないことが正しいんだ」という
これまたわけの分からない主張を一切変えないのでまったくかみあってないというw
代数的データ型を関数型言語(元ネタはOCaml)で書くと効率いいですよ、ってのが >>27 の意見
なんだけど、HelloWorld君はそもそも代数的データ型を知らないので、この分野に関して開発効率の
話はなにひとつ言えないはずなんだよね
言えない以上、開発効率が言語によって変わらないという主張はできないはずなのに、それを
声高に主張しつづけるという論理的に明らかにおかしい状態になっちゃったので、周りのみんなが
面白がって「代数的データ型は?ねえ?どうなの?」ってからかってるのが現状かと
HelloWorld君は「言えないけど、差があるという事実がないので差がないことが正しいんだ」という
これまたわけの分からない主張を一切変えないのでまったくかみあってないというw
161デフォルトの名無しさん
2016/10/14(金) 01:15:29.41ID:8JWyfknx 効率いいですよっていうだけで、
効率いい理由を言ってない。
効率いい理由を言ってない。
162デフォルトの名無しさん
2016/10/14(金) 01:24:21.14ID:JRwX0F1n163デフォルトの名無しさん
2016/10/14(金) 07:08:23.14ID:7gx6wu5c absence of evidence is not evidence of absence (証拠の量と結果は比例しません)
164デフォルトの名無しさん
2016/10/14(金) 07:43:39.03ID:8JWyfknx165デフォルトの名無しさん
2016/10/14(金) 07:45:54.24ID:JRwX0F1n166デフォルトの名無しさん
2016/10/14(金) 08:41:21.48ID:AiVbXbyV167デフォルトの名無しさん
2016/10/14(金) 08:58:45.24ID:SNzkHoS8168デフォルトの名無しさん
2016/10/14(金) 09:18:34.24ID:8JWyfknx なんでこう頑なに代数データ型で差がある事を
説明しないんだろう?w
仮に代数データ型が知らないとなったからって
差があることにはならないんだが。
誰でも知らないことが有るわけで、反論っていうのは
その部分を突くわけよ。あんたはそれが出来てない。
説明しないんだろう?w
仮に代数データ型が知らないとなったからって
差があることにはならないんだが。
誰でも知らないことが有るわけで、反論っていうのは
その部分を突くわけよ。あんたはそれが出来てない。
169デフォルトの名無しさん
2016/10/14(金) 09:36:41.21ID:8JWyfknx もしかして代数データ型君は代数データ型って言葉を
知っているだけで、それを使ったコードを知らないんじゃないかな?
そう考えれば、代数データ型でどう開発効率が差が出るかが
言えないのも辻褄が合う。
本当に代数データ型で開発効率に大きな差が出るのなら
他の言語でも対応してるだろうしね。
それからHello Worldの例は、Hello Worldを出力する部分は関係ないよ。
アプリケーションサーバーと連携してルーティングを行ってパラメータを解釈して
という内容を書いたら長くなるがフレームワークやライブラリがあるお陰で
本質的な部分だけにすることができる。その本質的な部分はどの言語も
必要最小限になるって話なんだから。それが読み取れないようじゃだめだねw
知っているだけで、それを使ったコードを知らないんじゃないかな?
そう考えれば、代数データ型でどう開発効率が差が出るかが
言えないのも辻褄が合う。
本当に代数データ型で開発効率に大きな差が出るのなら
他の言語でも対応してるだろうしね。
それからHello Worldの例は、Hello Worldを出力する部分は関係ないよ。
アプリケーションサーバーと連携してルーティングを行ってパラメータを解釈して
という内容を書いたら長くなるがフレームワークやライブラリがあるお陰で
本質的な部分だけにすることができる。その本質的な部分はどの言語も
必要最小限になるって話なんだから。それが読み取れないようじゃだめだねw
170デフォルトの名無しさん
2016/10/14(金) 09:54:52.55ID:AiVbXbyV HelloWorld君にとってはHelloWorldが本質なんだねw
171デフォルトの名無しさん
2016/10/14(金) 10:04:08.99ID:d7FBnZt1 ここにhogeという(関数型ではごく普通の)言語機能がある
hogeを使うと生産効率があがる仕事Xがある
ある言語(仮にrubyとしよう)にはhogeがなく、制約からhogeをフレームワーク等で完全にシミュレートすることも不可能
Xにおいてrubyと普通にhogeを装備した言語との間には生産性に差が生じるのは自明
hogeを使うと生産効率があがる仕事Xがある
ある言語(仮にrubyとしよう)にはhogeがなく、制約からhogeをフレームワーク等で完全にシミュレートすることも不可能
Xにおいてrubyと普通にhogeを装備した言語との間には生産性に差が生じるのは自明
172デフォルトの名無しさん
2016/10/14(金) 13:03:12.66ID:jdu5cZVV これはネットでよく見かける
主張はすれど根拠は示さないパターン
さらにいうと
なぜか根拠を不思議と出し渋るパターン
代数データ型で効率上がるって言う人の話ね
主張はすれど根拠は示さないパターン
さらにいうと
なぜか根拠を不思議と出し渋るパターン
代数データ型で効率上がるって言う人の話ね
173デフォルトの名無しさん
2016/10/14(金) 13:13:29.24ID:nMNSKW91 >>172
しゃあねぇなあ
じゃあ、ここにある評価器とconnection_infoを書いてみてよ
http://ymotongpoo.hatenablog.com/entry/20111105/1320506449
>>27みたいな仕事はこういった(もちろん。もっと複雑な)評価器を1から書く必要があるからね
あとconnection_infoはリンク先の実装と同じく不正な使い方を出来ないようにしてね
しゃあねぇなあ
じゃあ、ここにある評価器とconnection_infoを書いてみてよ
http://ymotongpoo.hatenablog.com/entry/20111105/1320506449
>>27みたいな仕事はこういった(もちろん。もっと複雑な)評価器を1から書く必要があるからね
あとconnection_infoはリンク先の実装と同じく不正な使い方を出来ないようにしてね
174デフォルトの名無しさん
2016/10/14(金) 14:11:57.58ID:R0NlyoEI >>140
卵子「...」
卵子「...」
175デフォルトの名無しさん
2016/10/14(金) 21:53:35.92ID:8JWyfknx >>170
> HelloWorld君にとってはHelloWorldが本質なんだねw
HelloWorldの"部分"が本質なんだよ。
この部分が本質だから、他は変えずに
この部分(HelloWorldの部分)だけを変えれば良い。
そしてこの本質的なコードはどの言語でも大差ない。
だから言語によって開発効率に差がないというわけ。
> HelloWorld君にとってはHelloWorldが本質なんだねw
HelloWorldの"部分"が本質なんだよ。
この部分が本質だから、他は変えずに
この部分(HelloWorldの部分)だけを変えれば良い。
そしてこの本質的なコードはどの言語でも大差ない。
だから言語によって開発効率に差がないというわけ。
176デフォルトの名無しさん
2016/10/14(金) 22:30:50.25ID:JRwX0F1n HelloWorldみたいなちっちゃいものではちっちゃい差しか見えないもんね
177デフォルトの名無しさん
2016/10/14(金) 23:04:30.33ID:GgR4zu7p >>176
じゃあ、HwlloWorldをオブジェクト指向で作ってみて下さい
じゃあ、HwlloWorldをオブジェクト指向で作ってみて下さい
178デフォルトの名無しさん
2016/10/15(土) 00:57:52.87ID:zdnRk0/Y179デフォルトの名無しさん
2016/10/15(土) 15:54:45.64ID:zdnRk0/Y HelloWorldおじさん逃げちゃった?w
180デフォルトの名無しさん
2016/10/15(土) 16:31:49.07ID:t0okkxEp >>169
フレームワークを用意しなきゃいけない言語とフレームワーク相当の機能がコアに組み込まれてる言語があるから、
フレームワークを用意しなきゃいけない言語はフレームワークを作るコストが上乗せになるよね
ってだけの話なのに、君はどうやら、ありとあらゆる問題に対して既に素晴らしいフレームワークが提供されている理想郷に生きているようだ。
仙人か。
フレームワークを用意しなきゃいけない言語とフレームワーク相当の機能がコアに組み込まれてる言語があるから、
フレームワークを用意しなきゃいけない言語はフレームワークを作るコストが上乗せになるよね
ってだけの話なのに、君はどうやら、ありとあらゆる問題に対して既に素晴らしいフレームワークが提供されている理想郷に生きているようだ。
仙人か。
181デフォルトの名無しさん
2016/10/18(火) 07:59:44.51ID:ctyreU3P 言語で生産性に差があるって事で決着がついたので、
あらためて良い言語を決めよう
あらためて良い言語を決めよう
182デフォルトの名無しさん
2016/10/18(火) 09:41:12.91ID:jwQXzgTl >>179
そもそもコード書けるかどうかも怪しいレベルだね。ちょっと本職が突けばこの通り
そもそもコード書けるかどうかも怪しいレベルだね。ちょっと本職が突けばこの通り
183デフォルトの名無しさん
2016/10/18(火) 12:26:33.66ID:87/Xx6tX ちょっと本職が突けばw
184デフォルトの名無しさん
2016/10/18(火) 12:38:42.89ID:mznmuPbS 結局Javaなんだよなあ
185デフォルトの名無しさん
2016/10/18(火) 17:41:42.50ID:6xf0fQvT Javaなんて10年以上前に捨てました。ファウラーとかが、主婦が家事のウンチク垂れるのと本質的に同じレベルで、無意味な能書き垂れてた頃ね。コードを1文字書くまでに膨大な思案を要求されるようになった。芸術作品じゃないんだから、そんなもん、オワコンでしょ。
JSですよ。突出しちゃって5年以上たつよね。もう比較にならないほど別格。
因みに、nodejsで作った経験ありません。
基本的にpython使ってます。wsgiね、チェインオブなんちゃらパターン。
そんな奴が何でJS押すかって?
だって、何も読まずにいきなり作れる自信があるからね。やっぱりブラウザとかWSHで使われてたのは大きいよ、過去に特に勉強したつもりがなくても得意にガンガン書けちゃうよ。俺だけじゃなくたぶんそんな人はゴロゴロいる。
JSですよ。突出しちゃって5年以上たつよね。もう比較にならないほど別格。
因みに、nodejsで作った経験ありません。
基本的にpython使ってます。wsgiね、チェインオブなんちゃらパターン。
そんな奴が何でJS押すかって?
だって、何も読まずにいきなり作れる自信があるからね。やっぱりブラウザとかWSHで使われてたのは大きいよ、過去に特に勉強したつもりがなくても得意にガンガン書けちゃうよ。俺だけじゃなくたぶんそんな人はゴロゴロいる。
186デフォルトの名無しさん
2016/10/18(火) 18:07:44.27ID:GiAjO0tK Javaというか、多くの昔からある静的な言語が
開発サイクルが非常に速くなっていっている現状で
シグネチャの変更スピードについて行けなくなってきている
結果扱いきれてるのは非常に力と資産をもった元請け企業のみで、
下請けはどんどん時代に取り残される悪循環が始まってる
そういうところは5年後10年後生き残っては居ないだろう
これからは殆どの力なき者にとってはスクリプト言語の時代
開発サイクルが非常に速くなっていっている現状で
シグネチャの変更スピードについて行けなくなってきている
結果扱いきれてるのは非常に力と資産をもった元請け企業のみで、
下請けはどんどん時代に取り残される悪循環が始まってる
そういうところは5年後10年後生き残っては居ないだろう
これからは殆どの力なき者にとってはスクリプト言語の時代
187デフォルトの名無しさん
2016/10/18(火) 21:36:24.79ID:2Y34d6Lk >>185
> だって、何も読まずにいきなり作れる自信があるからね。
使い捨てのスクリプトならそうだろうけど
ちゃんとしたものを作ろうとしたら大変だよ?(JavaScriptに限らない)
まずビルド環境を整えないといけない。
そうしないとテストやカバレッジ測定すらできないから。
ある程度の規模になればフレームワークは必須だけど、
Reactを使うならばBabel(ECMAScript2015〜 + JSX)の導入がほぼ必須。
Angular2を使うならばTypeScript(JavaScriptの上位互換)の導入がほぼ必須
ちなみにECMAScript も TypeScriptもIE6ぐらいの時代のJavaScriptとはぜんぜん違う。
文法はPythonに劣らないどころか超えてると言ってもいいぐらいに改良された。
もちろんその反面、文法だけみると覚えることはPythonよりも多いがw
そういった環境でモジュールを使うならばビルド環境に合わせたモジュール管理の仕組みを使う。
簡単に使えるが、環境を整えるまでが大変。
パフォーマンスを上げるために複数のファイルを結合したら圧縮したりするが
これまたビルド環境を整えろという話につながる。
大変だがちゃんと整えれば静的解析でリアルタイムにエラーを教えてくれるようにもなる。
atom + eslint で構文エラーやスペルミスをリアルタイムに教えてくれるのは便利。
ここまでやったことないでしょ?
つまりあんたが何も読まずに作れるっていってるのは、何も読まずに作れる範囲のことしかしてないからなだけ。
> だって、何も読まずにいきなり作れる自信があるからね。
使い捨てのスクリプトならそうだろうけど
ちゃんとしたものを作ろうとしたら大変だよ?(JavaScriptに限らない)
まずビルド環境を整えないといけない。
そうしないとテストやカバレッジ測定すらできないから。
ある程度の規模になればフレームワークは必須だけど、
Reactを使うならばBabel(ECMAScript2015〜 + JSX)の導入がほぼ必須。
Angular2を使うならばTypeScript(JavaScriptの上位互換)の導入がほぼ必須
ちなみにECMAScript も TypeScriptもIE6ぐらいの時代のJavaScriptとはぜんぜん違う。
文法はPythonに劣らないどころか超えてると言ってもいいぐらいに改良された。
もちろんその反面、文法だけみると覚えることはPythonよりも多いがw
そういった環境でモジュールを使うならばビルド環境に合わせたモジュール管理の仕組みを使う。
簡単に使えるが、環境を整えるまでが大変。
パフォーマンスを上げるために複数のファイルを結合したら圧縮したりするが
これまたビルド環境を整えろという話につながる。
大変だがちゃんと整えれば静的解析でリアルタイムにエラーを教えてくれるようにもなる。
atom + eslint で構文エラーやスペルミスをリアルタイムに教えてくれるのは便利。
ここまでやったことないでしょ?
つまりあんたが何も読まずに作れるっていってるのは、何も読まずに作れる範囲のことしかしてないからなだけ。
188デフォルトの名無しさん
2016/10/18(火) 21:55:55.42ID:dddY2TDK >>187
HelloWorldより難しいプログラムを作れるようになったか?
HelloWorldより難しいプログラムを作れるようになったか?
189デフォルトの名無しさん
2016/10/18(火) 21:56:27.15ID:GiAjO0tK 文法ねぇ
確かに大規模コードのための文法は着々と準備されていってるね。
でももうずっと思ってるがJSって、例えば連番の配列を作る、みたいな便利系機能や、
各クラスのメソッドが少ないんだよね。
まあ互換性の重要度が高いJSではそういうの増やして
負の遺産を作るリスクを取らないのは正しいと思うけどさ。
ちょっとuserscriptやツールの軽量なスクリプト書こうってときに
一々ライブラリ引っ張ってこないといけないのも困るんだよね
確かに大規模コードのための文法は着々と準備されていってるね。
でももうずっと思ってるがJSって、例えば連番の配列を作る、みたいな便利系機能や、
各クラスのメソッドが少ないんだよね。
まあ互換性の重要度が高いJSではそういうの増やして
負の遺産を作るリスクを取らないのは正しいと思うけどさ。
ちょっとuserscriptやツールの軽量なスクリプト書こうってときに
一々ライブラリ引っ張ってこないといけないのも困るんだよね
190デフォルトの名無しさん
2016/10/18(火) 21:59:43.78ID:2Y34d6Lk191デフォルトの名無しさん
2016/10/18(火) 22:37:19.60ID:5uBe5ZKU >>189
負の遺産ではなくて、言語の仕様に対して実装が多すぎて、仕様を大きく変えても実装がどうせ
追いついてこないという実情があるんだろうね
とはいえ Microsoft が古い IE をばっさり切ったのでその辺の事情も変わってくるかもしれない
とか言ってるとスマホ全盛時代になって古いスマホブラウザに引っ張られるというこれまた新たな
ネックが生じてしまう時代になってしまったのは皮肉というべきか
負の遺産ではなくて、言語の仕様に対して実装が多すぎて、仕様を大きく変えても実装がどうせ
追いついてこないという実情があるんだろうね
とはいえ Microsoft が古い IE をばっさり切ったのでその辺の事情も変わってくるかもしれない
とか言ってるとスマホ全盛時代になって古いスマホブラウザに引っ張られるというこれまた新たな
ネックが生じてしまう時代になってしまったのは皮肉というべきか
192デフォルトの名無しさん
2016/10/18(火) 23:17:00.33ID:GiAjO0tK と言っても仕様を決めてるTC39メンバーにはハードベンダーや研究者も居るけど
中核は全員ブラウザベンダーの人達でしょ。
その人達は慎重な面も持つけど消極的というわけではないよ。
ただ、『配列を連番で作る』よりも「WeakRef」やら「SIMD」やら「Atomics」やらの方が
重要と考えているだけだろう。
それと技術的な話だと「標準ライブラリ」の仕組みを整えないといけない。
それにはまず普通のモジュールの仕組みが整うのを待たないといけない。
中核は全員ブラウザベンダーの人達でしょ。
その人達は慎重な面も持つけど消極的というわけではないよ。
ただ、『配列を連番で作る』よりも「WeakRef」やら「SIMD」やら「Atomics」やらの方が
重要と考えているだけだろう。
それと技術的な話だと「標準ライブラリ」の仕組みを整えないといけない。
それにはまず普通のモジュールの仕組みが整うのを待たないといけない。
193デフォルトの名無しさん
2016/10/19(水) 00:14:59.40ID:OiCCOICb WEB+DB vol.94 が出た
特集は、Scala, Groovy の対抗馬となる、JVM上で動く、Android用言語、Kotlin
JS/HTML/CSSで、デスクトップアプリを作る、Electron
特集は、Scala, Groovy の対抗馬となる、JVM上で動く、Android用言語、Kotlin
JS/HTML/CSSで、デスクトップアプリを作る、Electron
194158
2016/10/19(水) 00:15:02.24ID:SBws4+ZC >>173
結局、>>172が指摘してるように「主張はすれど根拠は示さない」し
「根拠を不思議と出し渋る」しかないみたいだね
おそらく代数的データ型君は「自分の言葉では根拠を述べることができない」んだろな
だから、他人の書いた文書のリンク先しか書けない
代数的データ型を分かった気でいるけど実は無知であることを
代数的データ型君本人が自覚できていないんじゃあ、しゃあないわ
> じゃあ、ここにある評価器とconnection_infoを書いてみてよ
しゃあねえからRubyで書いてあげた
https://ideone.com/WpazqE
当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ
評価器については、>>173のリンク先文書にJavaのコードがあるから省略しとく
結局、>>172が指摘してるように「主張はすれど根拠は示さない」し
「根拠を不思議と出し渋る」しかないみたいだね
おそらく代数的データ型君は「自分の言葉では根拠を述べることができない」んだろな
だから、他人の書いた文書のリンク先しか書けない
代数的データ型を分かった気でいるけど実は無知であることを
代数的データ型君本人が自覚できていないんじゃあ、しゃあないわ
> じゃあ、ここにある評価器とconnection_infoを書いてみてよ
しゃあねえからRubyで書いてあげた
https://ideone.com/WpazqE
当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ
評価器については、>>173のリンク先文書にJavaのコードがあるから省略しとく
195デフォルトの名無しさん
2016/10/19(水) 00:32:17.20ID:E+rnGfx8 >>194
そのconnection_infoは実行しなくても静的にエラーを弾けるの?静的検査できないなら同等じゃないよ
それと、あのJavaの評価器でOCamlと同じ生産性だと思えるなら話にならない。冗長で書きにくいし可読性も最悪じゃん
そのconnection_infoは実行しなくても静的にエラーを弾けるの?静的検査できないなら同等じゃないよ
それと、あのJavaの評価器でOCamlと同じ生産性だと思えるなら話にならない。冗長で書きにくいし可読性も最悪じゃん
196デフォルトの名無しさん
2016/10/19(水) 00:41:17.08ID:E+rnGfx8 つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん
ちゃんと問題理解してる?
ちゃんと問題理解してる?
197デフォルトの名無しさん
2016/10/19(水) 00:49:36.13ID:E+rnGfx8198158
2016/10/19(水) 01:34:04.06ID:SBws4+ZC >>195,196
おいおい代数的データ型君達よ、論点を都合良くずらすなよ
今ここで議論しているのは「代数的データ型が生産性に与える影響」だろ?
静的型付けの利点、そしてML/Haskellといったモダンな関数型言語が提供する
完全な型システムとそれがもたらす型推論による簡潔なコードという利点なんて、
とっくの昔から何度もこの板では議論されている訳で、何を今更の話をしてんのよ
結局、代数的データ型君達は、型システムの概念と代数的データ型の概念を
ごっちゃに理解して分かった気になっているだけだろ
だから代数的データ型の利点に関する根拠として、>>173のリンク先文書を示して
何の疑問も持たず平然としているんだよ
>>196
>つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん
動的型付け言語であっても実行時に型検査はできるよ
https://ideone.com/IUv2v2
そして繰り返すけど、型システムの概念と代数的データ型の概念はごっちゃにすべきではない
たとえば代数的データ型を備えた動的型付け言語や、型推論の無い静的型付け関数型言語を想像してごらん
そういった想定の元であっても明解さを失わない代数的データ型の利点とその根拠を示せと言ってる訳
つーかさ、いいかげん代数的データ型の定義とその利点/根拠を自分の言葉で語ってみろや
おいおい代数的データ型君達よ、論点を都合良くずらすなよ
今ここで議論しているのは「代数的データ型が生産性に与える影響」だろ?
静的型付けの利点、そしてML/Haskellといったモダンな関数型言語が提供する
完全な型システムとそれがもたらす型推論による簡潔なコードという利点なんて、
とっくの昔から何度もこの板では議論されている訳で、何を今更の話をしてんのよ
結局、代数的データ型君達は、型システムの概念と代数的データ型の概念を
ごっちゃに理解して分かった気になっているだけだろ
だから代数的データ型の利点に関する根拠として、>>173のリンク先文書を示して
何の疑問も持たず平然としているんだよ
>>196
>つーか、ConnectionInfoのconnection_stateに何でも値入れ放題じゃん
動的型付け言語であっても実行時に型検査はできるよ
https://ideone.com/IUv2v2
そして繰り返すけど、型システムの概念と代数的データ型の概念はごっちゃにすべきではない
たとえば代数的データ型を備えた動的型付け言語や、型推論の無い静的型付け関数型言語を想像してごらん
そういった想定の元であっても明解さを失わない代数的データ型の利点とその根拠を示せと言ってる訳
つーかさ、いいかげん代数的データ型の定義とその利点/根拠を自分の言葉で語ってみろや
199デフォルトの名無しさん
2016/10/19(水) 01:40:34.09ID:OjZ5I+UL え? 普段の仕事で代数的データ型(っぽいこと)を
使うようなことしてないの?俺はしてるぞ。
コードの半分ぐらいは代数的データ型があれば
簡単に実装できる。具体的に言うと
使うようなことしてないの?俺はしてるぞ。
コードの半分ぐらいは代数的データ型があれば
簡単に実装できる。具体的に言うと
200デフォルトの名無しさん
2016/10/19(水) 07:51:06.99ID:i9OiXSaV >>198
>しゃあねえからRubyで書いてあげた
> https://ideone.com/WpazqE
>当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ
>>173で自信満々にこう書いておいて、指摘されたら慌ててアサーション入れまくるのクソワロタw
>しゃあねえからRubyで書いてあげた
> https://ideone.com/WpazqE
>当然、「connection_infoはリンク先の実装と同じく不正な使い方を出来ない」よ
>>173で自信満々にこう書いておいて、指摘されたら慌ててアサーション入れまくるのクソワロタw
201デフォルトの名無しさん
2016/10/19(水) 07:52:41.50ID:i9OiXSaV■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 小野田紀美・経済安保担当相「何か気に入らないことがあればすぐに経済的威圧をする国への依存はリスク」 ★2 [Hitzeschleier★]
- 日本行き空路49万件キャンセル 中国自粛呼びかけ 日本行きチケット予約の約32%に相当 ★2 [ぐれ★]
- 【中国局長】両国関係に「深刻な影響」 首相発言の撤回要求 [蚤の市★]
- 外務省局長は無言で厳しい表情…日中の高官協議終了か 高市首相“台湾”発言で中国が強硬対応 発言撤回求めたか…★3 [BFU★]
- 日経平均の下落率3%超す、財政懸念で長期金利上昇 ★2 [お断り★]
- 【インバウンド】中国人観光客の日本での消費額は年間約2兆円超…中国政府は公務員の出張取り消し [1ゲットロボ★]
- 【実況】博衣こよりのえちえち歌枠🧪
- 【高市速報】日本人の3割「中国への武力行使に踏み切る必要がある」ANN世論調査 [931948549]
- 【雑談】暇人集会所part18
- 高市早苗「支持者の理解を得られないので台湾発言を撤回できない」 [931948549]
- 外務省局長、よくわからないまま帰国へ [834922174]
- 中国外務省「日中関係の悪化は高市早苗首相が原因」と名指しで強く非難。キタ━(゚∀゚)━! [153490809]
