[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 03/21 20:29 / Filesize : 251 KB / Number-of Response : 1035
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]
|
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
次世代言語Part8[Haskell Rust Kotlin TypeScript]
- 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/
- 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 どっちが馬鹿とかじゃなかろうが。 そういう発想がマウンティングとかいう発言に繋がってんの?
- 629 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 13:30:35.11 ID:+RrxdpdM.net]
- マウンティングで検索したら誰も言ってなくてワロタ
- 630 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 13:47:09.28 ID:WSf4F++k.net]
- >>611
ホントだな。 過去スレの印象で言ってるもんだと思ってたわ。
- 631 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 13:59:18.12 ID:vkdahwds.net]
- まあ新しい言語やるやつの動機の7割はマウント取りたいで合ってるよ。
- 632 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 14:07:56.16 ID:tEoGaVYL.net]
- x >= y または x < y などと変数でごちゃごちゃ書いてないで定数にすればわかる
変数は妄想だ 妄想するな計測せよ
- 633 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 14:37:44.54 ID:8Eqg8PLM.net]
- 2 >= 1
- 634 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 15:41:02.61 ID:WSf4F++k.net]
- 変な荒れかたするもんだな。
- 635 名前:デフォルトの名無しさん [2018/01/07(日) 19:02:21.52 ID:KS5M1w7d.net]
- まあ個人の体験談みたいなものを根拠に主張したって賛同はされんわな
コードが出てこないと改善の有用性も見えないし抽象的な話で止まってしまうよ
- 636 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 21:38:26.68 ID:BUQO0mIV.net]
- そーだな、ぜひともHaskellで書いた次世代言語らしいサンプルが見たいもんだ。
他の言語は出たのにな。
- 637 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 21:51:35.49 ID:tEoGaVYL.net]
- HaskellとKotlinとTypeScriptのサンプルが出なかった時の話だろうか
- 638 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 21:58:24.02 ID:Oi0ICvXY.net]
- サンプルコードが出るとダメな言語は一目瞭然だったりするからな
Sから始まる言語とか
- 639 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 22:23:27.72 ID:tEoGaVYL.net]
- ダメな言語の批判ばかりだよな
よかった言語の名前は出せない空気になってる
- 640 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 22:26:14.15 ID:WFi36oCb.net]
- 5chは初めてか
- 641 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 22:52:11.69 ID:+RrxdpdM.net]
- そいつは例のあDHDだろう。Haskellユーザーがいないこのスレで触ったこともないHaskellを叩き続けるガイジだから触れない方が良い
- 642 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 22:59:52.18 ID:L6/hrCeD.net]
- 文句なしの打っ千切り糞言語賞ナンバーワンはPから始まるあの言語だよなぁ
- 643 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 23:22:37.67 ID:+RrxdpdM.net]
- PooHPoorの話はおいといて、好きな言語の話をするのは良いな
- 644 名前:デフォルトの名無しさん mailto:sage [2018/01/07(日) 23:53:28.58 ID:L6/hrCeD.net]
- ブレストの「批判をするな」がいかに大切かわかる空気感だね
- 645 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 00:10:42.98 ID:vJNmJMtg.net]
- ブレストは頭の中だけで行動が伴わないので批判しなくていい
厳しく批判されるのは実行に移そうとした時
- 646 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 02:24:37.62 ID:+UJAnfcM.net]
- マンセーしたきゃ勝手にすりゃいいじゃん。
現実で文句言われるよりここで言われる方がマシだろ。
- 647 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 10:50:08.35 ID:si2lRCsu.net]
- 現実でニコニコ
ネットで陰口 美しい国ジャップランド土人村
- 648 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 13:31:41.59 ID:ojmRQEAO.net]
- ネットは筆記試験のようなものだよ
筆記試験もネットと同じような批判をされて面接重視になった
- 649 名前:デフォルトの名無しさん [2018/01/08(月) 14:51:35.25 ID:isNCSjM0.net]
- >>629
おま環だろ?
- 650 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 18:13:08.29 ID:e0/LavPD.net]
- おま国だろ
- 651 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 20:27:12.48 ID:TtlW0DEg.net]
- Elmってどうなんだろ。インスパイアされたhyperappとかいうのがあるけど。
新しいjsライブラリは結構TypeScriptサポートしていて嬉しい
- 652 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 22:54:56.01 ID:e0/LavPD.net]
- 全てのJSプロジェクトはTypeScriptにしろ
棒案件で立ち上げ時にクソバカの老害オッサンがJSでコード書き始めたせいで どんだけ苦労したか
- 653 名前:デフォルトの名無しさん mailto:sage [2018/01/08(月) 23:52:24.85 ID:KF2MtXIW.net]
- TypeScriptは認めるがBabelはほんとやめてほしい
わざわざビルドを面倒にするだけの見返りはどう考えても無い
- 654 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 00:49:10.43 ID:Eu2F6gCU.net]
- Babelないとjsxも書けないし新しい文法も使えないぞ
糞まみれの生JSに戻る気か?
- 655 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 00:53:34.69 ID:mcq0XcNK.net]
- 下痢便が軟便になる程度だろ
- 656 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 17:04:26.38 ID:vMJYxq5i.net]
- TypeScriptもいずれノーマルjsに吸収される
- 657 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 17:11:58.74 ID:MVMyukKY.net]
- >>638
それ理想的だね。型を最初からサポートしたほうが良い。 typescriptを中心に据えてオプションで型無しをサポートする方針にしたほうが処理性能向上に寄与する気がする。 あとnumber型を廃止して
- 658 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 18:53:23.55 ID:dlYDsmgP.net]
- >>623
もう叩いてないぞ。 割と興味出てきたのに、誰も、ここが良い!を言わないからつまんねえのって思ってるだけだよ。 スレタイに入れたいだけじゃねえの?って。 正直、使ってみた感じは悪くないけど、この便利な言語でこういう事すると楽かな?みたいなのがあんまり思いつかんので、良いサンプルは見たいな。 GoのGoroutineやchanの気軽さとか、erlangのプロセスの考え方みたいなのとか。
- 659 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 18:54:28.23 ID:5zS3VIoD.net]
- >>623
スレタイに入れた奴が居るはずだろw
- 660 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 19:50:56.76 ID:MVMyukKY.net]
- Haskell使った有名なアプリってなんかあるの?
- 661 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 19:55:51.91 ID:WTFA4htZ.net]
- xmonad
- 662 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 20:14:49.53 ID:EVhg342m.net]
- monadius
- 663 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 21:09:47.45 ID:Dcv/I53t.net]
- これとか?
https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/
- 664 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 21:25:06.32 ID:p1Q0x2y+.net]
- データフィルタ的に使うのなら確かにいいかもな。
- 665 名前:デフォルトの名無しさん mailto:sage [2018/01/09(火) 23:27:20.37 ID:MVMyukKY.net]
- >>643
linuxを、デスクトップ用途で使うならいいけどなぁ。 wafとかで革新的なやつとか無いのかね?
- 666 名前:デフォルトの名無しさん mailto:sage [2018/01/13(土) 21:15:44.50 ID:c6t40eQY.net]
- >>6
- 667 名前:42
Pandoc []- [ここ壊れてます]
- 668 名前:デフォルトの名無しさん mailto:sage [2018/01/15(月) 20:41:07.18 ID:MfcsBHji.net]
- 関数型プログラミングの流行も落ち着いた感じかね?
- 669 名前:デフォルトの名無しさん mailto:sage [2018/01/15(月) 21:19:36.73 ID:+I1W8YzH.net]
- さいなー
- 670 名前:デフォルトの名無しさん mailto:sage [2018/01/15(月) 23:18:02.53 ID:GwTCehVf.net]
- 落ち着いたも何も、みんな身につけ終わっただけだろ
- 671 名前:デフォルトの名無しさん mailto:sage [2018/01/16(火) 13:33:12.35 ID:9RwiafIQ.net]
- せやな
- 672 名前:デフォルトの名無しさん mailto:sage [2018/01/16(火) 22:37:54.03 ID:rkvgxjqz.net]
- ビットコインの流行「奴は流行の中で最弱」
- 673 名前:デフォルトの名無しさん mailto:sage [2018/01/16(火) 23:05:29.36 ID:VmDdoWU7.net]
- 関数型の後Pythonに戻ったら、それまでとも違うけど関数型でもないコードになった
- 674 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 10:07:53.77 ID:9HqucL9D.net]
- pythyonって関数型書きやすい?
- 675 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 10:31:26.77 ID:I48MtSJA.net]
- 書きにくい
- 676 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 10:57:56.45 ID:9HqucL9D.net]
- lambdaが書きづらいからとか?
やっぱ関数型プログラミングはRubyのほうが強いのか
- 677 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 11:09:34.12 ID:I48MtSJA.net]
- Rubyと比べてどうかは知らんけど、Pythonのデータ構造や文法ならいわゆるPythonicな書き方が書きやすく読みやすいので関数型特化する必要がないので、関数型には書きにくい
- 678 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 11:22:30.71 ID:dt2TzLE6.net]
- なぜ関数型とRubyが、目的と手段なんですか
理想主義と現実主義ではだめなんですか
- 679 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 11:24:00.75 ID:VP9/FI9R.net]
- 関数型って何をさすのか
よくそれだけで会話が通じるなと思うわ
- 680 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 11:51:37.31 ID:dt2TzLE6.net]
- 言語の標本集合をさすんじゃないですか
現実の言語にはばらつきがありますが、平均すれば理論値に収束する筈だとか
- 681 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 13:21:41.39 ID:VP9/FI9R.net]
- 標本がどうのこうのじゃなくて
会話噛み合ってないだろってことだよ 頭でっかちさん
- 682 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 13:35:55.43 ID:dt2TzLE6.net]
- そうやって悪態をつくのも会話ができない人の典型
- 683 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 13:57:51.64 ID:PYB4eJ3B.net]
- rubyのfirst classですらないlambdaだって書きやすくはねーだろ
- 684 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 18:38:24.63 ID:XaYj/w5S.net]
- >>660
ほんとにな。 ラムダ一つとったって型なし、型あり 型にしたって、型に依存する型、型に依存する項(関数など)、項に依存する型とか色々あるのに。
- 685 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 20:11:35.06 ID:ZAXr3Ump.net]
- PythonicとかPythonistaとか、改めて見るとすごい呼称だ。
- 686 名前:デフォルトの名無しさん [2018/01/17(水) 21:11:15.44 ID:zdlnY+SA.net]
- >>655
書きにくいから、Python の公式文書では lambda で書いたコードを 手続き型の for ループへ書き換えることを推奨している https://docs.python.jp/3/howto/functional.html
- 687 名前:デフォルトの名無しさん [2018/01/17(水) 21:34:21.77 ID:zdlnY+SA.net]
- >>658
あれれ、日本国内ではそういう認識が浸透してるの? 世界的には Python の lambda が欠陥であることは広く知られていて、 改善に向けた議論も重ねられたけど、結局、作者のGuido氏が 「解けないパズル(unsolvable puzzle)」と匙を投げたという残念な 結論のまま現在に至っているという共通認識があります https://mevius.5ch.net/test/read.cgi/tech/1415419907/197/ やっぱり日本在住の Pythonista がガラパゴスなのは昔から同じですね mevius.2ch.net/test/read.cgi/tech/1345123070/70-71/
- 688 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 22:01:34.45 ID:jFkmgXk5.net]
- python のラムダの使い道ってほとんどがソートに渡す比較関数くらいだと思う。
- 689 名前:デフォルトの名無しさん mailto:sage [2018/01/17(水) 22:47:35.07 ID:I48MtSJA.net]
- 世界的な認識のソースでも貼ってそうな場所にあるリンクが2chの別スレ
- 690 名前:ヨのリンクで困惑している []
- [ここ壊れてます]
- 691 名前:デフォルトの名無しさん mailto:sage [2018/01/18(木) 05:27:53.26 ID:zo82h2qj.net]
- Pythonあまり知らんけど、上のリンク見てて思ったのは、
1. 自分で高階関数を作れない(ラムダ式が利用できる関数が少ないと書いてある) 2. where節みたいなスコープの限定されたローカルな書き捨ての関数を用意する文法がない(読みにくいでしょ?とか書いてある) この辺の縛りがあるからでないかい?
- 692 名前:デフォルトの名無しさん mailto:sage [2018/01/18(木) 09:22:04.51 ID:AIUmpkCu.net]
- ごめん、>>671は寝ぼけて適当なこと書いたぽいから、無視しといて。
- 693 名前:デフォルトの名無しさん mailto:sage [2018/01/18(木) 21:25:08.77 ID:oG29giIx.net]
- 関数型っのがどういう定義かは分からないけれど、
HaskellとPythonを比べると、パターンマッチが なくて再帰が書きにくいと感じたり、 基本破壊的だから、わざわざ非破壊で書くのが めんどくさいと感じる。 内包表記は似ていて良いかな。
- 694 名前:デフォルトの名無しさん mailto:sage [2018/01/19(金) 19:12:49.43 ID:ih0w0grk.net]
- Schemeのマクロ定義でパターンマッチを使えるがすごい不人気だったよ
おそらくパターンマッチのアルゴリズムが透けて見えないと人気出ないよ
- 695 名前:デフォルトの名無しさん [2018/01/20(土) 08:12:20.84 ID:hxs4OOGh.net]
- うちのプログラマは大半がコトリンに移ったのでわしらラストを使うことにした
- 696 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 15:07:10.20 ID:TIRmwaq4.net]
- イムータムルのない言語は全て糞
- 697 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 16:54:37.17 ID:TgcSeHcI.net]
- 関数型言語のパターンマッチって理論的な裏付けってあるんだろうか
- 698 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 17:28:38.29 ID:JZVVUERo.net]
- 理論的てのが分からんけど、例えばリストを引数にとる関数なら、
空リストとSuccの場合を定義しとけば、帰納的に任意のリストについての適用結果が求められる、 とかそういうの?
- 699 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 18:09:55.87 ID:grrE5KFF.net]
- 評価順序とかモチっと低いレイヤーでの動作規定ってことでないの?
ABIレベルでのさ。
- 700 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 18:18:48.11 ID:JZVVUERo.net]
- もしかして、あ氏?
だとしたら、お久しぶりです。
- 701 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 20:48:41.14 ID:I76mD3dR.net]
- >>678
そうそうそういうの 関数型ってって原理的にはあらゆるものが原始的な計算原理に還元できるものって理解してんだけど パターンマッチはそういう裏付けあるのかなって疑問
- 702 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 20:52:07.08 ID:4frS9VE4.net]
- >>681
単なる場合分けだから裏付けもクソもない
- 703 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 21:02:06.68 ID:4frS9VE4.net]
- 補足
パターンマッチは場合分け、つまり条件分岐そのものであり、 通常はそれ自体が原始的な計算原理の一つとして定義されるってことだぞ だから裏付けなんぞ必要ない
- 704 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 21:09:03.16 ID:zaN+pP6E.net]
- 学術的なことは分からないけども、静的型のパターンマッチは網羅性を
コンパイル時にチェックしてくれることが多くて それが凄くありがたい 動的型言語にパターンマッチを持って来ても上手くいかないのは、 上のメリットが得られないからでは?
- 705 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 21:28:06.72 ID:L/NwSAXQ.net]
- >>681
上の人が書いてるように、ただの場合分けだと思う。ただ、>>684の人も書いてますが、本当に網羅しているか、を考えると理論が出てくる気がする。 定義域の型が、型コンストラクタで定義されてれば、そいつら全てについて場合分けする、 で、そいつらも型コンストラクタが入ってれば、、てのを続けていけば、全てについて網羅的な場合分けが出来る。 言葉だとわかりにくいですが、Agdaの動画を見るといいと思います。 定理を証明するのに、上の場合分けを考慮する必要があって(漏れたら困りますよね?)、 実際EmacsのAgdaモードだとそういうのを勝手に展開してくれるコマンドがあり、 ゲーム感覚で証明してく感じ。 で、カリーハワード対応を考えると、関数の定義も結局は同じで、実際同じコマンドを使って進めてくことになる。その流れでやれば、後で漏れてる云々は問題にならない。 こんな感じですかね?
- 706 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 22:20:04.44 ID:4frS9VE4.net]
- >>684
動的言語はデータクラスをほとんど使わず、辞書や配列を生で扱うことが多いからじゃないかな 型で分岐するケースがそもそも少ないし、when Some a みたいにパターンマッチと同時に要素を抽出したくても抽出の仕方が定義されていない
- 707 名前:デフォルトの名無しさん mailto:sage [2018/01/20(土) 23:10:12.11 ID:fmAc02d6.net]
- >>680
俺は最近書いてないぞ。 つまらんからな。
- 708 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 00:17:54.03 ID:DgAEmkFM.net]
- パターンマッチで変数にバインドするところとかあれってどう還元できんですかね?
- 709 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 01:01:46.61 ID:PzzAcO+j.net]
- ・頭文字が大文字ならコンストラクタ (引数0個以上)
・そうでなければ変数 (引数なし) 少なくともこの仕様を守れば動的言語でもパターンマッチできるよ
- 710 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 01:02:49.35 ID:2R9CDqfY.net]
- 難しく考える必要はない
タプルは関連する複数の値をまとめて扱ってるだけ レコードはタプルに型名というラベル値が付いただけ 型によるパターンマッチはその型名で条件分岐してるだけ 変数へのバインドはタプルの特定の要素の値にに別名を付けただけ
- 711 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 01:37:10.13 ID:kGWmn81W.net]
- つまり・・・どういうことだってばよ?
- 712 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 06:13:50.88 ID:pnNTWTyQ.net]
- >>684
動的言語どうこうではなく、オブジェクト指向の情報隠蔽とパターンマッチの相性が悪い。 アクセス制御をかいくぐってデータ構造にマッチさせるぐらいなら オブジェクトを受け取ってからメソッド叩いたり条件分岐したほうがマシ。
- 713 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 10:42:33.20 ID:kGWmn81W.net]
- >>692
SuccessとFailをパターンマイッチングするんじゃなくて class Success implements Resultと class Fail implements Resultみたいにしろ ってこと?
- 714 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 11:06:54.37 ID:I3ORKf0i.net]
- 本物のオブジェクト指向はTrueクラスとFalseクラスを使う
Bool &True::ifTrue(Block f) {f(); return this;} Bool &True::ifFalse(Block f) {return this;} Bool &False::ifTrue(Block f) {return this;} Bool &False::ifFalse(Block f) {f(); return this;}
- 715 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 11:22:08.22 ID:1jbGMztY.net]
- こういうときオブジェクト指向ってアホの自慰っぽいなと思う
- 716 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 12:05:31.75 ID:kGWmn81W.net]
- 全てのif文を消し去るのです
- 717 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 13:37:58.84 ID:I3ORKf0i.net]
- その次の世代はtemplateを使いvirtualを消し去る
だからifが復活
- 718 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 14:30:35.35 ID:kGWmn81W.net]
- >>697
はいサイクリングマチカル複雑度増加
- 719 名前:デフォルトの名無しさん mailto:sage [2018/01/21(日) 23:54:04.18 ID:U0xKcFDq.net]
- 多次元配列と第一級関数をサポートしている静的言語ってなんかあったっけ?
- 720 名前:デフォルトの名無しさん mailto:sage [2018/01/22(月) 00:18:19.80 ID:WYTiMnwL.net]
- C#
|

|
[ 続きを読む ] / [ 携帯版 ] 
前100
次100
最新50
▲ [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<251KB
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef