次世代言語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/ 102 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 21:19:33.27 ID:7jfP6ZRC.net] >>97 中間言語のせいで遅くなってる直接アセンブリ(機械語より広い意味で)にできるなら効率的なのにグギギギギ というのを気にしなければトランスパイラでもいいんじゃね Typescript→Javascriptぐらいなら気にならんだろ Scalaとか思いっきりJVMに足を引っ張られてた例と思う ちょっと話は違うけど可変長配列を値返しできる言語を主にC系のことしか考えてないバックエンドで実装すると mallocして返すかForthみたいにデータスタックをもう一つ用意するかぐらいしか方法がない、みたいな 103 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 21:29:59.69 ID:7jfP6ZRC.net] 書いてからもっといい例を思いついた トランスパイル先に選ばれそうな言語(CとかJVMとかJavascriptとか)って どれも末尾呼び出し最適化が保証されてないから関数型言語なら避けたいはず 104 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 21:51:34.72 ID:XVQ9VXzY.net] 末尾再起最適化なんかトランスパイルの段階でできるだろ 自分でやってみりゃわかるけど、別の言語への変換って細かい仕様のすり合わせが難しくて どう頑張っても変換結果は綺麗なコードにはならんよ 105 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 22:16:35.41 ID:7jfP6ZRC.net] >>103 自身への末尾「再帰」は変換できるが、末尾「呼び出し」一般はかなり難しい 特にモジュールをまたぐとまず無理 106 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 22:18:35.13 ID:2u990JKW.net] 臭い消しもできないのかID:7jfP6ZRCは 107 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 22:31:58.75 ID:7jfP6ZRC.net] なんだ？誰と間違えられてるんだ？ 108 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 23:20:51.54 ID:8Yd/vHN3.net] トランスパイルする時点で全部gotoにしちゃえばいいんじゃねえの？ ヒープは馬鹿でかい配列切り出して貸してやりゃ良いじゃん。 一番現実的だと思うけど。 と言うか間違えられてかわいそうだな。 109 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 23:24:33.80 ID:8Yd/vHN3.net] トランスパイラだから、トランスパイル先の言語の作法を守らにゃならん、なんてトランスパイラは どっちつかずのゲテモノになるなんてのが歴史的にある程度わかってきたんだから、諦めて超高級マクロアセンブラとして使うべきだと思うが、 やっぱそのトランスパイル先の美しさって必要なのかねぇ。 110 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 23:25:29.18 ID:Q+UzJ2jP.net] くっさ 111 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 23:27:40.12 ID:8Yd/vHN3.net] >>92 は臭くなかったのに面白いな。 112 名前：デフォルトの名無しさん mailto:sage [2017/12/03(日) 23:52:53.39 ID:7jfP6ZRC.net] >>107 ありがとうありがとう で、goto式だと呼び出し先も含めてひとつの関数にまとめないといけないので 他の関数をtail callしているのがつながって爆発的にコードサイズが膨れ上がる JVMだと64kbの壁があるとかないとか ttps://togetter.com/li/280057 またモジュールを超えるとアクセス制御にかかったりもする 113 名前：デフォルトの名無しさん [2017/12/03(日) 23:52:56.38 ID:H7G92E6b.net] >>102 javascripというかecmascriptは末尾再帰の最適化は仕様になってる。 114 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 00:00:49.77 ID:bhxDUAa4.net] >>112 うお本当だ、俺の情報が古かった 115 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 04:42:05.46 ID:76LtUM8J.net] Cにはlongjumpがある。 これを使えば親の関数へどこへでも飛んでいける。 末尾再帰もオプションで設定できる。 116 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 08:25:09.89 ID:USho8dw3.net] >>111 JVMだとgotoが相互に飛んでない奴らで一つの関数にまとめるしかないな。 ただ、一つの関数が64kbまで、ってそこそこ余裕あると思うよ。 関数に関数をおさめようとするから爆発的に長くなるというか、実質、関数の後ろにおまけ付いたコードが量産される事になるんだと思う。 呼び出してる側まで全部展開してしまうと割と短くなる。 昔、ホントにそういうトランスパイラ作ったけど、割としっかり動いた。 動的なメモリ確保をほとんどさせられなかったからそうなっただけだけど。 >>114 ホントに高級アセンブラだよなぁ。 117 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 08:30:55.17 ID:8gND/ZcP.net] くっさNG回避すんな 118 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 09:02:24.71 ID:dvJUWhXs.net] jsへのトランスパイラは現状、 jsが、webにおける機械語的な立ち位置 だからというのはわかる。 でもcへのトランスパイラってどんな意味があんの？手抜きとしか思えない。 119 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 09:38:18.50 ID:76LtUM8J.net] 手抜き出来ることはメリットだろ。 実装と仕様は分けて考えるべきだからな。 120 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 10:10:11.02 ID:1pGzw3aP.net] 手抜きっつーか、Cに変換しておけば、おおむねどんなlibcでも石でも対応するコンパイラがあるってことでは GoみたくあらゆるものをGo内で完結させるための車輪の再発明だとか Rustみたく欲しい環境のtripleがあるかとかtierがいくつだとか そういう言語機能と直接的には関係ない部分のサポートに関する労力をまるっと切れるのがでかい 一時期のaltJavaやaltJSの乱立を見てると、その分言語の質が上がるかって言われたら怪しいけどな あとllvmの台頭で、ある程度その辺を再利用できる環境が整ったから、直接機械語吐いた方がよくなりつつあるのもあるか 121 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 10:54:56.82 ID:dvJUWhXs.net] >>119 自分で言ってんじゃん。 llvmだったら中間コードまでのトランスパイラ作れば最適化とバイナリはくまでやってくれるしそこまでやりゃ良いのに。 あとgoの車輪の再発明はありだと思う。 画像変換したくてimagemagicのlibに依存する羽目になるとか勘弁。 122 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 11:02:06.37 ID:HnGSLV9z.net] 車輪の再開発はありとか自分が作る立場でも同じこと言えんの 123 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 11:02:26.62 ID:USho8dw3.net] >>117 最適化とかそういう所にそれほど苦労しなくなるかな 手抜きといえば手抜きなんだけど gccをバックエンドにするなら変な石対応が簡単だし vc++でも食えるように書けばWindowsでも余計なもの要らないし intelのコンパイラでゴリゴリに最適化かけたりとか、 静的ビルドでワンバイナリ作りたいからCの方のコンパイルオプションでリンクしよう、とか 既存の処理系に乗っかるのはメリット多いと思う 124 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 11:39:21.16 ID:1pGzw3aP.net] >>120 llvmが台頭してきたから相対的にCトランスパイルの魅力なくなってきたよなって話で、 昔はCトランスパイラで既存のコンパイル環境に乗っかるのがよく行われてたって歴史的な話な gccが中間言語仕様を意図的に隠してた弊害とも言える 125 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 13:22:03.65 ID:s0HrNGdY.net] 手抜きを批判する奴おるｗ 126 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 23:23:47.01 ID:IjdODrQV.net] 実質的にはトランスパイルだろうが何だろうが、とりあえずは関係ないが 今時ライブラリ構築を0からするというのは自分一人が使う自分専用言語だと考えても 汎用言語としてはあり得なくて、何か既存の言語のソレにフリーライドせざるを得ないわけで となれば何に乗っかるかという部分から考えるし それが決まってから具体的な実装方を考えるし、なんだったら自動的に決まってくるわけで 余談だが、良くある乗っかり先としては、CとJavaと.NetとJSがあるが・・・ ただ、例えばネイディブコードが良いと考えてC言語系のライブラリに乗っかるとして C言語のABIはかなり古臭いわけで、あと、ヘッダファイルの存在がかなりエグイわけで (windows.hをそのまま読み込める自作コンパイラとか書ける気がしない) その言語で何かCのライブラリを使いたいときCヘッダファイルを適切に移植したのち 使いやすくするためにラッパークラスまで書くとしたら これはもう多少気に入らない部分があってもC++を使ったほうが楽だし ヘッダを移植するツールで自動生成する方針でも古臭いCのAPIを直接叩くのなら 何のための新言語か分からないし、だからといってラッパー書く� 127 名前：ﾌはバカらしいし 大概のCライブラリにはC++のヘッダも付いてることを考えるとそのままC++使ったｂﾙうがマシ もしC言語のヘッダを直接読めるように言語を設計するとなるとマクロなども考えると C言語と文法的に互換性が有るように言語を作らなければならないということで これまたあまり作る意味が無い、というか多分C++ [] [ここ壊れてます] 128 名前：デフォルトの名無しさん mailto:sage [2017/12/04(月) 23:36:03.78 ID:IjdODrQV.net] なんで、素晴らしい言語仕様を考えることは出来るかもしれないし 頑張ってコンパイラを作ることも可能かもしれないが 結局ライブラリをどうするのかという部分が一番の問題で 0から構築するのはあり得ないから何かに乗っかるわけだが 当然乗っかり先の制約を受ける 特にネイティブコード系は一番普及しているABIがC言語のソレであり 気に入らないのでひたすらラップしまくる日々か 諦めて次世代言語の機能を生かせずアンセーフとか言っちゃって直接叩くか 129 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 07:59:12.87 ID:8RhNw6Wh.net] 次世代言語はコレだろ https://arstechnica.com/gadgets/2017/09/microsoft-quantum-toolkit/ 130 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 08:02:00.55 ID:hRLlSr5E.net] M$サーバでしか動かない言語はNG 131 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 11:01:11.59 ID:NtWJrTYb.net] Wiｎ鯖で運用されない = Win鯖で使えない だからな リーナスが死んだら終わりな言語とかよく使えるな 132 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 11:03:08.63 ID:wKllXbtS.net] リーナス死んだらUnixサーバー終了ってマ？ 133 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 14:15:20.69 ID:3OMBWQX7.net] どうでもいいが長すぎる文章は読まないからな。もっと要約して話せ 134 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 14:25:30.36 ID:wKllXbtS.net] あのスペースホルダー邪魔だよな 135 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 15:43:17.12 ID:V+NdjayN.net] AutoMLが次世代言語らしいな。 136 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 19:36:47.33 ID:ueMa998Y.net] >>129 君の言っている意味がよくわからない。 言語？ 137 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 21:42:34.05 ID:uUkZwDzW.net] >>130 今のリーナスは、リリース担当兼広報。 実際のリリーススケジュールとか開発機能とかは スポンサーの企業が決めている。 138 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 21:54:34.45 ID:XBgkE6Xw.net] リリリリリリリリリリリリリ 139 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 21:56:16.41 ID:wKllXbtS.net] リーリスリリースリーリリスリリリリリーリスリー リーリナリリーナリーリリナリリリリリーリナリー 140 名前：デフォルトの名無しさん mailto:sage [2017/12/05(火) 21:56:27.08 ID:TliYC8gy.net] Elixir から Elm の流れで、いよいよオブジェクト指向に対する懐疑心が無視できないレベルに達した2017年冬。 https://ubiteku.oinker.me/2017/12/02/skepticism-about-oo/ 141 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 00:55:40.02 ID:5Fm3uunR.net] ブログ記事は信用しない マウント取るためだけの批判の連鎖がよくあるんだと、フロントエンド界隈で学んだ 142 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 01:45:10.28 ID:TwrP1kt8.net] でも２ちゃんは信用しちゃいまつｗ 143 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 01:47:25.25 ID:6LacDPiL.net] OCamlをやるとプログラム中でオブジェクト指向を使った抽象化が必要な場所はほとんど無いことに気付くよ 144 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 02:00:40.62 ID:9Cl2Q0EY.net] オブジェクト指向って抽象化なのか？ プログラミングで扱うのは本質的には「操作」だが、それは人間にとって抽象度が高く理解しづらい(と考えられていた)から、 仮想的なモノに見立てることで具象化したのがオブジェクト指向だろ 145 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 02:19:19.87 ID:EoxkbCFV.net] メモリとかハードウェアまわりを触るのが具象で オブジェクトのような仮想的なものを扱うのが抽象だと思っていた 146 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 02:38:24.20 ID:TwrP1kt8.net] >>143 コレメンサスンゴな 147 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 03:37:41.63 ID:s/vk2t6t.net] >>141 OCamlのOの意味を考えたことあるかい？ 148 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 08:37:01.32 ID:omJYBD6x.net] >>145 名前に入ってようがなんだろうが OCaml で 殆ど誰もOO しないのは端的な事実 149 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 08:38:30.89 ID:KSpOhWT+.net] OCamlだからこそでしょ 150 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 08:43:46.19 ID:omJYBD6x.net] OCaml ではまず OO なんかしない件についての説明 d.hatena.ne.jp/camlspotter/20080906/1220723583 d.hatena.ne.jp/camlspotter/20131028/1382960006 151 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 08:58:33.91 ID:LlbO+WJR.net] 正確にはocamlに文法として用意されたclass/objectを誰も使わないという話で、代わりにモジュールを使って抽象型も多態もするわけでそれはそれでOOの一種だとは思うな 152 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 09:03:36.38 ID:mFUG6oMG.net] 関数型言語をやたら持ち上げてるけど OSを関数型言語で書いてみてよ。それでバグか少なかったら関数型言語の優位性を認めるよ。 153 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 09:06:07.69 ID:omJYBD6x.net] >>149 >代わりにモジュールを使って抽象型も多態もするわけでそれはそれでOOの一種だとは思うな ぜんぜん違うから だがそこから説明すんの面倒くさいのでもういい 154 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 09:09:24.32 ID:omJYBD6x.net] >>150 >OSを関数型言語で書いてみてよ。それでバグか少なかったら関数型言語の優位性を認めるよ。 高水準言語でOS書けって頭悪すぎないか Rustを関数型と認めるゆるい基準なら Redox がある 155 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 09:22:35.91 ID:mhTOyNgr.net] >>148 言語の糞さと、周りの人間が糞だからってことばかりで、全然説明になってないな 156 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 09:45:25.42 ID:enrVe2xz.net] >>139 >マウント取るためだけの批判の連鎖 これなくすだけでよくなるプロジェクトって世の中に大量にありそう。 157 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 09:59:23.03 ID:26uEwiQD.net] >>151 俺も書いてからしまった面倒くさくなる話やと思った やめとこう 158 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 11:07:54.33 ID:YJV2uZev.net] オブジェクト指向ってそんなにだめかな？ そのオブジェクトに対する操作をそのオブジェクトに持たせるってわかりやすくていいけど。 immutable.jsのレコードみたく、 メソッドは新しいインスタンスを返す関数と強制すれば関数型とも共生できると思うんだけど。 159 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 11:16:45.83 ID:enrVe2xz.net] 別に悪いってことはないだろ。 結局、状態や依存をどう管理するかって話なわけで、極論言い始める奴の いうことなんて話 2 割くらいにきいてりゃいいと思うけど。 160 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 12:05:10.45 ID:MKeQWAFs.net] JavaScriptのようにハッシュテーブルとラムダを使う言語は関数型と共生できる じゃあハッシュテーブルを使わない言語はなんで使わないのか？ その答えは、関数型とオブジェクト指向の対立とは全然関係ないところにある 161 名前：デフォルトの名無しさん [2017/12/06(水) 21:34:09.17 ID:iLCXc0pa.net] DOMをデータと関数に分離してくれ 162 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 22:04:59.32 ID:FKF62WXq.net] まずデータをどれだけ圧縮できるか考えるといい 次に圧縮されたデータを展開する関数を作る 163 名前：デフォルトの名無しさん mailto:sage [2017/12/06(水) 23:57:54.56 ID:omJYBD6x.net] >>153 >言語の糞さと、周りの人間が糞だからってことばかりで、全然説明になってないな はははははははwwww ま、がんばれw 164 名前：デフォルトの名無しさん [2017/12/07(木) 00:47:57.07 ID:Z/mKUUkc.net] >>141 SML#でもいいですか？ 165 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 01:34:26.91 ID:F4+mjT1z.net] 自分PHPいいっすか？ 166 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 09:58:12.13 ID:hv/QEVwp.net] 語りたいことがあるんならいいんじゃない？ 167 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 10:03:56.61 ID:xdMp5osr.net] typescript使っててasync awaitが便利なんだけど煩わしい。 mapとか関数呼び出しを伴う操作で非同期処理に戻るのが、 たまにミスって放置しがち。 lintツールで指摘するなり監視する機能が欲しい。 先行してるC#とかはうまくやってるの？ 168 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 11:18:40.20 ID:9qRtkK/n.net] ミスを指摘するしか能がない批評家に存在価値はあるのだろうか 169 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 11:39:07.45 ID:v/1e0blE.net] >>166 ミスを作り出す無能に価値はあるのだろうか 170 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 12:08:44.81 ID:hv/QEVwp.net] 何がミスなのかもわからず客が文句言ってるからで判断するバカ営業よりは価値がある。 171 名前：デフォルトの名無しさん mailto:sage [2017/12/07(木) 22:26:33.23 ID:4FM+mzbe.net] This Woman Created a Programming Language with Privacy Baked In https://www.youtube.com/watch?v=Q6NiqRqGePU 172 名前：デフォルトの名無しさん mailto:sage [2017/12/09(土) 02:52:58.92 ID:Fh8F1Mjo.net] Haskellの型クラスって凄く良い機能だと思うんだけど、地味に数学感足りないよな NumってなんだよNumって。もうちょっと分解しろよって感じだ Numeric preludeあんまり使われてないみたいだし 173 名前：デフォルトの名無しさん mailto:sage [2017/12/09(土) 11:23:01.73 ID:/ZpR40F0.net] HaskellはStrictData拡張とStrict拡張が入った事で 実用的な次世代言語になる可能性が出てきた 174 名前：デフォルトの名無しさん mailto:sage [2017/12/09(土) 23:10:56.50 ID:OmTdA8EX.net] 正格も遅延も使える言語と化したHaskell先輩 175 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 02:42:38.28 ID:a6n4XEL6.net] 型なし能なしのゴミ屑言語の何がいいんだろうな ペチパーは論外、ルビーもガイジだわ 176 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 04:06:55.10 ID:Cg9x5qL1.net] 動的型付けというだけで別に型がないわけではないので注意 177 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 05:03:18.54 ID:cDa6l0J8.net] >>170 あれはSmalltalkってゴミ言語がヒントになった機能だからね なぜ最初から高階多相にしなかったんだろう 178 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 05:14:36.81 ID:7QrhdqaC.net] ハスケルは実用性重視で機能を絞ってるからな。 179 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 05:53:37.29 ID:g4Avn4JH.net] 自己書き換えもできないハスケルはプログラム言語と呼ぶに値しない 純粋関数型プログラム言語（自称）ハスケルw 180 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 05:56:33.48 ID:of8IRKO8.net] Haskellは+や-といった演算子がNumに取られてるせいで オーバーロード的なことが非常にやりにくいのが不便 <+>みたいな演算子は独自定義できるがなんかダサい 181 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 10:16:20.55 ID:a6n4XEL6.net] >>174 そういう詭弁はいらないから 182 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 10:28:42.10 ID:dcXB++ys.net] >>179 ガイジ 183 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 10:35:00.41 ID:IzGEuZzn.net] 詭弁でもなんでもないだろ 静的言語の型こそまやかしだと思うが。 特にそれがただの「コンパイラだけが知っているメモリへの格納方法」である言語は、動的言語の型よりも型がないと言えると思うけど？ 184 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 11:12:55.67 ID:mFrbF+Wk.net] はいはいペチパーはPHPスレから出てくんなクソが 君の大好きな肥溜めPHPみたいな動的型付け言語に型はねーから 185 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 11:14:50.34 ID:a6n4XEL6.net] ほらな 型なし能なし詭弁あり（藁） 186 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 11:33:37.68 ID:ATSfYuOI.net] まあいくら静的型でも本物のコンパイラはこんな性格悪くないから気にするな ここにいるやつはコンパイラの守護霊だ 187 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 12:16:37.53 ID:OZ32lk+t.net] 動的でも静的でも最近は型は強くする方向にはあるかもね。 c とか perl に比べれば java でも python でも十分型を強くしてる印象。 188 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 12:39:27.35 ID:1f8aW6Mh.net] 真に型がない言語とはfortran77みたいな言語のことだと思う 189 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 13:03:02.46 ID:IzGEuZzn.net] PHPだとは言ってないのにな。 そもそもPHPと口に出すのこいつぐらいじゃね？ 190 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 13:04:01.49 ID:IzGEuZzn.net] >>186 あるいはlispか。 191 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 13:44:56.60 ID:H+wQ5ZRg.net] >>175 Smalltalkは自身がゴミ言語であるだけでなく 後世の言語にも負の影響を与えてるので 本当に害悪だな 192 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 13:58:51.02 ID:a6n4XEL6.net] >>187 はいはい サボってないで早く保守作業に戻ってくださいね（藁） 193 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 14:14:10.45 ID:ATSfYuOI.net] 型情報に限らず情報ってのは冗長な部分が省略される 省略したからといって必ずしも情報が失われるわけじゃない 194 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 14:59:04.47 ID:harEA0jS.net] 逆に考えよう。「型がある言語」とは何だろうか 195 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 15:25:19.15 ID:Hk+Muhn7.net] 皮肉も理解できないペェチピィコンパイラ並の低脳ガガイノガイがおりゅってマ？ｗ 196 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 15:49:43.53 ID:cU10YPQo.net] 市民、PHPコンパイラとはなんですか？ 197 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 15:51:27.08 ID:ATSfYuOI.net] >>192 型情報があるだけでなく情報を取得するアルゴリズムがある言語 アルゴリズムがあればモンティホール問題みたいに計算を間違えるやつが続出しない 198 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 16:07:22.03 ID:1f8aW6Mh.net] >>188 多重ディスパッチ出来る言語が型なしってことはないだろ 199 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 16:49:06.60 ID:g4Avn4JH.net] >>182 君が型理論を知らないことはよくわかった ばーかw 200 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 17:16:26.74 ID:cU10YPQo.net] >>197 ぺちぱーがwwwwww 型理論をwwwwwww語るwwwwwwww 今年一番笑ったわwwwwwwwwwwwww 201 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 18:08:14.35 ID:7rwMCdFh.net] PHPをけなしてるだけのやつって、ほかの言語知らないから、PHPをdisって心の平穏を保ってる、可哀想なやつなんだろうな。 頑張れよ。 202 名前：デフォルトの名無しさん mailto:sage [2017/12/10(日) 18:09:23.94 ID:7rwMCdFh.net] 因みに、俺もPHPerは害悪だから滅びろって、思ってるけどな。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef