※前スレ
次世代言語議論スレ[Go Rust Scala Haskell]第5世代
http://mevius.2ch.net/test/read.cgi/tech/1497311647/
次世代言語議論スレ[Rust Kotlin Haskell]第6世代 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2017/08/28(月) 21:53:37.12ID:5I+bTEeA444デフォルトの名無しさん
2017/09/15(金) 08:47:31.96ID:wLRyrMrR Clojureはjavaの上にあるのが特色だけど、この特色がどうしても好きになれない。どうせならLLVMの上にでも乗せてくれれば良かったのにって思う
445あ
2017/09/15(金) 08:52:44.26ID:2tC+gtK2 >>443
継ぎ接ぎで解決する部分と、研開で本気でやらなきゃいかん部分がどーしても出てくるかと。
うちも知財部はチェックはしてくれるけど、明細書は自分で書かにゃならんし、継ぎ接ぎではやっぱ拒絶査定食らうし、弁理士の得意分野なら「新規性に疑問を持たれるのでもうちょい頑張って」って言われて知財部からかえってくるよ。
継ぎ接ぎで解決する部分と、研開で本気でやらなきゃいかん部分がどーしても出てくるかと。
うちも知財部はチェックはしてくれるけど、明細書は自分で書かにゃならんし、継ぎ接ぎではやっぱ拒絶査定食らうし、弁理士の得意分野なら「新規性に疑問を持たれるのでもうちょい頑張って」って言われて知財部からかえってくるよ。
446デフォルトの名無しさん
2017/09/15(金) 09:06:38.50ID:0REmg3W0447デフォルトの名無しさん
2017/09/15(金) 09:41:01.53ID:wLRyrMrR そのへんHaskellはバックエンド選び放題でいいよな
Win版はうざいけど
Win版はうざいけど
448デフォルトの名無しさん
2017/09/15(金) 10:21:32.89ID:aCZyfKQz 副作用がガンガン使えるHaskellってつくれないのかな?
内部でモナドに変換してくれて解決してくれるようなんでいいから
人がそういうのをいちいち気にして
プログラミングしなきゃいけないってちょっと次世代的にダサくない?
内部でモナドに変換してくれて解決してくれるようなんでいいから
人がそういうのをいちいち気にして
プログラミングしなきゃいけないってちょっと次世代的にダサくない?
449あ
2017/09/15(金) 10:44:10.07ID:2tC+gtK2 プログラムと言う単語が悪いわな。
もう少し語源に近づいて「(ある目的のために)予め書かれたもの(pro(羅pre 前以て)-gamme(羅gram 書く))」とすると、運動会のプログラムも電算機のプログラムも同じものなんだが。
書かれた順に行うからプログラムでも無いよ。
紅組優勝の場合は○○、とか、もっと言っちゃえば午前中に雨が降った場合、午後のこの演目は土が乾くまで他の演目を先に行う、なんてのも運動会のプログラム。
それを読んで行う>>415の半分は「スケジュール」。ジョブスケジューラがやるべき事。
もう少し語源に近づいて「(ある目的のために)予め書かれたもの(pro(羅pre 前以て)-gamme(羅gram 書く))」とすると、運動会のプログラムも電算機のプログラムも同じものなんだが。
書かれた順に行うからプログラムでも無いよ。
紅組優勝の場合は○○、とか、もっと言っちゃえば午前中に雨が降った場合、午後のこの演目は土が乾くまで他の演目を先に行う、なんてのも運動会のプログラム。
それを読んで行う>>415の半分は「スケジュール」。ジョブスケジューラがやるべき事。
450デフォルトの名無しさん
2017/09/15(金) 11:27:00.11ID:sIN/n6dF >>448
それってHaskellの意味あるか?逆ならわかるけど
それってHaskellの意味あるか?逆ならわかるけど
451デフォルトの名無しさん
2017/09/15(金) 11:32:50.11ID:efiXKXYM どっちにしろ式だの文だのは関係ない話やな。
452デフォルトの名無しさん
2017/09/15(金) 11:53:54.90ID:mZUTGfgJ F#に型クラスさえ導入されればHaskellなんて見向きもしないのに
453デフォルトの名無しさん
2017/09/15(金) 12:09:58.95ID:LbVH6Dx6 >>452
コンピュテーション式あるだろ
コンピュテーション式あるだろ
454デフォルトの名無しさん
2017/09/15(金) 12:12:03.29ID:LWf5nRni455デフォルトの名無しさん
2017/09/15(金) 12:14:55.56ID:LbVH6Dx6 あれはモナドか
456デフォルトの名無しさん
2017/09/15(金) 12:17:37.01ID:0MiV6Sa6 Haskellの型システムを理解できていたら副作用ガンガン使えるよ
型システムをいちいち気にしないやつはPythonを使えよ
型システムをいちいち気にしないやつはPythonを使えよ
457デフォルトの名無しさん
2017/09/15(金) 12:24:26.12ID:dK0HzMbN459デフォルトの名無しさん
2017/09/15(金) 13:04:41.59ID:aCZyfKQz460デフォルトの名無しさん
2017/09/15(金) 13:56:26.77ID:Tu1mqslW ぶっちゃけhaskell使ってどんくらい開発効率上がるか知りたい。
railsみたく10倍開発スピード上がるって文句のフレームワークでないのかな。
個人的にはgolangのgoaがそれに匹敵する気がする。
webpaiに特化したフレームワークでswagger.jsonも吐いてくれる。
クライアントライブラリまで自動生成できる。
railsみたく10倍開発スピード上がるって文句のフレームワークでないのかな。
個人的にはgolangのgoaがそれに匹敵する気がする。
webpaiに特化したフレームワークでswagger.jsonも吐いてくれる。
クライアントライブラリまで自動生成できる。
461デフォルトの名無しさん
2017/09/15(金) 14:59:35.94ID:Xh3vGrxx プログラムを作る事と使う事の
区別が付かないやつ多数発見
区別が付かないやつ多数発見
462デフォルトの名無しさん
2017/09/15(金) 15:34:36.71ID:aCZyfKQz むしろ、作る事≒使う事になっていくだろうな
ある意味先祖返り的な感じだけど
分けることが意味が無い方向に進んでいくと思う
やりたいことを思いついたら、それでプログラム完了したと同じみたいな
ある意味先祖返り的な感じだけど
分けることが意味が無い方向に進んでいくと思う
やりたいことを思いついたら、それでプログラム完了したと同じみたいな
463デフォルトの名無しさん
2017/09/15(金) 15:51:54.65ID:Xh3vGrxx >>462
それはもうプログラミングとは呼ばなくなるんだよ
すでに通ってきた道
作る事と使う事の境界線が時代とともに移動することはあっても
分ける事に意味が無くなることはない
概念に名前を付けるというのは分けることそのものだから
それはもうプログラミングとは呼ばなくなるんだよ
すでに通ってきた道
作る事と使う事の境界線が時代とともに移動することはあっても
分ける事に意味が無くなることはない
概念に名前を付けるというのは分けることそのものだから
464デフォルトの名無しさん
2017/09/15(金) 15:54:23.94ID:aCZyfKQz 概念に名前を付けるとか付けないとか、それ自体が意味が無くなるよ
465あ
2017/09/15(金) 18:51:48.11ID:Or0Hv36R 人間は概念に名前がついてると、そいつの素性を知らなくてもなんとなく完璧に理解した気になるステキな特性を持っとるからな。
js界隈のFluxとか使い古しの技術の詰め合わせだし、disりの為の池沼、ガイジ、アスペらへんの言葉も同じ。
精神医学やら臨床心理学、障害者心理学やっても無いのになぁ、って思うわ。やった人間からすると。
js界隈のFluxとか使い古しの技術の詰め合わせだし、disりの為の池沼、ガイジ、アスペらへんの言葉も同じ。
精神医学やら臨床心理学、障害者心理学やっても無いのになぁ、って思うわ。やった人間からすると。
466デフォルトの名無しさん
2017/09/15(金) 19:22:38.65ID:aCZyfKQz もう、それって古い考え方だよ
467デフォルトの名無しさん
2017/09/15(金) 19:54:08.23ID:0MiV6Sa6 ユーザーが作者に文句を言うことができなくなっていく
使う人≒作る人だから
使う人≒作る人だから
468デフォルトの名無しさん
2017/09/15(金) 19:56:37.96ID:aCZyfKQz 意味がわかんない
使う人≒作る人だって、言えばいいじゃない
使う人≒作る人だって、言えばいいじゃない
469デフォルトの名無しさん
2017/09/15(金) 20:54:08.67ID:ZHku/f/z >>446
ごまかしって、今お前がやってる下手くそな例えのポエムで自爆してる事?
文や式云々は確かに俺個人の解釈の一つだ
で、それで?
いつまでもまもな解釈を提示できない時点で、意味のないレスと自分で反復的に証明してる用なもんだぞ
ちゃんと理解できてるか?知恵遅れ
ごまかしって、今お前がやってる下手くそな例えのポエムで自爆してる事?
文や式云々は確かに俺個人の解釈の一つだ
で、それで?
いつまでもまもな解釈を提示できない時点で、意味のないレスと自分で反復的に証明してる用なもんだぞ
ちゃんと理解できてるか?知恵遅れ
470デフォルトの名無しさん
2017/09/15(金) 21:27:47.90ID:gy747Xnp471デフォルトの名無しさん
2017/09/15(金) 21:30:03.12ID:gy747Xnp472デフォルトの名無しさん
2017/09/15(金) 22:07:36.31ID:sIN/n6dF >>470
知ってる。知ってるけど、知った上で鬱陶しく感じてるんや色々と
知ってる。知ってるけど、知った上で鬱陶しく感じてるんや色々と
473デフォルトの名無しさん
2017/09/15(金) 23:06:38.84ID:7m1NmZ8+ 言語で開発効率が上がるのではない
その言語を使いこなせるエンジニアだから開発効率が上がるのだ
流行に流されず手に馴染んだものを使いたまえ
その言語を使いこなせるエンジニアだから開発効率が上がるのだ
流行に流されず手に馴染んだものを使いたまえ
474デフォルトの名無しさん
2017/09/15(金) 23:15:03.10ID:klJRpzhS それはちょっと違うな
言語の性質そのものが生産性を大きく向上させることはないのは同意するが、
その言語に習熟しているかどうかもそれほど重要ではない
最も重要なのは、学習コストを受け入れて生産性の向上を図ることのできるエンジニアは優秀なエンジニアである、ということだ
言語の性質そのものが生産性を大きく向上させることはないのは同意するが、
その言語に習熟しているかどうかもそれほど重要ではない
最も重要なのは、学習コストを受け入れて生産性の向上を図ることのできるエンジニアは優秀なエンジニアである、ということだ
475デフォルトの名無しさん
2017/09/16(土) 04:11:26.94ID:AcW1bn43 あと生産性については使い分けがあるな
関数型は記号処理が中心なら簡潔に書けるが
ゲームみたいな
状態遷移が中心の開発対象に向かない
あとCRUDとか定型的なアプリなら
ライブラリやフレームワークの方が
生産性の要素として大きい
結果メジャーなOO言語の方が使いやすい
関数型は記号処理が中心なら簡潔に書けるが
ゲームみたいな
状態遷移が中心の開発対象に向かない
あとCRUDとか定型的なアプリなら
ライブラリやフレームワークの方が
生産性の要素として大きい
結果メジャーなOO言語の方が使いやすい
476デフォルトの名無しさん
2017/09/16(土) 08:18:11.68ID:8gG27N70 言語で効率に差はない君の主張は「HelloWorld程度なら」という前提らしいので真に受けてはいけない
477デフォルトの名無しさん
2017/09/16(土) 09:11:09.54ID:F+TnbpuB デマを真に受けるだけで効率100倍ぐらい悪化するよな
言語は変えてもせいぜい2倍程度だろう
だから言語の差は意味がないと考えられる
言語は変えてもせいぜい2倍程度だろう
だから言語の差は意味がないと考えられる
478デフォルトの名無しさん
2017/09/16(土) 16:33:37.37ID:aqKyvOS6 oO(アセンブラでアプリケーション全部書くのからはC++2011でも100倍は確実だと思うけど)
479デフォルトの名無しさん
2017/09/16(土) 18:14:46.05ID:kjHVa57h お前らは気持ちよくかけるオナニー言語が欲しいんだろ
普及するのは入りやすくて変化の少ない言語だろ
なのでどっちみち生産性とか実用性は無視していいんじゃないか
普及するのは入りやすくて変化の少ない言語だろ
なのでどっちみち生産性とか実用性は無視していいんじゃないか
480デフォルトの名無しさん
2017/09/16(土) 19:05:55.59ID:j0p/1V2e >>479
これなー
別にC/C++で実行速度も解決できるしほぼなんでもできるからな
言語で何をするかが重要なのであって案の定スレ開いてみたら言語の欠点じゃなくわけのわからんこと抜かしてるし
多分こいつら下の階層のプログラマーじゃないだろ
これなー
別にC/C++で実行速度も解決できるしほぼなんでもできるからな
言語で何をするかが重要なのであって案の定スレ開いてみたら言語の欠点じゃなくわけのわからんこと抜かしてるし
多分こいつら下の階層のプログラマーじゃないだろ
481デフォルトの名無しさん
2017/09/16(土) 19:11:14.44ID:j0p/1V2e というか下の階層にいたらこんなスレ開かないか
めんごめんご
めんごめんご
482デフォルトの名無しさん
2017/09/16(土) 20:48:37.37ID:AcW1bn43483デフォルトの名無しさん
2017/09/16(土) 21:13:49.72ID:CDKitgfC まあ確かに普段何のプログラム書いてんだよってのはかなり重要かな。
484デフォルトの名無しさん
2017/09/16(土) 21:56:40.44ID:e/AIeMoG アセンブリとRubyなら15倍くらいかな
485デフォルトの名無しさん
2017/09/16(土) 22:16:18.09ID:j0p/1V2e そもそも次世代ってどれも対して変わらんだろ。GUIでプログラミングとか今までにない要素ぶち込むならまだしもどれも劣化python/C++じゃん
java/kotlinなんか仮想化すんなら別に言語javaである必要はないしな
次世代取りたきゃandroidみたいにほぼ強制的にやらせればいい
java/kotlinなんか仮想化すんなら別に言語javaである必要はないしな
次世代取りたきゃandroidみたいにほぼ強制的にやらせればいい
486デフォルトの名無しさん
2017/09/16(土) 22:21:07.30ID:j0p/1V2e よってkotlinだろう
このスレは終わりである
完
このスレは終わりである
完
487デフォルトの名無しさん
2017/09/16(土) 22:23:39.18ID:G0kiNrp9 うぉおおおおおおお
議論スレの終わりを初めてみた!!!!
議論スレの終わりを初めてみた!!!!
488デフォルトの名無しさん
2017/09/16(土) 22:24:51.68ID:qNpzB8Gl 今北産業
489デフォルトの名無しさん
2017/09/16(土) 22:26:15.80ID:oDIa36LP490デフォルトの名無しさん
2017/09/16(土) 22:27:09.86ID:VQ/VXHVC 記念パピコ
491デフォルトの名無しさん
2017/09/16(土) 22:27:31.65ID:j0p/1V2e 俺が自演してるみたいに思われるだろ
やめろ
やめろ
492デフォルトの名無しさん
2017/09/16(土) 22:48:18.22ID:luYdXLIJ 自演パピコ
493デフォルトの名無しさん
2017/09/17(日) 00:49:41.17ID:WzljKSlU494デフォルトの名無しさん
2017/09/17(日) 02:58:00.79ID:A1VU6Oqu どう考えても次世代はルーストだろう
495デフォルトの名無しさん
2017/09/17(日) 08:32:15.30ID:msCJo3bN 他言語もそろそろRustのぱくりを考えているだろう
例えば参照カウントが2以上なら例外を投げるだけの機能
例えば参照カウントが2以上なら例外を投げるだけの機能
496デフォルトの名無しさん
2017/09/17(日) 14:20:07.64ID:AD9s+d5U Rustが色んな意味で新しい事は確かだ
497あ
2017/09/17(日) 15:03:42.87ID:4luHVr+4 VRで作業は少しアリかもしれんけどな。単純に視野的に。
Oculus買ったけど、Unityでアプリのウィンドウをキャプチャしたものを浮かべてたくさんの仮想ディスプレイのようにして遊んだけど楽しかった。NASA感ある。
でもキーボードとトラックボール以上の入力装置は無いな。空間をつかむって思ってるより難しかったわ。
でも何より熱いのと、その仮想ディスプレイを浮かべる部分作る作業は酔う。
Oculus買ったけど、Unityでアプリのウィンドウをキャプチャしたものを浮かべてたくさんの仮想ディスプレイのようにして遊んだけど楽しかった。NASA感ある。
でもキーボードとトラックボール以上の入力装置は無いな。空間をつかむって思ってるより難しかったわ。
でも何より熱いのと、その仮想ディスプレイを浮かべる部分作る作業は酔う。
498デフォルトの名無しさん
2017/09/17(日) 17:49:11.61ID:iL83YJ5L キーを押した感覚とかフィードバックがないとな
タッチパネルの課題としても研究してる人いるけど
タッチパネルの課題としても研究してる人いるけど
499デフォルトの名無しさん
2017/09/17(日) 17:56:51.20ID:T71SjEGu 良く知らないんだけど、関数型の言語って関数を動的生成してるんだろうか?
C++のラムダはしてないけど
C++のラムダはしてないけど
500デフォルトの名無しさん
2017/09/17(日) 22:55:01.08ID:3VVJG3KB そんなことしなくても推論したシグネチャ通りの関数をコンパイル時に生成すれば十分。
501デフォルトの名無しさん
2017/09/17(日) 23:44:37.23ID:T71SjEGu クロージャとか関数オブジェクトはそう簡単にはいかんくね?
C++だと結構ダイナミックに引数変更してくるし
C++だと結構ダイナミックに引数変更してくるし
502デフォルトの名無しさん
2017/09/18(月) 01:25:42.89ID:+b1AQYPX >>499
関数型言語の計算モデルであるラムダ計算モデルを単純に実装すると、
常に(「関数」ではなく)クロージャがヒープ上へ動的に生成され、
最終的にガーベジコレクションによって回収される
これはSICP本にあるような初歩的な関数型言語インタプリタ実装や
初期のLISP処理系実装で見ることができる
で、現在の最適化技術が反映された関数型言語処理系では
「クロージャ変換」と呼ばれる技術が使われていて、
単に束縛変数(いわゆる関数の仮引数)だけを参照する関数は
手続き型言語と同様にスタック上へ引数が割り当てられ、
本当に必要な時しかヒープを消費しないよう設計されている
その概略はTiger本に解説がある
なお、Haskellのような純粋関数型言語では「ラムダリフティング」と
呼ばれる技術によってクロージャ変換と同様な最適化が実現されているらしいけど、
自分は知らない
関数型言語の計算モデルであるラムダ計算モデルを単純に実装すると、
常に(「関数」ではなく)クロージャがヒープ上へ動的に生成され、
最終的にガーベジコレクションによって回収される
これはSICP本にあるような初歩的な関数型言語インタプリタ実装や
初期のLISP処理系実装で見ることができる
で、現在の最適化技術が反映された関数型言語処理系では
「クロージャ変換」と呼ばれる技術が使われていて、
単に束縛変数(いわゆる関数の仮引数)だけを参照する関数は
手続き型言語と同様にスタック上へ引数が割り当てられ、
本当に必要な時しかヒープを消費しないよう設計されている
その概略はTiger本に解説がある
なお、Haskellのような純粋関数型言語では「ラムダリフティング」と
呼ばれる技術によってクロージャ変換と同様な最適化が実現されているらしいけど、
自分は知らない
503デフォルトの名無しさん
2017/09/18(月) 11:44:41.42ID:iZW012ea >>502
知りたいことを過不足なく書いてくれた有能。感謝感激雨霰
知りたいことを過不足なく書いてくれた有能。感謝感激雨霰
504デフォルトの名無しさん
2017/09/18(月) 12:25:46.18ID:/x8A7ZAN それ最適化と呼ぶようなことなのか?
ラムダを普通の関数として実装するくらいのこと、静的言語だったら必ずやってるよね
静的言語の場合は単にそう実装するのが自然だからそうしてるだけで、最適化でも何でもないな
その程度のことにわざわざかっこいい名前をつけなきゃいけないほど動的な関数型言語の最適化技術は貧弱なのかなと思ってしまった
ラムダを普通の関数として実装するくらいのこと、静的言語だったら必ずやってるよね
静的言語の場合は単にそう実装するのが自然だからそうしてるだけで、最適化でも何でもないな
その程度のことにわざわざかっこいい名前をつけなきゃいけないほど動的な関数型言語の最適化技術は貧弱なのかなと思ってしまった
505504
2017/09/18(月) 12:53:56.59ID:/x8A7ZAN 全ての名前をコンパイル時に解決する言語ではラムダは自由変数を参照してないのがデフォで、
静的解析時に自由変数の参照を発見したら例外として変数をヒープへリフティングする
名前を動的に解決する言語では、あえて静的解析を入れない限り基本的には常に自由変数の参照があると仮定する
という意識の違いがあるってことかな
静的解析時に自由変数の参照を発見したら例外として変数をヒープへリフティングする
名前を動的に解決する言語では、あえて静的解析を入れない限り基本的には常に自由変数の参照があると仮定する
という意識の違いがあるってことかな
506デフォルトの名無しさん
2017/09/18(月) 13:07:29.67ID:DpRq8b6A なーにいってだこいつ
動的型付けの言語は全部ゴミってもう証明済みだろ
動的型付けの言語は全部ゴミってもう証明済みだろ
507デフォルトの名無しさん
2017/09/18(月) 13:22:40.50ID:aKawbEQ/ ID:/x8A7ZANが何言ってるのか良くわからんのだが、まず「動的な関数型言語」って何を指してんだ?
俺の認識では動的な関数型言語って言ったらErlang,Lisp,Schemeを指すんだがそれのことを言ってんのか?
俺は話を動的型付け言語に限定してないぞ
俺の認識では動的な関数型言語って言ったらErlang,Lisp,Schemeを指すんだがそれのことを言ってんのか?
俺は話を動的型付け言語に限定してないぞ
508デフォルトの名無しさん
2017/09/18(月) 14:14:51.60ID:8XcvDR/h c++ だと単純に実行コードのメモリ内容をヒープに置いてるだけかと思ってたよ。
509デフォルトの名無しさん
2017/09/18(月) 14:46:46.94ID:/x8A7ZAN >>507
名前解決を評価時に行う言語と考えてくれ
名前解決を評価時に行う言語と考えてくれ
510デフォルトの名無しさん
2017/09/18(月) 14:47:16.89ID:aKawbEQ/ C++はautoで持ってるかstd::functionで持ってるかでもう最適化の内容が変わるし、ラムダは普通の関数ポインタでは持てなかったりするし、autoで最適化したら環境の変数も引数として渡すことになってたりすることもあるし良くわからん
苦手や
苦手や
511あ
2017/09/18(月) 15:32:23.61ID:HvWrF9I2 なんか変な話だな。
ラムダをどう使いたいかの方が最適化では問題になるのでは?
インライン展開してしまうか、関数にするか、関数内関数にするかってことになるなら、関数ポインタとして呼びたいか条件分岐の方が良いのかとかそっちの観点が問題になるような。
それは石にもよって、armなんかだと再帰しないならインライン展開と条件実行の方が具合が良かったりすると思う。
ラムダをどう使いたいかの方が最適化では問題になるのでは?
インライン展開してしまうか、関数にするか、関数内関数にするかってことになるなら、関数ポインタとして呼びたいか条件分岐の方が良いのかとかそっちの観点が問題になるような。
それは石にもよって、armなんかだと再帰しないならインライン展開と条件実行の方が具合が良かったりすると思う。
512デフォルトの名無しさん
2017/09/18(月) 15:47:47.30ID:vOYXlSBd >>511
レイヤの違う問題。誰もそんな話はしていない。
インライン展開するにしても、前のプロセスで自由変数に依存しないラムダについては独立した関数への変換を予め済ませておけば、
インライン展開は容易になるだろう。
レイヤの違う問題。誰もそんな話はしていない。
インライン展開するにしても、前のプロセスで自由変数に依存しないラムダについては独立した関数への変換を予め済ませておけば、
インライン展開は容易になるだろう。
513デフォルトの名無しさん
2017/09/18(月) 17:44:30.57ID:aKawbEQ/ >>509
ちょっと抽象的すぎんよぉ。Pythonとかか?それ
ちょっと抽象的すぎんよぉ。Pythonとかか?それ
514デフォルトの名無しさん
2017/09/18(月) 19:19:25.45ID:urldNTTh 型概念はリソース制限がきつかったころのレガシーなところはあるかもね
今わざわざunsignedにして1bit節約したい人はまずいない
20年後はchar?そんなのint(64bitだけど意識してない)でいいだろ?になるんじゃない?
今わざわざunsignedにして1bit節約したい人はまずいない
20年後はchar?そんなのint(64bitだけど意識してない)でいいだろ?になるんじゃない?
515デフォルトの名無しさん
2017/09/18(月) 19:57:06.67ID:7osjOZ8K なんならdoubleで整数の計算してもいいですよ
516あ
2017/09/18(月) 20:01:58.72ID:HvWrF9I2517デフォルトの名無しさん
2017/09/18(月) 21:37:53.46ID:Rs/BRyvp 突っかかり始めた
518デフォルトの名無しさん
2017/09/18(月) 21:41:40.52ID:dU2P6lSN なんか突っかかってることはわかるけど、読み辛すぎて読む気がしない。二行目でギブ(笑)
519デフォルトの名無しさん
2017/09/18(月) 23:48:00.28ID:Wz+o0dZv >>513
jsもそうだな。関数型じゃないけど。
大雑把に書くと
所謂var bindingされる宣言を評価->所謂let bindingされる宣言を評価->実行
だからvar bindingされた名前は一番最初に見えてる。
やろうと思えばIRの変換で出来ることは実行前に(JIT使わずに)できる。
型情報がないから役に立つのか分からんが。
jsもそうだな。関数型じゃないけど。
大雑把に書くと
所謂var bindingされる宣言を評価->所謂let bindingされる宣言を評価->実行
だからvar bindingされた名前は一番最初に見えてる。
やろうと思えばIRの変換で出来ることは実行前に(JIT使わずに)できる。
型情報がないから役に立つのか分からんが。
520デフォルトの名無しさん
2017/09/19(火) 02:02:55.32ID:jzE0vKua わけのわからん理屈話されるよりこういう内容のほうがまだましだろ
521デフォルトの名無しさん
2017/09/19(火) 03:04:41.27ID:NsD/KMp/522あ
2017/09/19(火) 06:53:09.32ID:GMytP/5k なんで疑問に思えないんだろう。
523デフォルトの名無しさん
2017/09/19(火) 07:36:33.77ID:L/k3HGkW 下手に最適化するとデバッグが困難なイメージを払拭できないどころか助長している
最適化しない動的言語のデバッグは容易な気がする
最適化しない動的言語のデバッグは容易な気がする
524デフォルトの名無しさん
2017/09/19(火) 07:53:57.35ID:Rp+gHpgj 動的言語ってなんだよ
コンパイルしない言語のこと?
コンパイルしない言語のこと?
525デフォルトの名無しさん
2017/09/19(火) 08:03:33.07ID:t8DbjZup >>522
じゃあラムダが自由変数に依存してないのに独立した関数へ変換できないケース、
または、その変換を行うことにより最適化が適用しづらくなるケースの例を挙げてくれ
あDHDの主張はこのどちらかを反例として挙げることで裏付けられるというのが俺の理解だが、合ってるかな?
あと、自然言語で回答されても誰も理解できないと思うから必ず具体的なコードで頼む
じゃあラムダが自由変数に依存してないのに独立した関数へ変換できないケース、
または、その変換を行うことにより最適化が適用しづらくなるケースの例を挙げてくれ
あDHDの主張はこのどちらかを反例として挙げることで裏付けられるというのが俺の理解だが、合ってるかな?
あと、自然言語で回答されても誰も理解できないと思うから必ず具体的なコードで頼む
526デフォルトの名無しさん
2017/09/19(火) 09:30:28.30ID:B9qsqzra >>525
こいつが言ってるのって、たぶん他の最適化如何でラムダ部分のコードそのものが変わるとか、そういう話じゃねえかな…
変換が何を指してるかは分からないから、完全否定はしないけど、反例の種類は対偶もあるだろよ
こいつが言ってるのって、たぶん他の最適化如何でラムダ部分のコードそのものが変わるとか、そういう話じゃねえかな…
変換が何を指してるかは分からないから、完全否定はしないけど、反例の種類は対偶もあるだろよ
527デフォルトの名無しさん
2017/09/19(火) 09:36:28.47ID:sbIiLP4m あDHD(いいネーミングセンス)の言うことを真面目に読むのは疲れるし、読み人によって解釈が異なる上に詠み人は違う解釈でいる
おまえら良くやるわ
でもたしかに自然言語で描かれるよりコードか数学記号で主張してるほうが読みやすそうww
おまえら良くやるわ
でもたしかに自然言語で描かれるよりコードか数学記号で主張してるほうが読みやすそうww
528あ
2017/09/19(火) 18:24:32.47ID:ORpK0dfd529デフォルトの名無しさん
2017/09/19(火) 18:52:46.88ID:PJTSF08k >>528
だからインライン展開は変換後でもできると何回言われたら理解するのか
だからインライン展開は変換後でもできると何回言われたら理解するのか
530デフォルトの名無しさん
2017/09/19(火) 20:25:33.85ID:BJkNW1hw コードで言われているのに自然言語で返すガイジ
Haskellの時に具体的に書いた結果無知を晒して大恥をかいたことがよほどトラウマになっているものと見える
Haskellの時に具体的に書いた結果無知を晒して大恥をかいたことがよほどトラウマになっているものと見える
531デフォルトの名無しさん
2017/09/19(火) 21:17:03.18ID:OwH7JHtJ 前原も就任した後のTV出演で
モリカケ問題ばかりをやるきはないっていったそばから
モリカケ問題トーク始まったからなw
モリカケ問題ばかりをやるきはないっていったそばから
モリカケ問題トーク始まったからなw
532デフォルトの名無しさん
2017/09/19(火) 21:20:11.16ID:OwH7JHtJ >>531
誤爆シマスタw
誤爆シマスタw
533あ
2017/09/19(火) 22:09:51.81ID:ORpK0dfd534デフォルトの名無しさん
2017/09/19(火) 22:37:12.49ID:iY7FO3NM >>533
ウダウダ言い訳してないで言われた通りコードで書けよ
ウダウダ言い訳してないで言われた通りコードで書けよ
535デフォルトの名無しさん
2017/09/19(火) 22:39:47.10ID:zY0OeQa1536デフォルトの名無しさん
2017/09/19(火) 22:40:22.21ID:6tkowvmv なんで最適化の話になってんだか。
javaのGraal使って人間がハンドアセンブルしたマシン語をJITに使える新時代くるで。
いちいちjava bytecode生成しなくて済むよ。TruffleRubyが速い。
javaのGraal使って人間がハンドアセンブルしたマシン語をJITに使える新時代くるで。
いちいちjava bytecode生成しなくて済むよ。TruffleRubyが速い。
537デフォルトの名無しさん
2017/09/19(火) 23:17:20.17ID:y3g67zRP あの人にボロクソに論破されて発狂して何とか揚げ足取りたいガイジがおるようやね
538デフォルトの名無しさん
2017/09/19(火) 23:20:27.89ID:0Xd47I4v 具体的にコード書くとやっぱりいろいろ明確になる。
539デフォルトの名無しさん
2017/09/19(火) 23:27:50.73ID:4ouvyY05540あ
2017/09/20(水) 07:03:02.13ID:0AKG+c7B541デフォルトの名無しさん
2017/09/20(水) 08:20:53.05ID:32CWNlSU542デフォルトの名無しさん
2017/09/20(水) 08:21:44.46ID:32CWNlSU ちな上で叩いてるやつとは別人だぞ
543あ
2017/09/20(水) 08:32:31.84ID:0AKG+c7B 最適化を知ったかしてる人にヤイヤイ言われる程度の事っしょ。
間違ってたら正せば良いし、積極的に正されてるつもりだぞ。
「間違ってるウゥ!」って指差して笑い転げるのは中学生くらいで終わらせとけよ。。
間違ってたら正せば良いし、積極的に正されてるつもりだぞ。
「間違ってるウゥ!」って指差して笑い転げるのは中学生くらいで終わらせとけよ。。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- バリ島で男子生徒ら集団万引きか、防犯カメラ映像が拡散 京都の大谷中学・高校が「窃盗行為」謝罪★4 [七波羅探題★]
- 中国軍機レーダー照射、トランプ氏沈黙突く 試される日本外交 [蚤の市★]
- 【広島】「万引きした人を追跡」コンビニ店員の男性(46)を果物ナイフで刺したか 中国籍の少年(17)を殺人未遂容疑で現行犯逮捕 [ぐれ★]
- 【地震】青森県で震度6強 長周期地震動も 津波注意報すべて解除 ★7 [ぐれ★] [ぐれ★]
- 【サッカー】58歳カズ「オファーが来ている」 J3福島と近日中にも交渉 早ければ年内にも決断 [征夷大将軍★]
- 【速報】気象庁は津波注意報すべて解除 [蚤の市★]
- 【実況】博衣こよりのえちえち朝こよ🧪
- ヨッシー、ヘイホー、テレサ ←こいつらwwwwwwwww
- 【悲報】高市早苗の擬人化がXで大バズりwwwwwwwwwwww [455031798]
- さかまた「過呼吸になった」かなた「耳聞こえない」ござる「声出ない」まつり「ご飯食べれない」
- くそしてかがやけ
- 一人暮らしだからケツ出してみてるけど
