次世代言語11[Rust Swift TypeScript Dart]

[0001 デフォルトの名無しさん 2018/06/03(日) 23:53:27.92 ID:vrBh4O6u]

スレタイ以外の言語もok

前スレ
次世代言語10[Rust Swift TypeScript Dart]
https://mevius.5ch.net/test/read.cgi/tech/1524607347/

[0952 デフォルトの名無しさん 2018/07/03(火) 10:15:55.62 ID:CZ1ZSS89]

開発元が腐ってるRustとTypescript
これは次世代とは言えまい
これが覇権取ったらディストピア一直線

[0953 デフォルトの名無しさん 2018/07/03(火) 10:25:54.60 ID:CZ1ZSS89]

真に次世代の言語はNim
今までの言語の焼き直しに留まらない書きやすさと実行速度を両立した言語で
開発元もモジラとかMSみたいな邪悪な企業じゃない

[0954 デフォルトの名無しさん 2018/07/03(火) 10:44:28.82 ID:pQbF/VH/]

単なるCのソースコードジェネレータじゃん。
nimが速いんじゃなくてCが速いの。Cのソースコード吐いてCのソースコードコンパイルしてるんだから。
coffeescript（）なんかのaltjsと同じようなもんだね笑

[0955 デフォルトの名無しさん 2018/07/03(火) 11:31:15.91 ID:jh9a6Llj]

高度なシンタックスシュガーだからね
でもCよりは確実に使いやすいしいいと思うよ

[0956 デフォルトの名無しさん 2018/07/03(火) 12:11:26.83 ID:H2PJV6CA]

>>941
c#で言うとasp.netみたいなもの。
c#ユーザだとしてもEFとビュー関数が無いと何もできない低レベルな人間。

[0957 デフォルトの名無しさん 2018/07/03(火) 12:13:14.64 ID:H2PJV6CA]

ついにMSだけじゃなくてMozillaも槍玉にあげ始めたのか。

[0958 デフォルトの名無しさん 2018/07/03(火) 12:43:16.36 ID:4OdwMirb]

Rubyがブロック引数を組み込みの制御構文のように見せたかったというのは旧世代の発想としてはよくわかるけど、
第一級関数や高階関数が十分に一般的なものになった現代においては組み込みのループのように見せるという発想自体がもう時代にあってないと思うわ
むしろ次世代言語は組み込みの制御構文なんか撤廃して関数に寄せればいいと思うんだが、
なかなか手続きベースの言語でforで捨てるものは現れないね

[0959 デフォルトの名無しさん 2018/07/03(火) 12:55:23.66 ID:onhdh/0N]

forとかを単なる関数として提供してる言語いくつかなかった？

[0960 デフォルトの名無しさん 2018/07/03(火) 13:05:27.52 ID:TTM9k7xe]

>>958
> 制御構文なんか撤廃して関数に寄せればいい

具体的には？

[0961 デフォルトの名無しさん 2018/07/03(火) 13:15:41.14 ID:ZYDLmzQl]

>>958
手続き型言語と呼んでいいのかわからんが、tclなら、制御構造は全て「コマンド」扱いで、BNFとか笑っちゃうぐらいシンプル

[0962 デフォルトの名無しさん 2018/07/03(火) 13:45:16.08 ID:taCiD/Gz]

>>958
条件分岐と繰り返しはプログラムの基本構造なわけだが
逆に関数とかサブルーチンとかは基本構造に入ってないわけだが

お前は、超天才かドアホかのどちらかだなw

[0963 デフォルトの名無しさん 2018/07/03(火) 13:58:16.98 ID:ZNPbo2Ku]

>>958
俺は味方だよヽ(´Д｀ )

[0964 デフォルトの名無しさん 2018/07/03(火) 14:53:19.41 ID:78ysfJXf]

俺は勝った方の味方するよ。
最初から味方だった、俺のおかげで勝てたみたいな感じで。

[0965 デフォルトの名無しさん 2018/07/03(火) 15:16:48.85 ID:U5Zq1zkR]

第一級関数というやつ
ほとんどの場合意味がわかってないか
勘違いしてるよな
クロージャーっぽく書けたら第一級ってわけじゃないから

[0966 デフォルトの名無しさん 2018/07/03(火) 16:26:35.93 ID:dRr5lTkl]

>>869
> smalltalkには break や continue (next) はないだろう？

横レスだが少なくともXEROXのグループが書籍として出版した初期のSmalltalk-80にはその類のものなかったね
なお、closure本来の議論をする上ではSmalltalk-80のブロックを引き合いに出したのは悪くないと読んでいて思ったけどね
というのはHaskellのような代入命令のない言語でなく代入命令を持つ言語でのclosureとしてはSmalltalk-80のブロックは最も基本形なので議論のベースとしては分かりやすい
本来ならAlgol 68のproc mode（modeは普通の言語での型に相当）の値がclosureなんだがAlgol 68は概念は良く整理されていても用語が変態過ぎて議論のベースとしては使いやすくない
Smalltalk-80のブロックはAlgol 68のprocを素直に継いでいると考えて構わないので、要するにSmalltalk-80のブロックを議論での叩き台にするのは
命令的言語でのclosureとしてオリジナルであるAlgol 68のprocを叩き台としてclosureの議論をしようというものなのでclosureの一般論が目的ならば悪くない

ただ特定の言語、特にrubyのような比較的新しい言語（後述のマイ言語化以降の時代に登場した言語）限定の議論には不適切かも

> ruby のは、closure に break や next を持ち込んでおかしくなっているように見えるよ。

そりゃAlgol 60やAlgol 68やSchemeなどを作った人々とRubyの製作者とはプログラミング言語に対する基本的な見識においてレベルが違いすぎますからね

かつてプログラミング言語の形式的意味論までか否かは別にして言語の基本概念は何かきちんと学び理解するのが常識だったが
簡単に言語を実装できるようになって＝マイ言語化されて以降、スクリプト言語のような軽い言語が百花繚乱の如く咲き乱れる（と言えば聞こえは良いが要するに粗製乱造される）ようになって以降
基本概念をきちんと学び理解していない人でも新しい言語は簡単に作れ、上手くファンを掴めるとそれなりに流行ってしまうようになったので
実際にきちんと意味を考えるととても不自然で理解が困難になるような言語機能の組み合わせ方を単に「だって便利だもの」という理由で言語に組み入れられてしまうようになった
単なる便利さだけで深い考慮なく導入されたものを意味論などから合理的・体系的に説明・理解するのは困難、年寄りの戯言でした

[0967 デフォルトの名無しさん 2018/07/03(火) 18:34:43.36 ID:iZrusKUj]

戯言とわかりつつ書き込むのか……（困惑）

[0968 デフォルトの名無しさん 2018/07/03(火) 18:36:16.17 ID:TTM9k7xe]

>>966
空気読めない老人が上から目線でしゃしゃり出てくるのほんとやめてほしいわ
だいたいALGOL68を持ってこようがSmalltalk-80を持ってこようが場違いなのはさして変わらんよ
そもそも誰もクロージャーの本来も一般論も論じてないとか、すでにその話は終了しているとか読んでわからんのかね

[0969 デフォルトの名無しさん 2018/07/03(火) 18:53:34.68 ID:kPEfeblV]

ボクちゃんの大好きなrubyがディスられて怒り心頭のようだねｗ

[0970 デフォルトの名無しさん 2018/07/03(火) 18:55:02.78 ID:A246qspJ]

https://i.imgur.com/7zZXEEJ.jpg

[0971 デフォルトの名無しさん 2018/07/03(火) 19:00:25.45 ID:lz4xpNmJ]

>>953
NimはRustのような安全性がないからダメだわ

https://github.com/nim-lang/Nim/issues/3531

[0972 デフォルトの名無しさん 2018/07/03(火) 19:10:03.39 ID:Y44wiyUJ]

>>970
自分の思いを述べてるんだから何もしていなくはない

そういう性格だから嫌われるんじゃない
こいつが嫌いな性格を一般化してるだけだ

[0973 デフォルトの名無しさん 2018/07/03(火) 19:11:22.15 ID:iZrusKUj]

RustはRustで安全のために犠牲を払いすぎ
そこまで犠牲を払わないNimという選択肢はダメではない

[0974 デフォルトの名無しさん 2018/07/03(火) 19:12:12.22 ID:1eNrhjxU]

>>972
うわあ……

[0975 デフォルトの名無しさん 2018/07/03(火) 19:15:29.04 ID:Y44wiyUJ]

>>974
うわぁってなんやねん

空気読むことばっか押し付けるからお前んとこのプロジェクト炎上してるんや

[0976 デフォルトの名無しさん 2018/07/03(火) 19:15:31.69 ID:A246qspJ]

犠牲にしてるかな？どうせやらなきゃいけないことを強制してるだけでわ

[0977 デフォルトの名無しさん 2018/07/03(火) 19:23:30.28 ID:2atZvleV]

>>972
スレに沿った議論をしない人は何もしてないと同じなんだよ
お仕事だってそうでしょう

[0978 デフォルトの名無しさん 2018/07/03(火) 19:26:31.83 ID:Y44wiyUJ]

ようは後付けで人がついてくりゃリーダシップそのものじゃないか

[0979 デフォルトの名無しさん 2018/07/03(火) 19:32:14.46 ID:2DeV5pvZ]

スレに沿った議論といっても誰も次世代言語の話なんてしてないしなw

[0980 857 2018/07/03(火) 19:33:36.60 ID:0xlHwX4q]

