[過去ログ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
302(1): デフォルトの名無しさん [sage] 2018/09/01(土) 20:13:43.79 ID:8XWt4TWp(8/8) AAS
>>300300(4): デフォルトの名無しさん [] 2018/09/01(土) 20:06:47.42 ID:/wwW4VSs(8/14) AAS
a < b < c
まず a < b を評価して
その評価結果を
(a < b) < c
で評価するという決まりだからな
コレが正しい解釈になる
それ以外は不適切な解釈
じゃあ関数呼び出し式 (f)(a, b) はどう解釈する?
君のいう正しい解釈のように ((f)(a))(b) と解釈する言語も実際に存在するけど、あまり一般的ではないよね
460: デフォルトの名無しさん [sage] 2018/09/05(水) 21:32:07.79 ID:cPIGyNE8(4/4) AAS
>>458よく知らないヤツが適当言ってるだけ
外部リンク:www.ruby-lang.org
Ruby側から見たRailsは最初から今に至るまで「フレームワークのひとつ」の域を出ないよ
503(1): デフォルトの名無しさん [sage] 2018/09/06(木) 06:21:10.79 ID:YGmGLZO1(2/2) AAS
あー実行時なのか静的なのかどっちだよってなってるな、スマン
証明とは全く別の話として、型に実行時の値を持たせられると便利だよねってグループがあって
で、単に値から型を作れるというだけでいいならそういうのも依存型と呼べてしまう、と言いたかったがぐじゃぐじゃになった
静的に証明をするなら勿論値もコンパイル時の値でないとだめなわけだけど
そこでもコンパイル時の型レベル関数と実行時の関数が完全に切り離されてるのか(C++のtemplateみたいな)
証明に使える関数を実行時にも普通の関数として使えるのか(Agda等)とまたグループがあるし
まあつまり、人によって「依存型」という言葉に期待する度合いが違うので
今後最小の機能しか持たない「依存型」が出てきて定理証明系クラスタを怒らせるのはあるかもとちょっと恐々としてるんだ……
(単に右辺の型を使うだけのものを「型推論」と呼んだ例みたいな)
531: デフォルトの名無しさん [sage] 2018/09/06(木) 19:32:15.79 ID:3Abdeyqw(3/3) AAS
依存型の話しようよう……
655(1): デフォルトの名無しさん [sage] 2018/09/07(金) 23:44:31.79 ID:ZyeJeVMb(1) AAS
Ruby信者が熱心に信仰してる理由ってなんなの?
他の言語より優れてる部分って具体的になに?
884: デフォルトの名無しさん [sage] 2018/09/11(火) 05:06:44.79 ID:dDLoZUed(1/2) AAS
Ruby信者=◆QZaw55cn4c粘着=Python粘着なのかな
正直Pythonも次世代言語でもなんでもないし大しては持ち上げられてもないのになんで引合に出してんだか
RubyもPythonもNGワードにぶち込んだらこのスレも大分スッキリしそうだな
906: デフォルトの名無しさん [sage] 2018/09/11(火) 16:40:22.79 ID:je6kVHqj(1/5) AAS
昔はD言語も次世代言語なんて呼ばれてた時期もあったのにな
流行る間もなく旧世代になってしまった
941: デフォルトの名無しさん [sage] 2018/09/11(火) 21:32:29.79 ID:DRhBMomg(2/5) AAS
9つのC言語を操る次世代ゲンガーな俺たちなら、ワッチョイくらいチョチョイノワッチョイで誤魔化せるやろ
せやろ?
994: デフォルトの名無しさん [sage] 2018/09/12(水) 14:04:04.79 ID:d/VCv3vQ(1) AAS
どういうこと?KotlinはiOSアプリも簡単に作れるの?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.036s