- 1 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 09:38:15.76 ID:qg2ggPtj.net]
- スレタイ以外の言語もok
前スレ
次世代言語11[Rust Swift TypeScript Dart]
https://mevius.5ch.net/test/read.cgi/tech/1528037607/
- 21 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 21:12:13.01 ID:JJiPoTOv.net]
- 辛いのはただの自己責任という発想がある
自己の内部に全ての原因がある
例えば感情
外部に原因なんてないし外の人はみんな良い人だよ
- 22 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 21:18:28.94 ID:1R4S9ii/.net]
- rustやってるやつは
ずっとやっていれば役に立つんだと必死に自分に言い聞かせてる感じだなw
言語なんて開発効率あげるためのものなのにどうかしてる連中だよ。
- 23 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 21:22:52.74 ID:0x1B4q8v.net]
- >>21
それも決めつけだと思うんだけど、
firefoxが一つの指標になるよね。
実質c++ vs rustの代理戦争だよな。
chrome vs firefixは。
そしていまのところはrust負けてる？
- 24 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 21:35:18.63 ID:JJiPoTOv.net]
- 役に立ちたいとか勝ちたいとかいう感情が前提なので
前提を崩さないためなら決めつけでも何でもやる感じ
- 25 名前：デフォルトの名無しさん [2018/07/04(水) 21:42:39.10 ID:gFgZc5FG.net]
- VEC
- 26 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 21:54:43.76 ID:t+AJ0eNX.net]
- >>19
前に言った通りの状況や、、
書きやすさの為に学習コストがかさんでは本末転倒なんや
これからの新言語はこの問題が常に付きまとう、
- 27 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 21:59:01.25 ID:JJiPoTOv.net]
- C++とHaskellを知ってたらRustの学習コストは低い
ゆえにHaskellが役に立っていると思うかどうかは個人の感情
- 28 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 22:04:19.95 ID:1R4S9ii/.net]
- c++は関係あるがhaskellとrustはそんな関係あるか？
rustの評価順序なんていたって普通だし、return書かないことくらいしか接点ないわ。
- 29 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 22:36:36.45 ID:JJiPoTOv.net]
- C++系でいうオーバーライドとオーバーロードのうち
オーバーライドを極力使わない流儀がRustとHaskell
- 30 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 22:47:00.77 ID:qg2ggPtj.net]
- スレタイから括弧外したのは構わないようだね
こっちのほうが見やすいだろうし文字数稼げるから
追加でNim入れる考えもあったけど、並べると格落ち感出すぎたので保留した
- 31 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 23:05:42.45 ID:1bWHRnFs.net]
- Rust以外は実案件に投入できるやつばかりでつまらない
- 32 名前：デフォルトの名無しさん mailto:sage [2018/07/04(水) 23:07:47.54 ID:qg2ggPtj.net]
- >>2
>スレタイ以外の言語は禁止にするべきじゃないだろか。
まず次世代言語というのが何を指すか明確に決まってない以上、
実際にスレタイ以外の言語の話はされるだろう
それに多様な意見を交わす総合スレとしての場を阻害しないうえでも、
言語を限定せず、かつそれを明示しておくべきだと思う
スレタイに言語名を入れる意義があるとすれば、検索性というか客寄せでしょう
立てた人の推しが窺えるのも面白いし
ちなみに「スレタイ以外の言語もok」って一文を付け足したのは自分だけど、
本当のところは、自分の独断でスレタイの言語を選んだ負い目を感じたのが発端だよ
- 33 名前：デフォルトの名無しさん [2018/07/04(水) 23:07:58.14 ID:JCnnCMy6.net]
- >>19
ほとんどがただ隣に型書くか推論任せにするだけだろ
こんな簡単なことがつらいとか
ガイジか池沼か知らんが、保守不能なクソコード撒き散らされる前に殴り殺して窓から投げ捨ててカラスの餌にしてしまえ
- 34 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 07:28:33.45 ID:9iVhDhpv.net]
- Sで始まる信者だけが読みやすいと思ってるクソ言語の話題が出なければ何でも良いよ
- 35 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 07:35:01.13 ID:8oHQ34qI.net]
- >>33
なんだろうな。環境面でなんか動かないって現象起きやすくない？
tsっていうよりバンドラーの問題なのかライブラリの相性問題なのか？
firebaseの最新ライブラリで動かなくなるとか、そういうのがあってひどく混乱する
- 36 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 07:44:44.22 ID:Ko9fJ5kk.net]
- なんでやSchemeかっこええやろ
- 37 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 08:02:53.01 ID:8XCcLBtN.net]
- なんでやScala万能やんか
- 38 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 08:18:32.98 ID:nADt2Ry4.net]
- swiftのことなんだろどうせ
- 39 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 09:14:25.65 ID:r0ar2IDe.net]
- SQLは至高
- 40 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 09:44:16.50 ID:YJbjvjoP.net]
- なんでやSatherなんてこのスレで名前が出たことも無いだろ
- 41 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 10:11:00.07 ID:B6wC0NKo.net]
- S言語…
- 42 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 10:21:42.42 ID:XzHyRjPq.net]
- だからなんでPonyが話題にならねえんだよ
- 43 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 10:22:21.29 ID:H3N+PmLk.net]
- スマホ、スパコン、サイエンス
- 44 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 11:25:44.43 ID:be1BNkpb.net]
- PharoとかVisualWorksとかなら話題にしてもいいのかね？
- 45 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 12:09:16.63 ID:gENMFstY.net]
- こんな返答アスペでガイジでADHDやん……
気が狂って頭がパーになってるんちゃうか……
- 46 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 12:24:15.98 ID:H3N+PmLk.net]
- この場で解決できないのはこの場にいる人間の責任だな
ここにいない医師のせいにするな
- 47 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 13:24:54.24 ID:be1BNkpb.net]
- アンチのIDにst入ってて草
- 48 名前：デフォルトの名無しさん [2018/07/05(木) 19:39:34.37 ID:nmRduEAc.net]
- >>18
使ってるよ
webだけど
- 49 名前：デフォルトの名無しさん mailto:sage [2018/07/05(木) 21:01:20.67 ID:68wCRvW6.net]
- そして誰もがアスペだった。。
- 50 名前：デフォルトの名無しさん [2018/07/05(木) 23:49:17.94 ID:TYxeTMV8.net]
- https://insights.stackoverflow.com/survey/2018/#technology-most-loved-dreaded-and-wanted-languages
やっぱりRustが一番だよな
- 51 名前：デフォルトの名無しさん [2018/07/05(木) 23:56:43.59 ID:TYxeTMV8.net]
- >>30
https://docs.google.com/presentation/d/1yWGoQEgm_qVxTfxF
- 52 名前：Zo7-mhCYrXVhTM5pEltxY2O-NpQ/>>30 []
- [ここ壊れてます]
- 53 名前：デフォルトの名無しさん mailto:sage [2018/07/06(金) 00:19:19.83 ID:ti7OEIpy.net]
- c++はクソだがこれだったらc++使えやと思う内容ですな。。
- 54 名前：デフォルトの名無しさん [2018/07/06(金) 00:26:04.96 ID:iypT0A6c.net]
- そう？
- 55 名前：デフォルトの名無しさん [2018/07/06(金) 01:05:52.42 ID:6y3UEUjX.net]
- >>39
Eiffelよりいいかもって思ったことあった。
- 56 名前：デフォルトの名無しさん mailto:sage [2018/07/06(金) 04:16:33.04 ID:AbsrypZ1.net]
- bindgenってRust公式からはスルーされてるやつじゃなかったっけ
- 57 名前：デフォルトの名無しさん [2018/07/07(土) 09:38:57.91 ID:qMZ1w822.net]
- aiプログラミングってなんの言語？
swift学んだけどそっちの方向に行きたいから教えてほしい
- 58 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 09:53:40.34 ID:BQfcVKgR.net]
- 愛のプログラミング
つまり、それはLOVE
人類は今、愛を再発明する
- 59 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 10:02:44.90 ID:1bufvrGQ.net]
- Prolog
- 60 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 11:27:14.38 ID:o7Nl1O6h.net]
- どう考えてもPython
- 61 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 13:48:36.61 ID:vjEVzs47.net]
- AIと言ってもルールベースもあれば最近流行りの機械学習もある
これからの時代はPrologかな(^^)
- 62 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 13:55:48.13 ID:7dAT5WdR.net]
- という感じで前回のAIブームは終わったのであった。
- 63 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 15:04:27.76 ID:AdfJnf4g.net]
- なんか大昔に大学で、急にAIはだめだって本がでてインパクトがあって研究費さがったって聞いた
よくきいたらXOR計算がでいないからだめとかって不条理な理由で
とにかく偉い人がだめって言ってるからだめなんだろうみたいな雰囲気
裏で一部の人間が研究を独占するための陰謀だったにちがいない
常温核融合だって実際は核分裂で核反応起こってたぽいし
世の中むちゃくちゃ
- 64 名前： mailto:sage [2018/07/07(土) 15:13:48.73 ID:tAo3CjcH.net]
- >>61
そういう混沌のなかから新しいものが生まれてくるんだと思います
私は混沌を歓迎します
- 65 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 15:50:03.94 ID:KoKUJ7hE.net]
- LISPだろ
- 66 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 18:05:17.88 ID:LTqMROwD.net]
- AIの主流はPythonでしょ
- 67 名前：デフォルトの名無しさん [2018/07/07(土) 19:48:48.73 ID:lOmDwJqf.net]
- pythonてかnumpyだよな
ai屋さんにとっては言語なんてどうでもいい
- 68 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 19:57:45.39 ID:BQfcVKgR.net]
- 2位じゃダメなんですかおばさんの一声で潰れる程度の研究しかできない連中が悪い
糞バカ中世ジャップランド土人村の末路
- 69 名前：デフォルトの名無しさん mailto:sage [2018/07/07(土) 20:20:08.28 ID:30ihGmDy.net]
- ガチで有能なところは企業から金貰って研究してるからな
データ系なんか金稼がないと何の価値もない分野なのに
- 70 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 12:02:19.40 ID:rCN4avQt.net]
- https://ja.wikipedia.org/wiki/F*_%28%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%29
ガチの次世代言語やぞ
ググラビリティ最低のクソ虫だが
- 71 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 12:39:57.58 ID:REv9Ipmw.net]
- 古くさ
- 72 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 13:08:33.64 ID:NBiUl0PE.net]
- >>69
どこが古臭いんだ？
これもATS2とかIdrisとかと同じで依存型がある証明系の言語だろ？
ガチガチの最新言語じゃん
- 73 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 13:14:10.06 ID:6xrO+JsL.net]
- 多分compassとかの勉強会で
- 74 名前：発表できるようなカッケーのしか認めない層がいるんだろ。
そういう連中は相手にしてもなんの意味もないよ。 [] - [ここ壊れてます]
- 75 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 13:50:52.78 ID:REv9Ipmw.net]
- F* でできる程度の依存型なんて70年代の話題じゃん
- 76 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 13:58:58.94 ID:rCN4avQt.net]
- 70年代にできてることが未だにできない糞言語があると聞いて
- 77 名前：デフォルトの名無しさん [2018/07/08(日) 14:19:26.14 ID:NcSG5fK1.net]
- お願いだから全機で超高速で動く言語VMつくって
ちょっとくらい難しくてもいいからお願いします
- 78 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 14:25:02.81 ID:NBiUl0PE.net]
- >>72
70年代かどうかは知らんが依存型関連の理論自体は昔からあることは知ってる
F*はつい最近知ったので詳しくないから他の言語の依存型とどう違うかは知らないが、
これが最新じゃなかったら君にとっての最新の言語はなんなの？
具体的に「どこがどう違うから新しい」ってとこまで含めて教えて
- 79 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 14:43:15.55 ID:rCN4avQt.net]
- >>74
ん？ 今何でもするって言ったよね？
- 80 名前：デフォルトの名無しさん [2018/07/08(日) 15:43:31.75 ID:NcSG5fK1.net]
- >>76
言ってないよー
こんなとこに沸かないで！
- 81 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 18:27:49.42 ID:IOL4Cbpu.net]
- Jカス死ね(条件反射)
- 82 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 18:30:37.28 ID:rCN4avQt.net]
- あっ・・・フーン（察し）
- 83 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 19:47:45.35 ID:QJH116yy.net]
- Jを憎みし者共
- 84 名前：75 mailto:sage [2018/07/08(日) 21:11:56.23 ID:NBiUl0PE.net]
- こういう風に聞くと大抵は黙るのなんなの？
こっちは純粋な興味で聞いてるのに
- 85 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 21:48:46.34 ID:nVv0ZYUu.net]
- とうふさんはすこか？��♀
- 86 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 22:06:17.36 ID:0enAxBm5.net]
- 75に悪意があるとは思わないけれども
煽りとも取られかねない質問文で、後から「純粋な興味で聞いてるのに」ってのは
下手な物の尋ね方のテンプレにしてもいいのではってぐらいよく見る気がする
- 87 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 22:07:26.20 ID:s5OgNQRX.net]
- 煽ってから純粋な質問と言いなおす。記憶回路にバグがあるのだろう
- 88 名前：デフォルトの名無しさん [2018/07/08(日) 22:15:40.47 ID:hHjcEx8J.net]
- 君たち、私のチンポをしゃぶってみないかね
- 89 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 22:17:51.75 ID:A+oeHsIU.net]
- 技術板なんだから重要なのは内容
- 90 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 22:49:41.47 ID:s5OgNQRX.net]
- 内容が大事だと思っているなら煽らずに本当に純粋に聞けば良い。煽っておいて「大事なのは内容」などと言うのはダブルスタンダード
- 91 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 22:57:24.92 ID:A+oeHsIU.net]
- >>87
勘違いしてるようだけど俺は75じゃないぞ
- 92 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 23:00:38.58 ID:s5OgNQRX.net]
- >>88
何！？ 勘違いさせおって。許せん
- 93 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 23:08:01.07 ID:0enAxBm5.net]
- おまいらなんでこんな事には食いつきがいいんだよ
こっちは純粋な好意で気を遣って書いたつもりなのに
- 94 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 23:08:42.63 ID:rCN4avQt.net]
- 純粋ガイジ
- 95 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 23:10:36.63 ID:s5OgNQRX.net]
- こんなことにはっていうけど、逆に何に食いつきが悪いと思ってるわけ？
- 96 名前：デフォルトの名無しさん mailto:sage [2018/07/08(日) 23:10:58.63 ID:eqhX0y9a.net]
- 実際>>69>>72にとって古くさくない言語って何だったんだろうな
- 97 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 00:07:30.03 ID:M/GPMU7W.net]
- 純粋に言ってればなんでも答えてもらえると思うなよ。
- 98 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 00:15:55.56 ID:uCPaSCaV.net]
- 純粋に考えて、未だに型無し糞言語を崇めてる連中って馬鹿だと思うんだけどどう思う？
- 99 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 00:18:50.10 ID:QE5s+I3Z.net]
- 馬鹿だよ
- 100 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 01:31:19.58 ID:t2m7hyzb.net]
- >>95
Smalltalkバカにしてんの？
- 101 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 08:07:15.29 ID:lKdQESUF.net]
- >>97
バカにされているのはSmalltalkerだろ？
Smalktalkそれ
- 102 名前：自体には罪はないよ []
- [ここ壊れてます]
- 103 名前：デフォルトの名無しさん [2018/07/09(月) 08:22:18.46 ID:DDmVMIt1.net]
- rubyistとrubyの関係みたいなもんか
- 104 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 09:10:36.88 ID:wsFssMnI.net]
- 動的静的問わず型が弱くて扱い切れる人間は殆ど居ないからなぁ
話題の依存型も個人的には好きなんだけど対極的だし汎用プログラミングだと扱い切れなそう
- 105 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 11:15:38.26 ID:m7D4XdEw.net]
- rubyにはなんであんなクズみたいなのばかり集まっちゃったんだろうな。ruby自信に詰みはないというのに
- 106 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 11:25:12.75 ID:rKnQV5/G.net]
- 当時のRailsの流行は頭の悪い人達のコンプレックスに支えられていたからだよ
英語わからない難しい要件わからない複雑なコーディングできない、でも俺はペチパーとは違う、という層に夢を見せた
- 107 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 11:44:42.26 ID:KFrfmR/A.net]
- 依存型がある言語はML族もしくはF#の軽量構文みたいなのが多いのはなんでなの？
C系のシンタックスだと何か不都合でもあるの？
- 108 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 11:48:21.62 ID:a+N+/6A7.net]
- わざわざC系のシンタックスにする意味ある？
- 109 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 11:52:20.80 ID:b/biyW6c.net]
- >>103
後の引数のpredicateが前の引数を参照するためにはカリー化されてると都合がいい
- 110 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 12:46:40.19 ID:KFrfmR/A.net]
- >>104
C系の方が慣れてる人が多いでしょ？それだけである程度意味があると思うけど
>>105
正直何言ってるかよくわからないんだけど、依存型とカリー化って別に関係ないんじゃないの？
だって、依存型のあるATS2では関数宣言↓だけは何故かC(Golangっぽい？)シンタックスだよ
fn test(x: double, y: double): double
だから、ATS2はML族なのにカリー化しづらいよ
- 111 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 13:29:20.22 ID:wsFssMnI.net]
- >>106
型について研究してる畑の人ではML系の方が多数派だからね
それは論理学数学から醸成されたのがML系だからってのもあるし、型についても扱いやすいシンタックスが既にあるML系とわざわざ型を扱うシンタックスを設計しなければいけないC系ベースどっちをまず採用するかってなったんじゃない？
知らんけど
- 112 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 13:40:36.06 ID:XHrPXSC2.net]
- >>103
> 依存型がある言語はML族もしくはF#の軽量構文みたいなのが多いのはなんでなの？
> C系のシンタックスだと何か不都合でもあるの？
依存型や本来の多相型(polymorphism)［†］などは型理論の体系つまり高階の型付λ計算に関する論理体系に基づくので
プログラミング言語の型システムとして組み込む場合には同じくλ計算に基づくと関数プログラミング言語の枠組みとは親和性が良いが
Cなどのように変数の値を書き換える代入文や代入演算を有する命令的プログラミング言語とは馴染まない。［‡］
だからそれらの型システムを導入した言語は既存の関数プログラミング言語の構文を流用するケースが多いのだろう。
なおStandard ML/CAML/OCaml/F#などeager evaluationを評価ルールとするいわゆるML系の関数プログラミング言語の一群は
ref型のように代入可能な変数を許すが、本格的な型理論に基づく型システムを組み込む場合はref型の類は除いたsublanguageに対して
行うのが普通。
［†］：本来の多相型とはGirardが竹内の基本予想に関する学位論文で最初に発見（あるいは発明）し
Reynoldsが独立に再発見した型の全称化・抽象化やMilnerが発見したlet-polymorphismなどを指す。
オブジェクト指向での継承に伴って使われるようになった“polymorphism”は
定義が不明確で勝手な拡大解釈が多いので「本来の」という修飾句の対象範囲からは除く。
［‡］：代入操作（代入文と代入演算の総称）を含む命令的プログラミング言語
（Ｃなどの手続き的プログラミング言語やオブジェクト指向プログラミング言語を纏めてこう呼ぶ）に
例えば多相型が馴染まない理由は代入操作可能な変数の型として多相型を許すことは
その変数について動的な型付けを許すことに他ならなくなる。
例で少し説明するが既知なら許してくれ。最も基本的な多相型 ∀t.t （どんな型でもＯＫ）と宣言された変数 x を考える、つまり
∀t.t x;
この変数はどんな型の変数としても使えるので、これにint型の値 1 は代入できる、
x = 1;
この後で式の中でこの変数の値を参照すると int型の値 1 が許される文脈以外ではエラーになる。
即ち、型理論における本来の多相型つまり静的な型付けでの多相型の概念は代入可能な変数では失われるということだ。
- 113 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 15:02:11.35 ID:wwylxN3+.net]
- Cは関数()をカリー化しなかったが配列[]をカリー化した
2次元配列を1次元のように扱い、逆にスカラー (0次元) を1次元のように扱う
Cには共用体もあるからML系に似ている部分は多かった
- 114 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 16:22:10.83 ID:wwylxN3+.net]
- オリジナルのC/C++はもう実質的に依存型と同じものを既に使いこなしてるな
依存型がまだないという自称C系ってのは本当はJava系と名乗るべきだな
- 115 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 16:59:58.68 ID:a+N+/6A7.net]
- >>106
こいつCのシンタックスじゃないって理由でPython嫌ってそうｗ
- 116 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 17:03:28.03 ID:b/biyW6c.net]
- >>106
カリー化されてると全部1引数の fun a -> aを使う(かもしれない)型 の形で済むだろ
ATS2がどうしてるかは知らん
- 117 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 18:16:53.67 ID:KFrfmR/A.net]
- 別にC以外のシンタックスを嫌ってる訳じゃないよ(てか、なんでそういう風に受けとる…？)
普及を考えれば新規ユーザーのハードルを下げるためにも少しくらい相性が悪かろうが
C系のシンタックスを採用した方が良いんじゃない？って思っただけ
どれだけ理論が優れていようが結局のところ広く普及した言語の大半
(C/C++, Java, C#, JavaScript, PHP...etc.)はC系のシンタックス
勿論C系以外で普及した言語もある(Python, Ruby...etc.)けど…数はそれほど多くない
Cのシンタックスを採用することに致命的な不都合があれば話は別だけど
そうでなければ1つくらい依存型ありの言語でC系の言語があったって良いんじゃない？
優れた理論が使われてる言語がそんなしようもない理由で普及しなかったら勿体ないじゃん
普及させるためにはそういう些細な部分は妥協したらどうだ？と思ったわけ
- 118 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 18:21:37.55 ID:xuxQDn++.net]
- ALGOL舐めてるわけ?
- 119 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 18:22:24.25 ID:IyYxWzMk.net]
- COBOL舐めてるわけ？
Fortran舐めてるわけ？
- 120 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 18:40:59.88 ID:EEzdGAQJ.net]
- >>109
> Cは関数()をカリー化しなかったが配列[]をカリー化した
配列をカリー化の意味が分からんのだが
- 121 名前：デフォルトの名無しさん mailto:sage [2018/07/09(月) 18:41:02.84 ID:b/biyW6c.net]
- まともな推論を入れようとしたら>>108みたいな理由で式ベースになるんだから
C系に似せようとしたところで不格好で無駄に記述量も多いキメラができるだけだろ
ところでBASIC舐めてるわけ？
|
 |
