次世代言語15 Go Rust Bosque Kotlin TypeScript

**デフォルトの名無しさん** · 2019/04/19(金) 22:19:00.41

スレタイ以外の言語もok

前スレ
次世代言語15 Go Rust Swift Kotlin TypeScript
https://mevius.5ch.net/test/read.cgi/tech/1541331010/

**デフォルトの名無しさん** · 2019/06/08(土) 21:56:54.48

コンテキストによって使えるAPI制限できる言語ってありますか？
割込みコンテキストとかイベントループでsleep禁止のような

**デフォルトの名無しさん** · 2019/06/09(日) 03:00:13.29

>>319
言語自体に？聞いたことない
というかコーディングルールで決めてLINTみたいなもので自動チェックさせるんじゃない？

**デフォルトの名無しさん** · 2019/06/09(日) 03:38:53.80

あとはRoslynのAnalyzerはめっちゃ強力で自由度も高い

**デフォルトの名無しさん** · 2019/06/09(日) 06:10:20.02

コンテキストってのを明示的にsleepに渡すのがセオリーだよな
つまりsleepの引数を一個増やす

ただしコンテキストの捏造はないものとする
その型のコンストラクタ使用禁止
同じ型の変数定義禁止またはその変数への代入禁止や所有権移動禁止

**デフォルトの名無しさん** · 2019/06/09(日) 06:22:10.99

センスがないな

**デフォルトの名無しさん** · 2019/06/09(日) 07:15:38.36

>>297
俺はGoが嫌いだからそれはできないな

**デフォルトの名無しさん** · 2019/06/09(日) 07:46:59.42

例えば英語圏の外の人がいくら勉強しても英語のセンスがないとか
英語の本格的な発音を聞いただけで笑ってしまうとか
感性とかセンスとか言ってる場合じゃないだろ

**デフォルトの名無しさん** · 2019/06/09(日) 08:24:12.13

>>104 Python 実装系の一つ PyPy は、静的型付けの有る RPython と言うPython のサブセットで書かれている。
RPython はC のソースコードなどを吐き出す。しかもJIT で動く。
概ね、PyPy は、CPython (本家のPython) より4倍くらい早い。( JIT の効果 )

RPython で作られたRuby実装で Topaz が有るが早いみたい。(実験的に作られただけ見たい)
同じくRPython でPHP実装も作られてる。

**デフォルトの名無しさん** · 2019/06/09(日) 08:41:41.42

つまりCってことなんだよな
なら最初からCで書けって話になる

**デフォルトの名無しさん** · 2019/06/09(日) 09:03:13.51

>>327 最初からCで書いた実装が、CPython なんだよ。

それよりなぜ早くなるかと言うと、VM 上でJIT が動くからだよ。
PyPy がインタプリタとして動くときは、C のコードを吐き出すんじゃなくて、バイトコードを吐き出し、そのバイトコードをVM 上でJIT が動かしている。

CPython もバイトコードインタプリタなんだけどJIT で動いていない。その一部をJIT で動くようにしたのがNumba

**デフォルトの名無しさん** · 2019/06/09(日) 09:24:23.09

>>319
そういう問題を技術で解決しようと思うのが間違ってる。
322の意見のようなクソシンタックスを無駄に増やすだけだから。

**デフォルトの名無しさん** · 2019/06/09(日) 09:36:31.41

つまり精神論で解決しろと。

**デフォルトの名無しさん** · 2019/06/09(日) 10:04:24.28

>>330
こういう極論言うバカにコードを触らせるなということ。

**デフォルトの名無しさん** · 2019/06/09(日) 10:09:55.36

冗談抜きにほとんどの事例において「バカにコードをいじらせない」が
ベストソリューションなケースはかなり多いのになんで採用されないのかね？

**デフォルトの名無しさん** · 2019/06/09(日) 10:11:45.69

>そういう問題を技術で解決しようと思うのが間違ってる。

こういう極論？

**デフォルトの名無しさん** · 2019/06/09(日) 10:30:57.11

今現在では極論じゃなくて正論だと思う
精神論じゃなくて技術や設計で解消ということではないかな

コーディング時にsleep自体禁止しても他のメソッド内でsleep使ってたりするのを避けたいのかもしれないけど
もし外部の言語で作ったDLLで使ってたりするとわからない
内部で動的にコード生成してたらすり抜ける（そもそもこれはアウト）

sleep単体だけならいいけどあれこれ禁止するならシグネチャーが複雑になる
結局あっても頼りきりにもできないけどめんどくさい制約にしかならないと思う

**デフォルトの名無しさん** · 2019/06/09(日) 10:31:09.24

だってジャップランド土人村にはその「バカ」が９割じゃん

**デフォルトの名無しさん** · 2019/06/09(日) 10:38:00.85

ユーザーからぼくの考えた最強issueがガンガン上がって来ていらない機能がどんどん追加されて
学習コストが高いだけの誰も使わないクソ言語

**デフォルトの名無しさん** · 2019/06/09(日) 10:56:34.15

こういうののユーザーはなんもわかってないから

**デフォルトの名無しさん** · 2019/06/09(日) 11:18:22.23

しかし、バカ予備軍こと質問者が現れた時点で早くなんとかしようと思わなかったのかね
それらしい答えが出てから慌てて文句言っても遅い

**デフォルトの名無しさん** · 2019/06/09(日) 11:56:10.75

一応JavaのSecurityManagerでできるけど
信頼できないリモートコード制限用の機能だから
普通のアプリじゃ使いにくい

**デフォルトの名無しさん** · 2019/06/09(日) 14:03:25.15

>>319
基盤実装とスクリプトに分けるとかは？
スクリプトに対してはいろいろ禁止できるかと

**デフォルトの名無しさん** · 2019/06/09(日) 14:28:28.36

>>340
どんな感じで禁止できますか？
静的にみつけられるでしょうか？
例を教えてもらえるとうれしいです。

**デフォルトの名無しさん** · 2019/06/09(日) 14:36:28.82

>>341
単純にスクリプトにsleep APIを公開しない、みたいなのを考えてた

**デフォルトの名無しさん** · 2019/06/09(日) 14:43:11.20

なるほど・・・
しかしスクリプト側で使用可能APIを一括で管理ってできるでしょうか？
例えば仮にPythonだとして標準のライブラリのimport禁止など可能なんでしょうか？

**デフォルトの名無しさん** · 2019/06/09(日) 14:47:35.09

luaはそこらへん簡単でredisとか標準ライブラリが割と無い
python組み込みは詳しくないけど可能そうなもんだけどな

**デフォルトの名無しさん** · 2019/06/09(日) 14:50:20.90

いずれにせよ、そういう言語ってなさそうですね。
仕事でリアルタイム系のシステム組んでいるのですが、sleepしない、blockしないとか、
他にもdead lockしないとか、定期的にこれらのルールをやぶるコードが紛れるので
なんとかならないかと思っています。
静的解析のツールで解決できたりするのでしょうか？

**デフォルトの名無しさん** · 2019/06/09(日) 15:05:51.96

並列性とか非同期性がそういう問題の根源なので、
直列実行しかできないスクリプトに切り出して、
基盤側を単純にしたらいいのではと思ってしまう
リアルタイム系の経験が無いからよくわからんけど

**デフォルトの名無しさん** · 2019/06/09(日) 16:48:10.91

明らかにsleep呼んでる側がおかしいのにsleepの内部で何か対策考えるとか
それがバカだって言ってんだよ。
そういうのを解決しようと思えば最終的にグローバル変数から状況を読み込んで
「いい感じに処理する」みたいなクソなことがまかり通るようになる。

こんな当たり前のことを「精神論」とか言って遠ざけて
無駄な技術をゴテゴテ投入すれば解決すると思う方がよっぽど精神論だわ。

**デフォルトの名無しさん** · 2019/06/09(日) 16:57:08.28

リアルタイム系ならそもそも言語の選択肢が殆ど無いような

**デフォルトの名無しさん** · 2019/06/09(日) 17:25:04.36

外部ツールで特定の処理を呼んでないか調べる位しかできないだろ

**デフォルトの名無しさん** · 2019/06/09(日) 18:38:09.36

>>348
はい、普段C/C++なんですがもう卒業したい気分でいっぱいです・・・
実はRustはもしかしたらという気持ちで質問させてもらいました。(Rustの詳細知りません)
原理的には型システムで解決できる問題のような気がするんですけどね

**デフォルトの名無しさん** · 2019/06/09(日) 20:20:15.46

何がもしかしたらじゃボケ
そんな甘ったれた根性を次世代言語スレに持ち込むな

**デフォルトの名無しさん** · 2019/06/10(月) 00:45:35.90

ひーイェッサー
お言葉ですがその調子だとMicroPythonに逃げられるっす
（リモコンそんなので作られた日には電池持ちがおそろしいことになりそう）

**デフォルトの名無しさん** · 2019/06/10(月) 08:50:34.25

>>352 もう少し他の人にわかるように話してくれないかな。少し興味のある言葉が出てきたので。
micro:bit か何かをリモコンとして使おうとしてる？

**デフォルトの名無しさん** · 2019/06/10(月) 09:17:26.23

わかりやすさの基本は嘘を書かないことだ
それ以外のことを改善しても誤差程度にしかならん

**デフォルトの名無しさん** · 2019/06/10(月) 11:57:54.61

micropythonでいいじゃん

**デフォルトの名無しさん** · 2019/06/10(月) 13:36:54.01

>>321で出てるけどRoslynでできないんかな？

**デフォルトの名無しさん** · 2019/06/10(月) 13:51:46.71

>>356
なにが？

**デフォルトの名無しさん** · 2019/06/10(月) 14:00:59.77

>>357
>>319への対処

**デフォルトの名無しさん** · 2019/06/10(月) 14:59:12.58

>>358
できるよ

**デフォルトの名無しさん** · 2019/06/10(月) 15:03:28.43

最近の話の流れは、　>>345 の続きかな？

>>345 RTOSは使ってるんでしょ？
MicroPython なんて持ち出してるってことは、RTOSを入れていない？
RasberryPi だと、RTOSとして　RT Preempt なんて使ってるね。
RTOSを入れていればそれほど言語に厳しい制約をかけなくてもよさそうな気がするけど。　

このサイトを見ると似たようなサイズのアプリケーションに、RTOS（Zephyr）（ゼファーと読むのかな）をいれてMicroPython で動かしてるね。
https://open-degu.com/downloads/20190315_degu.pdf

Zephyr入門
https://qiita.com/ueba/items/c5fe99bedd8862854ebd

OSサイズは11KBとコンパクト
PyPi にもラッパーが登録されているのでPythonからも使える。　

日本だから、μT-Kernel（μITron）が普及するとよいと思うけど。
μT-Kernel 2.0がベースのIEEE 2050-2018がIEEE標準として正式に成立
https://www.tron.org/ja/2018/09/press0911/

**デフォルトの名無しさん** · 2019/06/11(火) 20:49:00.58

await asyncが使えればsleepでスレッドをブロックしないのに

**デフォルトの名無しさん** · 2019/06/11(火) 22:45:27.77

割り込みハンドラの話だろうからawaitの仕組み(イベントループ+コールバック)でどうにかなるものじゃないと思うよ

**デフォルトの名無しさん** · 2019/06/11(火) 23:02:57.60

>>360
Pythonの話にはのりましたが、実際にはスクリプトでそのあたりの処理書くのは採用できないです
GC走る言語はsleepされるのといっしょですからね
Roslynってのは知りませんでしたが.NET限定の技術なんですかね？

**デフォルトの名無しさん** · 2019/06/11(火) 23:10:03.46

>>363
RoslynはC#/VB.NETのコンパイラー
DiagnosticsやRefactoringのAPIも提供してて、簡単にAnalyzerを書ける

**デフォルトの名無しさん** · 2019/06/12(水) 05:13:51.19

既に上がっている次世代言語のスコープではなく
そのような要望を満たすものがない

**デフォルトの名無しさん** · 2019/06/12(水) 08:05:40.60

>>365
どのような要望？

**デフォルトの名無しさん** · 2019/06/12(水) 08:13:15.38

新しい言語を一通り触ってjavaScriptかC言語に戻ってくる
C/C++とか書く奴いるけどC++も大概クソだからな
結局Cでできるように書き直したほうが簡潔になるっていう

**デフォルトの名無しさん** · 2019/06/12(水) 08:24:04.66

生産性低いおっさんは要らないから

**デフォルトの名無しさん** · 2019/06/12(水) 08:55:30.78

Cに戻ると言いながらJSと二刀流してるだろ
二刀流が正統派にでもなったら革新的じゃないか

**デフォルトの名無しさん** · 2019/06/12(水) 08:56:29.46

>>363 自分でgc をenable disable にしてコントロールしたり、gc を自分で呼んで(collect) 明示的にgc を起こさせるのいうような方法でリアルタイム性は確保できるんじゃないの？
MicroPythonですらそれらの方法が利用できる。

沢山のIoT デバイスで使われてるだろうから、GC が勝手に動く心配をする必要はないように思うけど？

例えばRTOS Zephyr では、main thread とidle thread で区別してる。

**デフォルトの名無しさん** · 2019/06/12(水) 09:43:44.27

リーナスと同じこと言ってる俺かっこいい的な

**デフォルトの名無しさん** · 2019/06/12(水) 11:05:36.47

俺かっこいいはポジティブ思考
リーナスはネガティブ思考のくせに建設的だぞ

**デフォルトの名無しさん** · 2019/06/12(水) 11:06:33.06

>>371 Linus Torvalds か、面白いやっちゃな
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%8A%E3%82%B9%E3%83%BB%E3%83%88%E3%83%BC%E3%83%90%E3%83%AB%E3%82%BA

記録からみるLinus TorvalsのC++観
https://cpplover.blogspot.com/2013/05/linus-torvalsc.html
メモリー確保のようなものを隠したがるコンパイラーや言語は、カーネル用にふさわしい選択ではない。

**デフォルトの名無しさん** · 2019/06/12(水) 14:34:52.90

>>367
C言語にデストラクタ的な機能が入ればすごく嬉しい。

**デフォルトの名無しさん** · 2019/06/12(水) 15:44:31.00

>>373
リーナスは人間的にはだいぶクソな奴らしいが
技術的な意見についてはさすがにおかしなことはいってない
カーネルレイヤーにC++が相応わしいかというとたしかに微妙だ
だが、アプリレイヤでC++でなくCのほうが良いというのはただの勉強不足

**デフォルトの名無しさん** · 2019/06/12(水) 16:05:20.23

「神がいないと言うのは勉強不足。もっと勉強しろ。そうしたら分かる」

**デフォルトの名無しさん** · 2019/06/12(水) 17:09:53.27

足りないのは勉強でも努力でもない

勉強でも努力でもない何かが存在することくらいはすぐ分かりそうなものだが
必死に勉強したらしいのに分かってない奴がそこにいるのが証拠だ

**デフォルトの名無しさん** · 2019/06/12(水) 17:32:01.72

Linus と Unix を掛け合わせて、Linux にしたんだな。
良いネーミングになったけど。

昔々、安価に使える記憶媒体が5’ のフロッピーディスクしかなかった頃、初めて取り寄せたUnix は、512KB のフロッピーディスク12枚に入って送られてきた。
6MB だよね。
その頃からCがもてはやされ始めた。 C もUnix も基本はシンプル。

**デフォルトの名無しさん** · 2019/06/12(水) 20:41:19.44

>>374
それだったらgoのdefer文入れた方がいいわ。
デストラクタはcには馴染まん。

**デフォルトの名無しさん** · 2019/06/12(水) 20:44:28.68

>>375
gitもcだが？

**デフォルトの名無しさん** · 2019/06/12(水) 21:06:53.07

リーナスの持論からいくと、メモリ管理を手のひらでコロコロできるレベルの低レイヤーが触れない言語は等しくファックなんだよ
つまり次世代言語は

**デフォルトの名無しさん** · 2019/06/12(水) 22:03:42.09

まあメモリ管理を隠蔽しようとするからおかしなことになってる感はあるよな

**デフォルトの名無しさん** · 2019/06/12(水) 22:08:38.70

人類の95割はメモリ管理なんてできんだろ
GCのコストをペイできるほど高速でファックな処理なんて人類の95割には必要ない

**デフォルトの名無しさん** · 2019/06/12(水) 22:10:10.69

>>381
linusが主張してるのはOSみたいな低レイヤーいじる時だけの話だぞ。
c++みたいにどっちもいけるわー言ってどっちもクソな物を嫌っとるだけ。

**デフォルトの名無しさん** · 2019/06/12(水) 23:20:39.48

gitは低レイヤーじゃなくね
上のリンクにもあるけどlinusは前提条件無しでC++嫌ってる

**デフォルトの名無しさん** · 2019/06/13(木) 00:32:28.05

まぁ昔のc++に酷い目にあったら、そりゃ嫌になるよ。

**デフォルトの名無しさん** · 2019/06/13(木) 00:39:28.30

最近のC++はメモリアライメント指定が標準になったりゴミだったアロケータ周りがだいぶ改善されてるから組み込みとかにも使いやすくなってるんじゃないの

**デフォルトの名無しさん** · 2019/06/13(木) 01:47:04.28

>>383 1桁桁を間違えてるぞ。よくプログラムが書けるな。

**デフォルトの名無しさん** · 2019/06/13(木) 02:36:25.85

レイヤーっていうかカーネルとGUIを分離しないのはSmalltalkとかObjCとかの伝統か？

**デフォルトの名無しさん** · 2019/06/13(木) 07:40:23.90

>>388
ｗ

**デフォルトの名無しさん** · 2019/06/13(木) 15:41:02.12

LinusのC++嫌いには↓みたいなこともあるんじゃない？
C with classesだったのに
よってたかっていじくりまわしてあんなわけわかんない仕様になった

**デフォルトの名無しさん** · 2019/06/13(木) 17:17:28.07

議論をする理由は、嫌っているからではなく、言いたいことがあるからじゃないか
嫌ならC++使わなければいいだけ
だが、言いたいことがあるなら言うに決まってる

**デフォルトの名無しさん** · 2019/06/13(木) 20:22:59.74

らいなすは使ってないからc++嫌いでしょ

**デフォルトの名無しさん** · 2019/06/13(木) 20:28:55.21

使わなければいいはその通りだが
あいつらは人に使わせようと押し付けてくる圧が半端ない

**デフォルトの名無しさん** · 2019/06/13(木) 20:37:58.96

LinuxをC++で書き直せっていう意味不明な圧力をかけてくる馬鹿が数万人から数百万人規模でいて
そいつらに会うたびにC++、C++って言われるんだろ

誰だって切れるだろ

**デフォルトの名無しさん** · 2019/06/13(木) 21:28:37.75

最近は穏やかになったらしいぞリーナス

**デフォルトの名無しさん** · 2019/06/13(木) 21:36:46.00

怒るのは人を動かす最適な手段ではないということを学んだだけで
別に中身は変わってないだろう多分

**デフォルトの名無しさん** · 2019/06/13(木) 21:53:10.05

リーナスが言語つくればいいのに

**デフォルトの名無しさん** · 2019/06/13(木) 22:02:30.89

言語とか多分一番興味ないと思うぞ

**デフォルトの名無しさん** · 2019/06/13(木) 23:21:38.09

OSの仕様も自分で作ったんじゃないだろ
コピーレフト実装
述べて作らず

**デフォルトの名無しさん** · 2019/06/14(金) 02:07:33.43

言語関係での近年の快挙は、LLVM の成功だろうな。

**デフォルトの名無しさん** · 2019/06/14(金) 05:46:06.33

百理ある

**デフォルトの名無しさん** · 2019/06/14(金) 07:49:25.33

逆にGraal/Truffleは厳しそうよね

**デフォルトの名無しさん** · 2019/06/14(金) 15:58:39.91

だってoracle。。。

**デフォルトの名無しさん** · 2019/06/14(金) 16:23:41.29

>>403
最近どうなん？

**デフォルトの名無しさん** · 2019/06/18(火) 06:15:40.52

プログラム板にキチガイ降臨中！botに一晩も反応する異常さ
一般人(学校恩師)に殺害予告をしているのでスレ建て通報してください。
https://mevius.5ch.net/test/read.cgi/tech/1559872586/

142 名前：a4 ◆700L1Efzuv 投稿日：2019/06/18(火) 05:29:55 ID://qVkzO
>>141
名古屋の人な　俺ね、君の問題を大橋先生と混ぜないことにする。つまりね、
片桐孝洋のことをボコろうと思う。普通に顎の骨を折る。これくらいで警察来るか？
一般市民とかさ、普通にさ、俺らの秘密なんだけどさ、日本人なんて復活ねーから。

**デフォルトの名無しさん** · 2019/06/20(木) 23:38:07.49

vlangバイナリ公開延期だってよ
だめだこりゃ

**デフォルトの名無しさん** · 2019/06/20(木) 23:48:24.58

元からネタだろ

**デフォルトの名無しさん** · 2019/06/20(木) 23:59:27.68

rustで書かれたfacebookのlibraのmove言語やろうぜ！

**デフォルトの名無しさん** · 2019/06/21(金) 00:30:06.78

言語を変えればソフトウェア生産性が上がるとか嘘だから。

**デフォルトの名無しさん** · 2019/06/21(金) 00:34:28.05

新言語についていけない使えないおっさんを切り捨てる理由にできるので結果として生産性は上がるぞ

**デフォルトの名無しさん** · 2019/06/21(金) 03:34:45.89

C++でOSを作ったか作らなかったかの1bitは現実
現実が1bitなわけがないという直感や、生産性がなめらかに増減するイメージは嘘だった

**デフォルトの名無しさん** · 2019/06/21(金) 03:43:03.16

C2x まだ出ないの？
deferとかscope的なの入れてくれよ

**デフォルトの名無しさん** · 2019/06/21(金) 07:59:10.78

旧来の言語にdeferを入れるメリットって何？
c++やc#でも要望あるけど
本当に必要？
例外使うのとdefer使うのは違うけど一番大事なのは意識では？
どちらかをしっかり使おうと言う意識があればそれなりに仕上がると思う

**デフォルトの名無しさん** · 2019/06/21(金) 10:37:17.43

子プロセスとexitとatexitを使わないこと
イベントループでsleepやスレッドやプロセスを使わないこと
イベントループのデメリットを挽回すること

**デフォルトの名無しさん** · 2019/06/21(金) 20:19:24.08

>>411
ついていけないのはおっさんよりも若者だったりするわけだが。
で、そんなバカなことをやってる中でgoが幅を利かせ始めたというのが全てを物語ってる。

**デフォルトの名無しさん** · 2019/06/22(土) 01:32:25.74

PerlでできることはPythonでもできる感がある
PythonはPerlについていった
一方JSやGoはそもそもついていく気がないな

**デフォルトの名無しさん** · 2019/06/22(土) 02:34:05.57

PythonはPerlについていったの意味が分からん。
風が吹いたからやったみたいだ。