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

**デフォルトの名無しさん** · 2018/06/03(日) 23:53:27.92

スレタイ以外の言語もok

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

**デフォルトの名無しさん** · 2018/07/02(月) 19:39:32.22

>>921
ハスケルばかにしてる？

**デフォルトの名無しさん** · 2018/07/02(月) 19:42:13.22

アンチMicrosoftを掲げる以上、Rubyを使うべきだろね。

**デフォルトの名無しさん** · 2018/07/02(月) 20:33:18.53

クロージャの問題は結局変数の評価タイミングが分かりづらくなりやすいってところ。
common lispはその点わかりやすい。

**デフォルトの名無しさん** · 2018/07/02(月) 20:47:10.91

あちらこちらに分身がいて、どれかを書き換えると他に影響してしまう。
そんな混とんとした世界で生き抜くにはいろいろなものが必要になる。
つまり、コピーとムーブが一番楽。

**デフォルトの名無しさん** · 2018/07/02(月) 20:47:29.49

>>920
goとかjsとかparser用意しないとast作れないところを見るとlispが次世代感あるように感じてきた

**デフォルトの名無しさん** · 2018/07/02(月) 20:50:20.50

>>917>>921
やはりここはLuaの出番か

**デフォルトの名無しさん** · 2018/07/02(月) 21:36:57.09

luaはnginxと組みわせて使う

**デフォルトの名無しさん** · 2018/07/02(月) 21:49:01.21

>>926
astそのもの書いてるだけじゃん。
靴に足を合わせる理屈は御免です。

**デフォルトの名無しさん** · 2018/07/02(月) 21:51:14.33

Lispはいいぞ

**デフォルトの名無しさん** · 2018/07/02(月) 21:58:33.96

>>920
社会に出ろよ。

**デフォルトの名無しさん** · 2018/07/02(月) 21:59:57.72

>>920
ドカタの社会に出ろよ
ドカタの社会に出てないの丸わかりレベル低すぎ

**デフォルトの名無しさん** · 2018/07/02(月) 22:00:32.20

algol系のシンタックスに合わせてる方が無理がある。

**デフォルトの名無しさん** · 2018/07/02(月) 22:06:32.06

久々に社会に出てみたら、
青春を捧げたRubyがすっかりオワコンになってて哀しいです(^q^)

**デフォルトの名無しさん** · 2018/07/02(月) 22:27:57.20

インターンってRubyばっかだな
素人学生にRuby書かせるとか頭おかしなるで
正気か？どうゆうロジックなんだ？

**デフォルトの名無しさん** · 2018/07/02(月) 22:42:00.11

世代的にrubyで育ったリーダが多いからじゃない
外資ではgoとかpythonが多い
メガネのヒョロガリが写真に写っていてRoRエンジニアを募集してたらまずハズレだ

**デフォルトの名無しさん** · 2018/07/03(火) 00:16:39.10

何故breakにしたんだろねRuby。returnじゃ駄目だった理由が分からない

**844** · 2018/07/03(火) 01:06:30.72

Ruby では、break, return、例外も、単一の同じ仕組みを使っている。
コールスタックをさかのぼるポインタ。
つまり、どこから呼ばれて、どこへ戻るか

breakは、1つ外側のスコープへ戻る。
returnは、最も外側のスコープを抜ける

(レキシカル)スコープチェーンと、コールスタックの2大柱。
実装系・VM を作るには、この本がおすすめ

Rubyのしくみ、2014
Rubyの実装系、Ruby1.9のRuby仮想マシンの内部の仕組み

**デフォルトの名無しさん** · 2018/07/03(火) 01:19:37.85

いいえ、私は遠慮しておきます

**デフォルトの名無しさん** · 2018/07/03(火) 01:55:27.47

旧世代言語のネタですっかり過疎ってしまった

**デフォルトの名無しさん** · 2018/07/03(火) 03:04:30.31

RailsってC#でいう.Netみたいなもん？

**デフォルトの名無しさん** · 2018/07/03(火) 03:29:58.10

>>928
redisも便利

**デフォルトの名無しさん** · 2018/07/03(火) 06:19:51.17

相手が望んでいない解説をするときは、それがスレの内容として意味があるかを基準にするべき
単にこの言語ではこうなっている(中身はさして珍しくもない)というだけならやめとけ。余計嫌われる

**デフォルトの名無しさん** · 2018/07/03(火) 06:53:27.01

スレタイに並んでいる言語だとtsは張り合う相手いないから語るようなことないよな
ネイティブアプリ向けも張り合う相手なし
領域が被るのはサーバサイドにおけるrust,swift,kotkin nativeくらい？

**デフォルトの名無しさん** · 2018/07/03(火) 07:30:13.14

>>925
だから次世代言語って何よ？
スレタイに沿って話せって言うけど、次世代言語がなにかも曖昧で

**デフォルトの名無しさん** · 2018/07/03(火) 08:27:38.25

旧世代の言語の（しがらみとかで）回避できなかった欠点を既存機能を損なうことなくうまく克服し
次世代を担うべく存在する言語だよ

C++のメモリリークを所有権で回避した「Rust」
Obj-Cのnil禍をオプショナル型で回避した「Swift」
JSの実行時エラーを静的型で回避した「TS」

Rubyはこの20年自らの欠点をちょこちょこ直す以外なにもやっていない

**デフォルトの名無しさん** · 2018/07/03(火) 08:31:16.08

