- 1 名前:デフォルトの名無しさん mailto:sage [2017/12/01(金) 23:08:21.45 ID:FxdZTiuZ.net]
- スレタイ以外の言語もok
前スレ 次世代言語Part7[Go Rust Swift Kotlin TypeScript] mevius.5ch.net/test/read.cgi/tech/1508403098/
- 528 名前:デフォルトの名無しさん mailto:sage [2017/12/31(日) 13:25:14.78 ID:G5F8BPZR.net]
- いろんな言語の悪口言ってるw
Debunking Myths About Programming Languages (and More) https://www.youtube.com/watch?v=rZeTdi7en6A
- 529 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 12:19:03.55 ID:bFOlOWpA.net]
- >>510
マクロを追ってくのは面倒ではあるが 一つ一つ展開してけばそこまで無理ゲーではない。 しかしhaskellみたいに正格評価でない言語はバイナリイメージが描きにくいし やっぱり辛いんじゃないかな。
- 530 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 12:39:18.50 ID:/aa2tlFp.net]
- Haskellのバイナリはイメージ出来んな
でも出来る必要あるか?
- 531 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 12:49:38.56 ID:UOCN9gps.net]
- する必要がない人が使うんだろ。
良いじゃん、バイナリサイズが大きかったり、メモリ消費が多かったり、動作が遅ければ計測すれば。 大きくなるだろうな、メモリたくさん使うだろうな、これじゃ遅いだろうな、なんて気づきは無駄らしい。計測が全てらしいわ。 また半狂乱になって必要性の無さを説くのを眺めるのもめんどくさいし、そういう言語だって理解でいいんじゃねえの?
- 532 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 12:55:17.85 ID:/aa2tlFp.net]
- どうせPythonとかでもバイナリイメージ描かんじゃろ?
- 533 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 13:07:46.20 ID:/aa2tlFp.net]
- Haskellは動的言語以上にそっちの方向いっとる
そっちの極みやね
- 534 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 14:34:14.61 ID:aCS5pbMF.net]
- くすくす
- 535 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 15:17:11.09 ID:2Vcmk2Ln.net]
- おまえら、いつも「これはどんなバイナリ」とか考えながらコーディングしてんの?
バカじゃないの?
- 536 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 15:18:05.17 ID:ry7dOet7.net]
- 俺も数学科出身なんだけど、層の理論ってプログラムと関係ないと思う。
だけど、↓みたいに数学的基礎付けが欲しい人はいるのもわかるが。 Haskellと層 https://qiita.com/makoraru/items/ab891a60d4dfe4bbf649
- 537 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 16:45:32.23 ID:bFOlOWpA.net]
- バイナリイメージっつーか
結局デバッグってどの時点かで想定の値と違ってるところを探るってことになるわけで、 その評価のタイミングとか考える必要があるじゃん。 そういう評価のタイミングがわかりにくい言語だとデバッグがきついんだよ。
- 538 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 18:17:03.86 ID:/aa2tlFp.net]
- 一応、タイミングという概念から解放されるための参照透過性なのでは?
- 539 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 19:33:22.97 ID:bFOlOWpA.net]
- 解放されたいのはわかるが実際は違うんだから仕方ない。
言語でいくら定義しようが、ノイマンマシーンはそんな風には動かないんだから。
- 540 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 19:46:21.62 ID:/faDXLzU.net]
- 実行できない仕様記述言語の方が初心者に優しい
バイナリとかメモリとか気にする必要がないことが明確になる 実行できる機能を追加したら言語の評価が下がる もちろん実質的な価値は上がるが、評価と実質が乖離するのは初心者には難しい
- 541 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 20:16:05.10 ID:yhABuCD4.net]
- 実際Haskell 使ってて、タイミング気にしないといけない状況って何よ?
- 542 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 21:49:32.98 ID:/aa2tlFp.net]
- Haskell最大の謎仕様は「Num」だと思う
- 543 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 22:38:37.64 ID:sFrCkJSv.net]
- >>526
メモリが無限にあるならサンクがどれだけ作られても気にならないけど 実際は違うから適当なタイミングでサンクを潰す必要がある
- 544 名前:デフォルトの名無しさん mailto:sage [2018/01/01(月) 22:59:07.73 ID:yhABuCD4.net]
- それもそうか。たしかに妙なところで妙な泥臭さが顔を出すな
- 545 名前:デフォルトの名無しさん [2018/01/02(火) 10:01:13.65 ID:EAVq+O5u.net]
- >>470
読んでみて面白いと思ったけど、「動作する仕様書」ってのがいまいちイメージ出来ない。 参考になるURLとか知ってる人居ますか?
- 546 名前:デフォルトの名無しさん mailto:sage [2018/01/02(火) 11:37:28.22 ID:rfQ6c9kP.net]
- >>527
同時にそれはオブジェクト指向の謎でもある 実数と整数の間に "is a" 関係は存在しないのか?
- 547 名前:デフォルトの名無しさん mailto:sage [2018/01/02(火) 12:30:30.49 ID:oC5uWYs9.net]
- >>517
動的言語じゃん。 まあそれでもどう解釈されるかとか、これじゃinline展開されんな、とかはJavascriptでも考えるが。 >>520みたいにしない人はしなくても良いようなプログラム書いてるんだろうし、無駄だよ、この議論は。
- 548 名前:デフォルトの名無しさん mailto:sage [2018/01/02(火) 14:12:57.96 ID:AAYv0JXv.net]
- >>530
古いけどこれとか参考にならないかな? 「分析・設計ツールとしてのSmalltalk」 web.archive.org/web/20131025032224/http://www.sra.co.jp/public/doc/GSletter/vol.26/smalltalk/smalltalk.pdf
- 549 名前:デフォルトの名無しさん [2018/01/02(火) 22:00:37.83 ID:EAVq+O5u.net]
- >>533
サンクス、読んでみる。
- 550 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 00:13:36.77 ID:BD5Fg5Uh.net]
- 本当に必要なのは、コンパイルの通る仕様書じゃないか?
動作する仕様書です!なんて出して、「それで動くんだからいいじゃん、はい保守」 なんて言われた日にゃ地獄の始まりだろ
- 551 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 00:23:34.96 ID:36t783to.net]
- Smalltalkerにはソレで十分なんですよ
なんとなく動けばok。エラー?握り潰せば?の世界だから
- 552 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 00:35:45.41 ID:BQWr3hBa.net]
- 動作はするけどなんだか速度が遅いから最新機種の方がいいじゃん、はい購入
これがマネタイズだ
- 553 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 07:32:07.83 ID:jID8SJMc.net]
- >>535
あまりに動的性を追求しすぎててインタープリタ言語と勘違いされがちだけど Smalltalkも(VMで動くJavaがそうであると言える程度には)コンパイラ言語なので 「動く」以上はコンパイルは「通っている」んだな、一応w もちろん533が言いたいのはそういうことじゃないことは分かっているんで、マジレスすると 型システムのチェック(のことだよね?)を通すのにコスト(主に人員や時間)をかけられる程度に 急ぎでない(つまり「仕様が固まっている」)のならSORABITOとかで求められる 「必要なら本番投入も可能な動く仕様書」的側面はきっとあまり役には
- 554 名前:ァたないだろうね []
- [ここ壊れてます]
- 555 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 08:02:43.84 ID:jID8SJMc.net]
- >>535,536
こっちにもマジレスすると、実際そのとおりで Smalltalkの設計者ら(アラン・ケイだけど)は ひどいと「地獄」とまで形容されるそれ、つまり本番投入後の要求変更を必要不可避なものとして捉え 天国とまでいかずとも他言語には難しい後からの大胆な仕様変更をも支援できる動的性を この処理系(環境を含む)に付与することに腐心し、それはある程度奏功している 「ソフトウェア工学」は矛盾語法か? -- アラン・ケイ metatoys.org/oxymoron/oxymoron.html Smalltalkの底を流れる設計思想 -- ダン・インガルス web.archive.org/web/20041016084842/http:/marimpod.homeip.net/chomswiki/24 TDDの「ひどい仮実装でもとりあえずグリーンにするのを優先し、そこから重複を除去(リファクタリング)」 というとんでもない発想が生まれ得たのもSmalltalkのこの大胆な変更への追随力があったから
- 556 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 10:49:31.30 ID:JTHdffOK.net]
- >>535
きみには孫請けSIer根性が染み付いているようだねッ 彡⭐
- 557 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 13:41:42.24 ID:0ljbskXf.net]
- Pythonよりすっきり書ける言語がないという事実
- 558 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 15:29:23.56 ID:BD5Fg5Uh.net]
- >>541
lamdaが糞 finalがない privateがない はい完全究極ロンパリオン・ギガアタックEx
- 559 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 15:36:20.12 ID:0ljbskXf.net]
- >>542
そんなゴミクソ仕様の塊よりすっきり書ける言語がないという事実
- 560 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 16:16:41.94 ID:1ORngv96.net]
- >>542
×lamda ○lambda >>542 Y コンビネータをすら記述できない lambda 仕様が特にコンパイル言語にも氾濫しているが、いったい何の役に立つんだ?老害避けのつもりか?
- 561 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 16:25:14.58 ID:BD5Fg5Uh.net]
- >>543
おまえのいうすっきりって何だよ 俺はTypeScriptですっきり書けてるが?
- 562 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 16:44:08.47 ID:CJ7nUX51.net]
- Zコンビネータじゃ駄目なんか?
- 563 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 17:44:23.37 ID:BD5Fg5Uh.net]
- 俺なんかXenoExtraUltraGigaJetHyperUltraMiracleSuperコンピータだが文句あるか?
- 564 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 18:27:49.94 ID:1ORngv96.net]
- >>547
君の芸風とても好きだ! >UltraGigaJetHyper**Ultra**
- 565 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 18:51:02.03 ID:ykBugU3C.net]
- またTypeScriptか。
いい加減ちょっと落ち着いてほしいな、推しの人は。 言語仕様はごった煮、出来上がるのは微妙に汚いJavaScript。 async awaitをネイティブのasyncじゃなくてトランスパイルした結果なんて変数のライフタイム無茶苦茶長くなるし。 言語としてのTypeScriptはいろんな意味で何でもできて良いと思うけど、今の実装としてのTypeScriptって微妙だと思うんだが。 単に書く時にスッキリかけても、ちょっと違う気がする。
- 566 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 18:56:17.97 ID:Dz+CQN9J.net]
- >>549
普通にコンパイルオプションの問題だし。 outputをes2017に指定すればいいよ
- 567 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 19:05:06.06 ID:ykBugU3C.net]
- >>550
そうじゃなくて。だからネイティブのじゃなくてトランスパイルさせたらって前提付けたんだけどな。 なんかあそこまでやるなら、JSとの相互運用諦めてもっと汚いコード出せば良いのに、と思ってしまうんよ。
- 568 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 19:38:05.02 ID:Dz+CQN9J.net]
- >>551
TypeScriptのトランスパイルコードを直接いじることは無いからなぁ。 なんでそんな状況になったの?
- 569 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 20:25:39.92 ID:ykBugU3C.net]
- >>552
弄ることは無いが、あるべき姿になるようにTS側で書き分ける事はあるかな。 くっそ遅い関数がなんで遅いのかを調べにかかった時に、モヤモヤした覚えがある。 genericsとか、型ごとの関数をちゃんと作ってほしいけど、一つだったり。今違うかったらすまん。 その時は、これでJIT結果捨てる事になってる…って気づいて、素直に沢山関数を作った。 コンパイラと言うならもう少しVMの仕様を鑑みても良いと思う。
- 570 名前:デフォルトの名無しさん mailto:sage [2018/01/03(水) 20:47:23.87 ID:ojwn4PN+.net]
- 特定のブラウザの現在のバージョンに最適化しろってこと?
お前それ自分がコンパイラ作る立場ならやろうと思うか? やろうと思うならお前がコード書いてプルリク出してやればいい 確実にリジェクトされるだろうけどな
- 571 名前:デフォルトの名無しさん [2018/01/04(木) 00:44:42.33 ID:nu/rOVYa.net]
- wasmが普通になったら状況変わるかね?
- 572 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 01:19:26.61 ID:j8WFIzPh.net]
- wasmが吐き出すjavascript気になるマンが出てくるに100000000000000ジンバブエドル
- 573 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 02:20:20.25 ID:Gm3YPo14.net]
- 気にしないでいいって保証が欲しいのはよくわかるよ。
- 574 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 10:28:15.71 ID:eEA4RdWc.net]
- 確かにTypeScriptは実際に書いてるとめちゃくちゃ次世代感あるが、
それはReactとかReduxとかのメジャーを作ってる奴らが関数型厨だからで、 次世代なのは、言語というよりはライブラリという感じがする。
- 575 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 11:33:00.27 ID:j8WFIzPh.net]
- PHP書かされてたときは辺境の島国で首輪に繋がれて石器で木の実取ってる気分になったわ
- 576 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 11:37:57.37 ID:dTmScpvt.net]
- >>554
特定のブラウザじゃなくて。そういう発想がセンス無いの。 複数の型で同じ関数を呼ぶとかストールするのはほとんど当たり前と言っても過言じゃなかったりするけど、それを「特定のブラウザの問題でしょ?それよりこんな新しい機能ついたよ」って毎回押し切ってくるのがTypeScript。 AssemblyScriptなんかは好きだけどね。 TS使うプロジェクトにはたまにプルリク送ってるけど、最終的にはTSっぽくないTSのコードになるよ。
- 577 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 13:22:41.64 ID:h9oQFOEG.net]
- >>560
そんなもんJITがやるべきことでしょ
- 578 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 13:34:10.72 ID:dTmScpvt.net]
- >>561
だから、特定のどうの、ではなくて、概ね大半の処理系でJITに乗るようなコンパイル結果出せって言ってるんだけど? 無理した小奇麗なJSっぽいコード出さなくても良いじゃん、って。 V8だと何バイト以下なら関数はインライン化される、とか細かい癖も確かにあるけど、だからこそ小奇麗で無くていいと思うんだが。
- 579 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 13:38:00.17 ID:dTmScpvt.net]
- もしかして、今TypeScriptでジェネリクス使っても、JITは結果破棄しないのかな?
そうならごめん。
- 580 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 13:55:58.71 ID:lDvme0sw.net]
- 要はTypeScriptの実装が良くないということなんだろうけど、使う側からしたら
パフォーマンスやフットプリントが許容範囲を超えない限りは気にしないかな。
- 581 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 15:47:07.60 ID:dTmScpvt.net]
- 実装が中途半端、かな。JSに引きずられすぎだと思う。
Cで言うとexternしない関数が関数としての形を保たなくても良いのと同じ様に、exportしてないものを似たようなJSのコードにする必要は(もはや)無いと思うんよね。 許容範囲次第なのは確かだけど。 言語としては新しくて良いと思うが、処理系として微妙ってのはそういう所。
- 582 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 19:02:23.91 ID:h9oQFOEG.net]
- >>564
ジェネリックをソースレベルで展開なんかしたらフットプリントが増えて JavaScriptで一般的に言われるパフォーマンス(つまりロード時間)は落ちるよ
- 583 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 19:07:31.76 ID:a9q0dcb4.net]
- おまえらなんかよりずっと賢い連中が作ってるんだから
問題なんかあるわけねえだろ バカか?オレオレFW作りたがり坊やのペチプァなのか?
- 584 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 19:52:37.93 ID:c10UOky1.net]
- >>566
ブラウザだけで動かしたい訳でもないし、起動時のパースのフットプリントをどうこう言うのであれば、今のNodeのnode_modules自体、既に無茶苦茶でしょ。 それも、最初に一発パースするからそうなるんであって、bootstrapとその後に分ければいいんでないの? >>567 ペチプァ言いたいだけだろうが、ペチプァ連呼して悦に入って問題を理解できないやつにゴタゴタ言われたくはない。
- 585 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 20:16:17.73 ID:nTAtbfT4.net]
- ID:dTmScpvt言ってる事そんなにわけわからんくもないのになんでこんな事になってんだ?
- 586 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 20:29:50.34 ID:UC9+Q2Sj.net]
- 正義を徹底するより中途半端の方がいいと思ってる奴はいっぱいいるから
- 587 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 20:47:32.62 ID:lDvme0sw.net]
- >>566
トランスパイラである以上多かれ少なかれそういうオーバーヘッドは避けられるものじゃないと 思うけど、問題はそこでTypeScriptがBabel等と比較して出来が良くないのかどうかだね。
- 588 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 20:49:37.08 ID:h9oQFOEG.net]
- 過剰な最適化は開発のスピードを落とすしバグも増やすからな
- 589 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 21:19:25.60 ID:SwPhpZjo.net]
- いいか、喚くだけなら頭がPoorのペチPoorでもできるんだよ
わかるか?わからんやつはペチプァだけだが
- 590 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 21:23:18.84 ID:typzK5sH.net]
- ちょっと笑った
- 591 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 22:58:20.94 ID:ZFKdQPiM.net]
- ペチPoorは良いな。俺も使わせてもらおう
- 592 名前:デフォルトの名無しさん mailto:sage [2018/01/04(木) 23:59:42.42 ID:/Un6+mBC.net]
- ペチPoohでもいいぞ
- 593 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 04:33:36.96 ID:Lhuo9IQi.net]
- >>573
おまえは気が狂っている。 一刻も早く病院へ行け。
- 594 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 07:47:15.22 ID:QF8nYsKX.net]
- >>577
草
- 595 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 10:36:04.85 ID:OSZVMsU9.net]
- >>577
おっ 頭がPoorのペチPoorか?
- 596 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 12:08:39.39 ID:2QFGEILP.net]
- ペチPoorはおつむもおちんぎんもPoorでかわいそうね
- 597 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 12:50:08.59 ID:WQychI9E.net]
- >>572
そろそろコンパイラと言うなら、最適化フェーズに入って欲しいわ。 ずーっと(確かに欲しいのはわかるが今でなくて良いだろうと言いたくなる)新機能つけ続けてるじゃん、
- 598 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 13:38:22.06 ID:rGChZwpO.net]
- >>580
やめたれw
- 599 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 13:40:21.34 ID:9YdInhdK.net]
- >>581
そろそろ課金するフェーズだろ お金を払ったら悪口言っていいし、悪口言われたくないならお金稼ぐのをやめればいい
- 600 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 14:12:44.72 ID:WQychI9E.net]
- >>583
課金するフェーズはまあ別に妥当な値段なら買うよ、マジで。課金して良くなるならね。 VSより高いとなるとちょっと考えるけど。 自分でプルリクせえとなっても、suggestionの段階で同じ様なパフォーマンスのためにJSの形変える系の話は、みんな却下されてたはず。 要は皆>>570の様な形で、中途半端で良いと思ってて、どん詰まりはもっと先だろと楽観視してる。 もはや単なるリンタ。
- 601 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 18:22:04.71 ID:rGChZwpO.net]
- 推測するな 計測せよ
って言葉知らんのか?
- 602 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 18:43:32.98 ID:/3vfwTze.net]
- 知らん
- 603 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 18:44:03.04 ID:/3vfwTze.net]
- 考えるな、感じろ。なら知ってる。
- 604 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 18:47:50.38 ID:2QFGEILP.net]
- それ知らんのはガイジ
- 605 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 20:49:35
]
- [ここ壊れてます]
- 606 名前:.32 ID:WQychI9E.net mailto: 無意味に計測だけしても無駄でしょ。
推論からの計測で計測からの推論かと。 どこを計測するか考えてる時点で推測しとるって事だからね。 [] - [ここ壊れてます]
- 607 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 21:06:34.87 ID:Z2M9SnI/.net]
- >>584
そもそもTypeScriptは単なるリンタだろ お前がプルリクを出すべきなのはTypeScriptではなくV8
- 608 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 21:20:50.22 ID:2QFGEILP.net]
- 「推測するな 測定せよ」みたいないわゆる格言に対してそんなガキみたいな屁理屈捏ねられてもね……
- 609 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 21:25:02.92 ID:5kzCv3dH.net]
- TypeScriptをlint扱いは流石に草
- 610 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 22:31:21.64 ID:EMt1frzJ.net]
- 推測も測定も両方しろよ。
- 611 名前:デフォルトの名無しさん mailto:sage [2018/01/05(金) 23:22:56.45 ID:iSZmj121.net]
- もうPooHPでも書いてろよ
- 612 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 14:22:11.98 ID:pmlj07ym.net]
- >>590
違うらしいよ、信者様によると。
- 613 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 14:24:10.80 ID:pmlj07ym.net]
- >>591
意味を理解しない格言や誤謬を招かんとする格言の使い方には一言言いたくなるじゃん。 そう信じて計測だけする奴が可哀想だ。
- 614 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 14:27:48.16 ID:ul9KuZX2.net]
- どう考えてもV8にコミットするのが筋だわな
別にTS批判君が全ブラウザをやらなくても、効果的な改良なら他もすぐに追従するだろう まさかJIT結果だのVMの仕様だのキリッが付きそうなレスしてるのにC++やネイティブコンパイル分からないとか言わないよね
- 615 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 15:18:49.96 ID:Zbelr2Bx.net]
- 臭い奴がおるな
- 616 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 16:25:24.67 ID:vE17HoYT.net]
- wasmにGCが搭載された暁には
いくらでも頑張って欲しい
- 617 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 16:48:12.08 ID:pmlj07ym.net]
- >>597
いや違うだろ。 なんでTSのコンパイル結果がクソなのをV8が面倒見るべきかわからんが。 普通にコンパイラとして真面目にコンパイルすりゃいいのに、って話で、 トランスパイラならトランスパイラと名乗れば良いのに。 よくもまぁこういう擁護ができるなぁと思うわ。 V8や他のJSエンジンは、JavaScriptの処理系であって、TypeScriptの処理系じゃねえんだから。 それこそ、TypeScriptが吐き出した中途半端なJSに対するチューニングなんか必要ないだろ。 V8側のスタンスは「最初からJSで書きゃ良いだろ、asyncが欲しい?考えてやるよ」と機能の面では歩み寄ってきたじゃん。 そういう意味で、wasmに振って、ちゃんとコンパイルするAssemblyScriptはいい方向だと思うが、 tscの方向性は微妙としか言い切れんと思う。 TS自体がなんで未だにJSに引きずられる必要があるのかわからんが、皆がそれで良しとする理由は「中途半端で良いから」なの?
- 618 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 16:51:40.90 ID:pmlj07ym.net]
- コンパイルした時点で型が消えるのに、JITに引数の型に対して何種類か載せ続けるべき関数(ジェネリクスだった関数)なのか、それともany受けてるただの関数なんか、それこそプロファイル取ること自体無駄じゃん。
最初から型ごとに吐きゃ良いのにって思っちゃいかんのか?
- 619 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 17:16:11.92 ID:vE17HoYT.net]
- 名前の通りbetterJS以上の認識は無いな
少なくともtscだろうとtstだろうと単なる名前に拘る奴は居ないと思う >いかんのか? いいと思うよ
- 620 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 18:35:08.26 ID:bW7JkyTC.net]
- >>600
実行時に型ごとにJITを分けるのって割と一般的な最適化手法だろ 型ごとにjsを生成すると言っても結局それらはみんな同じコードであって型情報なんて残らないんだから、
- 621 名前:
それが適切に最適化されるかどうかなんて処理系次第だろ jsに型アノテーションを導入しろというなら理解できるが、あんたの主張は無茶な言いがかりにしか見えないな [] - [ここ壊れてます]
- 622 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 18:41:14.50 ID:bW7JkyTC.net]
- 補足
最適化されるかは処理系次第、といったのは、結局、型ごとにjs生成しようが JITは実行時の型を利用して最適化することには変わりないんだから、本質的には大した違いはないという意図だぞ ヘボいと言うなら複数の型に適切に対応できないJITがヘボいんだよ
- 623 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 18:58:45.67 ID:wyffhFco.net]
- >>580
主治医の先生にもそう言ったのか? ちゃんと薬のめよ。
- 624 名前:デフォルトの名無しさん mailto:sage [2018/01/06(土) 20:51:20.91 ID:jSg6g7bL.net]
- >>605
PooHPoorさん・・・w
- 625 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 09:04:05.50 ID:WSf4F++k.net]
- >>603
型ごとに生成すりゃJIT破棄しないだろ。 ちょっとは挙動わかって言いがかりつけてんの?
- 626 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 09:48:25.87 ID:X58Odkk6.net]
- >>607
まともな実装なら型が数種類あるくらいならJIT破棄しないよ
- 627 名前:デフォルトの名無しさん [2018/01/07(日) 12:37:05.15 ID:3N9WbZKm.net]
- 妄想でごちゃごちゃ言ってないで検証コード載せなさいよ
どっちが馬鹿かはっきりするでしょ
- 628 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 13:26:29.62 ID:WSf4F++k.net]
- >>608
あ、そうなんだ。それは良い風に変わってるんだな。 俺が見たときはほとんど整数、たまにエラーを表すオブジェクトのときに、毎回オブジェクトの時にJIT捨ててたけど、古いといえば古い話だし。 まぁプロファイル次第なんだろうな。 >>609 どっちが馬鹿とかじゃなかろうが。 そういう発想がマウンティングとかいう発言に繋がってんの?
|

|