Nim は書きやすさと速度、Rust は安全性と速度、
に注力したイメージなんだが、安全性と速度に比べて、書きやすさと速度って一つの言語でカバーする必要性が薄いように思うんだよな。

従来の「スクリプト言語+速度が必要なところだけC/C++」に比べて、どうしてもNimが良いっていう場面ある?

[0981 デフォルトの名無しさん 2018/07/03(火) 19:43:18.67 ID:MH5+eiAJ]

>>978
えぇっ

>>979
途中までしてたじゃん
話につい来れなかったルビーィストとおじいちゃんたちが突然昔話を始めるまでは

[0982 デフォルトの名無しさん 2018/07/03(火) 19:53:46.17 ID:Y44wiyUJ]

>>981
もうとっくに日本は移民国家だ
自分が雰囲気の中心にいるんだって顔してるだけで
さしたる理由もなく他人をDisれると思うなよ


昔の次世代言語の話したっていいじゃない

[0983 デフォルトの名無しさん 2018/07/03(火) 20:01:32.10 ID:dPHNxxkk]

>>976
木ですら実装結構しんどいのは犠牲ではなかった……？
Nimならすぐよ

[0984 デフォルトの名無しさん 2018/07/03(火) 20:14:55.16 ID:T5T8ZL2Z]

>>980
書きやすくて速いとか最強やろ
スクリプト+Cとかめんどくさいんじゃ

[0985 デフォルトの名無しさん 2018/07/03(火) 20:38:32.57 ID:zqxfY0jY]

>>966
Smalltalkのブロックはselfと^の挙動がクロージャとして完全にウンコなので
こんなものを基本形として議論のベースにしたくないです
Schemeの方が1万倍マシです

[0986 デフォルトの名無しさん 2018/07/03(火) 20:41:29.96 ID:MH5+eiAJ]

>>983
その木は安全なの？
個人的には木構造実装したりしないから別に困ってないけど

[0987 デフォルトの名無しさん 2018/07/03(火) 21:17:11.31 ID:4+jY1mlb]

Nimは一体いつになったら1.0をリリースするんですかね？

[0988 デフォルトの名無しさん 2018/07/03(火) 21:31:35.15 ID:XAeheViZ]

Nim製組み込み言語Min
https://min-lang.org

いいんだけどさ、なんで文法Lisp風にしたし。
ホスト言語より書きにくい組み込み言語ってなんやねん

[0989 デフォルトの名無しさん 2018/07/03(火) 22:03:10.71 ID:ZNPbo2Ku]

Lispに見えて実はForth風では
処理系のサイズを小さくまとめるのが目的みたいだしいいんじゃないかな。どうせ個人の試作言語だろうし

[0990 デフォルトの名無しさん 2018/07/03(火) 22:16:17.34 ID:T5T8ZL2Z]

Lispが書きにくい……？
https://i.imgur.com/13vqxY0.jpg

[0991 デフォルトの名無しさん 2018/07/03(火) 22:25:50.65 ID:s9qpeMkn]

Lispは脳がパーサになってる人向け

[0992 デフォルトの名無しさん 2018/07/03(火) 22:27:10.82 ID:2DeV5pvZ]

いうてもc++の文法なら自分でパースした方がマシだろ。

[0993 デフォルトの名無しさん 2018/07/03(火) 22:28:51.19 ID:OApKU83S]

factorなんか0.97から4年も音沙汰なしだぞ

[0994 デフォルトの名無しさん 2018/07/03(火) 23:50:32.40 ID:T5T8ZL2Z]

安全だからRustは良い←わかる
安全でないからNimはいらない。書きやすさとかどうでも良い←それあなたの感想ですよね

[0995 デフォルトの名無しさん 2018/07/04(水) 00:39:03.37 ID:SVer28O9]

>>993
音沙汰なしではないよ、最終更新は3日前

https://github.com/factor/factor/commits/master

[0996 デフォルトの名無しさん 2018/07/04(水) 00:44:54.31 ID:SVer28O9]

書きやすくても保守性が高くなるわけじゃないからな、
自分で書いて自分一人だけで保守するならいいんじゃないかね

[0997 デフォルトの名無しさん 2018/07/04(水) 00:55:14.74 ID:M17EkYCN]

そうそう、Rustは可読性が低く保守性も低い

[0998 デフォルトの名無しさん 2018/07/04(水) 01:36:19.71 ID:mmoPrDKP]

>>997
いやいや、Rustは可読性も保守性も高いでしょ
書く前にある程度の考える必要があるだけ

むしろ思ったことすぐに書けちゃう言語の方が
可読性も保守性も低いでしょ

[0999 デフォルトの名無しさん 2018/07/04(水) 05:38:29.74 ID:XdTckET+]

Rustって名前で損してる気がする。

[1000 デフォルトの名無しさん 2018/07/04(水) 05:39:21.37 ID:XdTckET+]

錆って何よ、触ったらヤバそうじゃんww