TSは別格すぎる
さすがにもう現世代扱いでいいだろ

**857** · 2018/07/03(火) 09:12:56.01

>>937
いや、next はともかく、 break は lexical scope の範囲内では実装出来ないんだよ。
break が for や while でキャッチされる特殊な例外扱いならば、こんなおかしな事にならず、Proc 内でも break 使える様に出来たのに。

>>938
ここでいっているスコープは、 dynamic scope であることに注意ね。
内部イテレータでは、本来 break は例外と同じ方法でしか実装出来ない事を理解いただいて何よりです。
でも、ruby では、 Proc で break 呼び出したときの例外が LocalJumpError になっていて、どういう扱いにしたいかよく分からないんだよね。
for, while 内の break との整合も取れないし

まあ、次世代言語の話じゃないんで、そろそろ突っ込みは止めときます。

**デフォルトの名無しさん** · 2018/07/03(火) 09:15:15.62

swiftが次世代だってぷぷ
めちゃくちゃclassicなんだけど

**デフォルトの名無しさん** · 2018/07/03(火) 09:26:00.07

>>947
msが怒涛の開発力で一気に使いやすくしたよなぁ。
しかもEditorとセットで。
しかもlspを考えてどのEditorからでも補完が効くようにしたりとか。

まだ開発スピードが止まる気配がないけど、
他に何を開発する余地があるんだろ。

**デフォルトの名無しさん** · 2018/07/03(火) 09:33:01.11

世代の交代を駆動するのが枯れた技術であってもいいんだよ
まあ仕様の腐った言語しか眼中にない人間には理解できんだろうけどね

**デフォルトの名無しさん** · 2018/07/03(火) 10:15:55.62

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

**デフォルトの名無しさん** · 2018/07/03(火) 10:25:54.60

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

**デフォルトの名無しさん** · 2018/07/03(火) 10:44:28.82

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

**デフォルトの名無しさん** · 2018/07/03(火) 11:31:15.91

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

**デフォルトの名無しさん** · 2018/07/03(火) 12:11:26.83

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

**デフォルトの名無しさん** · 2018/07/03(火) 12:13:14.64

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

**デフォルトの名無しさん** · 2018/07/03(火) 12:43:16.36

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

**デフォルトの名無しさん** · 2018/07/03(火) 12:55:23.66

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

**デフォルトの名無しさん** · 2018/07/03(火) 13:05:27.52

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

具体的には？

**デフォルトの名無しさん** · 2018/07/03(火) 13:15:41.14

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

**デフォルトの名無しさん** · 2018/07/03(火) 13:45:16.08

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 13:58:16.98

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

**デフォルトの名無しさん** · 2018/07/03(火) 14:53:19.41

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

**デフォルトの名無しさん** · 2018/07/03(火) 15:16:48.85

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

**デフォルトの名無しさん** · 2018/07/03(火) 16:26:35.93

>>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の製作者とはプログラミング言語に対する基本的な見識においてレベルが違いすぎますからね

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

**デフォルトの名無しさん** · 2018/07/03(火) 18:34:43.36

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

**デフォルトの名無しさん** · 2018/07/03(火) 18:36:16.17

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

**デフォルトの名無しさん** · 2018/07/03(火) 18:53:34.68

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

**デフォルトの名無しさん** · 2018/07/03(火) 18:55:02.78

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:00:25.45

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:10:03.39

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:11:22.15

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:12:12.22

>>972
うわあ……

**デフォルトの名無しさん** · 2018/07/03(火) 19:15:29.04

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:15:31.69

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:23:30.28

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:26:31.83

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:32:14.46

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

**857** · 2018/07/03(火) 19:33:36.60

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:43:18.67

>>978
えぇっ

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

**デフォルトの名無しさん** · 2018/07/03(火) 19:53:46.17

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 20:01:32.10

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

**デフォルトの名無しさん** · 2018/07/03(火) 20:14:55.16

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

**デフォルトの名無しさん** · 2018/07/03(火) 20:38:32.57

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

**デフォルトの名無しさん** · 2018/07/03(火) 20:41:29.96

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

**デフォルトの名無しさん** · 2018/07/03(火) 21:17:11.31

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

**デフォルトの名無しさん** · 2018/07/03(火) 21:31:35.15

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

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

**デフォルトの名無しさん** · 2018/07/03(火) 22:03:10.71

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

**デフォルトの名無しさん** · 2018/07/03(火) 22:16:17.34

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

**デフォルトの名無しさん** · 2018/07/03(火) 22:25:50.65

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

**デフォルトの名無しさん** · 2018/07/03(火) 22:27:10.82

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

**デフォルトの名無しさん** · 2018/07/03(火) 22:28:51.19

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

**デフォルトの名無しさん** · 2018/07/03(火) 23:50:32.40

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

**デフォルトの名無しさん** · 2018/07/04(水) 00:39:03.37

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

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

**デフォルトの名無しさん** · 2018/07/04(水) 00:44:54.31

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

**デフォルトの名無しさん** · 2018/07/04(水) 00:55:14.74

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

**デフォルトの名無しさん** · 2018/07/04(水) 01:36:19.71

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

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

**デフォルトの名無しさん** · 2018/07/04(水) 05:38:29.74

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

**デフォルトの名無しさん** · 2018/07/04(水) 05:39:21.37

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

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 30日 5時間 45分 54秒