次世代言語21 Go Nim Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2020/04/19(日) 15:06:02.92

スレタイ以外の言語もok

前スレ
次世代言語18 Go Rust Elixir Kotlin TypeScript (実質20)
https://mevius.5ch.net/test/read.cgi/tech/1569866283/

**デフォルトの名無しさん** · 2021/03/25(木) 20:17:34.37

Ｇｏなんではやらんのか
例外ないとかきいてうえってなったけど
panicあったらいいじゃん

**デフォルトの名無しさん** · 2021/03/25(木) 21:02:19.53

普通に使われてるだろGO

**デフォルトの名無しさん** · 2021/03/25(木) 21:22:28.63

golangは悪くは無いんだが、この分野ではgoだよねというシーンが無いというか

**デフォルトの名無しさん** · 2021/03/25(木) 21:32:12.66

>>689
ScalaやClojureはnative compileできるようになったからJVMなくても動くよ
Scalaは普段使いしないけどClojureはCLIのツール作るのに便利

**デフォルトの名無しさん** · 2021/03/25(木) 22:20:19.07

Goはなにが駄目といってまず名前が駄目
あとエラー処理が面倒すぎる!

**デフォルトの名無しさん** · 2021/03/25(木) 22:27:03.79

そうなのか

**デフォルトの名無しさん** · 2021/03/26(金) 12:21:14.41

Elixir も、パターンマッチの戻り値で判定するから、
例外機構を使わないのが普通

YouTube で有名な、雑食系エンジニア・KENTA いわく、
Go だけは、普及のキャズムを超えた

Rust, Elixirは超えられなかった

Elixirは、VSCode, Remote Container(Docker)で、
文字列処理などのツールでは楽

**デフォルトの名無しさん** · 2021/03/26(金) 13:15:37.07

goはjavaのダメな点を修正したってだけな気もするが、だがそれがいい。

**デフォルトの名無しさん** · 2021/03/26(金) 13:17:22.27

こっとりーん

**デフォルトの名無しさん** · 2021/03/26(金) 16:43:15.75

>>693
native compileされたバイナリの依存関係はどうなってるの？

**デフォルトの名無しさん** · 2021/03/26(金) 21:27:15.39

あとGoはマスコットがキモすぎる

**デフォルトの名無しさん** · 2021/03/26(金) 21:32:54.53

lispよりマシ

**デフォルトの名無しさん** · 2021/03/26(金) 22:00:57.79

どっちもかわいいのに…

**デフォルトの名無しさん** · 2021/03/26(金) 23:26:17.82

gopherはもうちょいデフォルメすればかわいい(たぶん)
LISPは諦めてもろて

◆QZaw55cn4c · 2021/03/27(土) 00:16:06.66

>>701
Lisp にマスコットなんかあったっけ？

**デフォルトの名無しさん** · 2021/03/27(土) 00:40:16.75

https://i.imgur.com/KEJ1wAI.jpg

Goのひっぱたきたくなるやつよりはかわいいかな

**デフォルトの名無しさん** · 2021/03/27(土) 01:07:42.58

Javaの☆のやつのがきもい

**デフォルトの名無しさん** · 2021/03/27(土) 01:09:38.24

>>705
ごーふぁー君はイラっとくるキモさだが
こいつはリアルに純粋にキモいなw

**デフォルトの名無しさん** · 2021/03/27(土) 02:04:50.15

しかも名前がLispエイリアンとかふざけてる

**デフォルトの名無しさん** · 2021/03/27(土) 02:39:16.96

舌足らず(lisp)なのかな

**デフォルトの名無しさん** · 2021/03/30(火) 02:28:48.17

>>614
よく分からないなら職場の先輩に聞いてください。あなたのくだらない煽りに答える所ではありません。
無視しても良かったのですが、あまりにも気持ち悪すぎるので書いておきます

RustのRc、Arcと言っているのに、それにまったく気づかない文章読解能力の無さどうかと思います。
ARC (automatic reference counting) というのアルゴリズムです。
言うまでもなくRcは(reference-counting)です。単純な参照カウントを改良・自動化したのがARCです。
改良すべきは細かい話になりますが、1つ目が値の受け渡しによるコピーをなくすためのムーブ操作です。
理論上は、ムーブセマンティクスと呼ばれる、C++11/14からある所有権のムーブで、メモリーコピーを
防ぎます。これは「所有権」という言葉からRustを想像すると思いますが、まさしくそれでRustはムーブを
明示的にシンタックスで行いますが、VやNimbleなどはそれが自動化されます。strong/weak/unownedの
キーワードが必要になりますが、確かSwiftもARCです。Vの場合はmutが必要です
２番目にスレッド間でのデータが共有されるため、ここも単純なRCと比べて改良されています。
他にもRCに比べて利点があります。多くの単純な例ではオーバーヘッドと見做されるようなカウント操作を
行わないようになります。これは明示的に所有権の移動を行うRustと同じです。Rustの利点はGCが不明な
箇所では行われない事です

簡単に表せば、最も単純な例では関数を抜けた後にメモリ解放を必要とする変数のデストラクタ呼び出しを
コンパイラが自動的に挿入します。（ここでカウント操作はありません）ただ循環参照を処理する場合には
参照カウンターとは別にサイクルカウンターが必要となります。
Rustはunsafeを使わずとも「循環参照は、メモリをリークすることもある」と認めていますが、独自データ
構造で循環参照を作った場合、メモリーリークしないよう保証するのは実装者の自分自身が必要です。

JavaなどのGCがあるとされる言語は多くはこれを解決するために、マークアンドスウィープを使用して結果的に
Stop the Worldが発生します。これを解決して抑えるためコンカレントGCを作りましたが、常にGCされるので
に結果的にパフォーマンス低下します。

**デフォルトの名無しさん** · 2021/03/30(火) 09:11:59.50

>>710
RustのArcはAtomically Reference Countedの略な

**デフォルトの名無しさん** · 2021/03/30(火) 09:44:21.64

>>710
RcとArcの違いが全然分かってなさそうだけど大丈夫か？
カウント操作にアトミック命令使ってるかどうかだけなんだが。

**デフォルトの名無しさん** · 2021/03/30(火) 15:01:48.57

あまりにも気持ち悪すぎるwワロス
こいつらマウント取りたくて必死すぎだろwなんも反論になってないw
そんなにVが嫌いならダメな所あげたら良いのに

**デフォルトの名無しさん** · 2021/03/30(火) 16:45:27.89

ReScript良さそうだな

**デフォルトの名無しさん** · 2021/03/30(火) 16:50:58.07

見たくないものは見えないんだなあ

**デフォルトの名無しさん** · 2021/03/30(火) 18:21:16.68

最新の言語ってデバッグのための値操作とかどうやるんですか

ＪａｖａやＣだと変数値は変えられるのがデフォだから
一応元の処理は流したうえで値を書き換えてやるのが基本だった気がするけど
最近のってletでデフォconstじゃないですか

**デフォルトの名無しさん** · 2021/03/30(火) 22:53:17.23

デバッガからなら書き換えられるのも多いのでは？

**デフォルトの名無しさん** · 2021/03/30(火) 23:09:39.66

メモリ操作するよりセーブしてからファイル操作してロードできればいいのにな
GCにたとえるとストップアンドコピーってとこか

**デフォルトの名無しさん** · 2021/03/30(火) 23:25:34.80

純粋関数型言語で値の書き換えできるやつってあるのかな
HaskellとかElmで変数(とは言わないかもだが)表示しながらステップ実行とか式の評価の履歴みれるのは知ってるけど

**デフォルトの名無しさん** · 2021/03/30(火) 23:31:06.76

できない理由はないんじゃない？メモリ上に置かれないような最適化とかされない限り。

**デフォルトの名無しさん** · 2021/03/30(火) 23:58:23.09

24日、最新版となる「Julia 1.6」をリリースしたと発表した。

**デフォルトの名無しさん** · 2021/03/31(水) 00:29:37.70

ステップ実行やりたいがためにCのライブラリ呼び出しすんな派と
Cライブラリ呼び出しーや派
言語の流行はほぼこれで説明がつく

**デフォルトの名無しさん** · 2021/04/01(木) 20:50:12.42

「AsyncAPI Initiative」がLinux Foundationに参画、イベントドリブンなAPIの記述標準化を目指す
https://www.publickey1.jp/blog/21/asyncapi_initiativelinux_foundationapi.html

**デフォルトの名無しさん** · 2021/04/08(木) 04:40:42.69

>>710はスルー力検定？

**デフォルトの名無しさん** · 2021/04/08(木) 08:12:35.42

Rust言語でAndroidはより強固・安全に～GoogleがOS開発への導入を進める
C/C++コードの完全な置き換えは非現実的だが、新規コードへの活用は不具合の予防に効果あり
https://forest.watch.impress.co.jp/docs/news/1317183.html

**デフォルトの名無しさん** · 2021/04/08(木) 15:38:13.33

Rustほんと人気だね

**デフォルトの名無しさん** · 2021/04/08(木) 15:43:04.97

Javaのパクっておｋの勝訴の影響はどうなるの

**デフォルトの名無しさん** · 2021/04/08(木) 19:17:59.07

フェアユース

**デフォルトの名無しさん** · 2021/04/08(木) 21:12:55.75

googleがイニシアチブとってくるとかなり変わってくるな

ただfirefoxの遅れ取り戻すために作ったものが今後chromやedgeにも使われるとなるとどうなんだろ？

**デフォルトの名無しさん** · 2021/04/09(金) 01:33:52.25

GoogleのJavaはそもそもドロイドのアプリ層でしか使ってないとオモウ
なのでOpenJDK標準になってたりKotlin押しになってるアプリ開発環境は変るかも

**デフォルトの名無しさん** · 2021/04/09(金) 07:43:56.69

節子！それ盗作ちゃうで！インスパイアかフェアユースや！

**デフォルトの名無しさん** · 2021/04/09(金) 11:54:55.40

フェアユースの定義はどう見ても自然科学の管轄外なので
どちらかといえばコミュ力に近い能力が役に立つ事案

**デフォルトの名無しさん** · 2021/04/09(金) 20:44:39.89

やったもん勝ちでいいじゃんいいじゃん

**デフォルトの名無しさん** · 2021/04/10(土) 09:37:11.94

中国人みたいなこと言いよる

**デフォルトの名無しさん** · 2021/04/10(土) 09:56:08.18

そういう判決だったからな

**デフォルトの名無しさん** · 2021/04/16(金) 16:43:46.37

Go言語はos.Open()の戻り値のエラーはスルーできないのに
File.Close()の戻り値のエラーは普通にスルーできるのが気持ちわるくてやめた
（だいぶ前の話だから今どうなってるかは知らない）
せめて
_ := f.Close()
にしないと警告出すくらいのチェックはほしい

**デフォルトの名無しさん** · 2021/04/16(金) 17:20:31.43

>>736
どういう事？
voidではない関数の戻り値もかならず代入文によって捨てるコーディングがしたいってこと？

**デフォルトの名無しさん** · 2021/04/16(金) 18:28:46.84

>>737
そういうことです
当時そういうオプションとか探したけど見つからなかった

**デフォルトの名無しさん** · 2021/04/16(金) 20:10:02.72

>>738
うーん、他の言語もタプルとかとして受け取るなら一部だけ受け取るなんてこと出来ないんだし、一般的な仕様だと思うけどな。

**デフォルトの名無しさん** · 2021/04/16(金) 22:00:20.82

>>739
その部分だけで考えれば普通なんだけど言語全体で考えるとバランスが悪い感じ

Openの方は

f, err := os.Open(..) // errを使わないとコンパイルエラー
f, _ := os.Open(..) // 敢えてエラーチェックはしない

の二択だけど、Closeの方は

err := f.Close() // errを使わないとコンパイルエラー
_ := f.Close() // 敢えてエラーチェックはしない
f.Close() // エラーチェックしないの？

の三択になって、例外を使わずに変数の使用を強制することでエラー処理を明示的にするっていう
Go言語のスタンスがぼやける気がする
（そのスタンス自体が私の思い違いかもしれないけど）

Closeだとエラー無視しても大したことないけど、Chdirあたりだと
エラーをスルーできて例外も飛ばないのは危険さを感じてしまう
C言語と同じだと言えばそれまでだけど、変数の不使用はコンパイルも通さないのに
戻り値の不使用は警告も出さないっていう仕様はアンバランスだと思った

**デフォルトの名無しさん** · 2021/04/16(金) 22:43:53.10

>>740
errを使わないとコンパイルエラー、は違うよ。
_ = err
と捨ててもコンパイルエラーは避けられる。

例外を使わず、は正しいけど、変数の使用は実質強制されてない。

そういう、errを捨てるような書き方は、Javaのthrows書きたくないからとExceptionで大雑把に例外を握りつぶしてるメソッドみたいなもんで、躾の問題だと思うよ。

**デフォルトの名無しさん** · 2021/04/16(金) 23:39:26.78

>Javaのthrows書きたくないからと
極刑を望む

**デフォルトの名無しさん** · 2021/04/16(金) 23:53:42.11

「使う」の意味が曖昧だったかな
errを使うっていうのはエラーをチェックをするという意味じゃなく
コードの中でそのerrをどう扱うかを明示するって意味で書いた
（普通はエラー処理だけど）

>>741の例だと
_ = err
の中で「そのエラーはチェックしない」って意図を明示するためにerrを使ったことになる

_ := f.Close()
と
f.Close()
の違いは、下の書き方だと
・そこでエラーが返される可能性
・そのエラーを無視するという意図
の２つが伝わりにくくなること

もしかしたらコードを書いた本人もCloseがエラーを返す可能性を見落としてるかもしれなくて
そうなると想定しない状態でプログラムが動き続けて予期しない結果を招くかもしれない

もしコンパイラが戻り値を受け取らないパターンを弾いてくれればそういう見落としは防げるようになる
（そこで何も考えず戻り値を捨てる書き方をして予期しない結果になったならそれはもう躾の問題だけど）

Javaで例えるならExceptionで握りつぶすというよりcatch(Exception)して何もしない感じかな
自分は「飲み込む」と表現してる

**デフォルトの名無しさん** · 2021/04/17(土) 02:30:54.76

そんなに説明しなくても>>736だけで十分わかるよ
https://github.com/golang/go/issues/20803
https://github.com/golang/go/issues/20148 <― Rob Pike

**デフォルトの名無しさん** · 2021/04/17(土) 02:59:32.14

同じこと言った記憶あるなあと思ったら一昨年だった

https://mevius.5ch.net/test/read.cgi/tech/1567602619/927
927 デフォルトの名無しさん sage 2019/09/29(日) 19:19:16.64 ID:siw3JIyP
deferのためなんだろうけど、返り値全捨てでの握り潰しがコンパイルエラーにならないのは不満

**デフォルトの名無しさん** · 2021/04/17(土) 09:13:21.49

>>743-744
これは俺が不勉強だった。Issueも立ってたのか。
この議論は確かに有益だな。
issueで書かれてるように、deferで雑に閉じたいとかそういうケースが確かに漏れるか、ってぐらいだな。

うーん、なかなかバランス難しいもんだな。
とはいえRustみたいな気難しいコンパイラになられるのもなかなかだし。

**デフォルトの名無しさん** · 2021/04/17(土) 09:39:43.53

>>742
それは形式的に判断できるものじゃなくて、大雑把かどうかはその内容によるわな。
握りつぶしていい例外は存在するしそれは握りつぶしていい。

**デフォルトの名無しさん** · 2021/04/17(土) 11:00:28.48

throwsを書くのは関数や変数の型を書くことと同じ
それに対し「型を書かなくていい変数は存在する」と
言い返したのと同じだから痛快だね

全ての変数に型を書くのに今までどれだけ無駄な努力をしていたか

**デフォルトの名無しさん** · 2021/04/17(土) 12:15:23.05

>>748
Javaの検査例外はたしかに例外を型安全に扱うための仕組だけど、throwsを書かないのは
いわばvoid型のようなもので、型推論や動的型付けで型を書かないのとは違う。

**デフォルトの名無しさん** · 2021/04/17(土) 12:35:03.15

検査例外は「ただの大域jmp、しかも行き先が自分ではわからないやつ」っていう例外の悪い部分をうまく取り扱うための、そこそこいい仕組みだと思うんだけど、
いかんせん例外で対応することが多すぎた気がする。
このメソッドより外側には漏れ出しません、ってのは俺はいい宣言だと思うんだけどな。

今はかなり改善されてるんだろうけど、Javaにいい印象なくてなかなかJava系の言語やる気持ちになれないや…。

**デフォルトの名無しさん** · 2021/04/17(土) 13:37:15.96

Javaの例外処理は独自の例外クラスを作って低層の例外を取り込んでいく設計を知らないと
throwsの中身が膨れ上がって大変なことになるね
throwsが面倒っていう人は独自の例外クラスを作るのが面倒なんだと思う

GoとかRustは返せるエラー型が原則１つに制限されるから必然的にそういう設計を迫られる

**デフォルトの名無しさん** · 2021/04/17(土) 17:29:58.69

>>751
C#で言うInnerException的な？
まあ、業務ロジックでハンドリングするならアプリケーションで定義した例外に包むわな、確かに。

**デフォルトの名無しさん** · 2021/04/17(土) 22:12:19.57

Javaの検査例外は直上でのハンドリングを強制したのが失敗
Goみたいに一種類だけならまだしも、全種類はさすがにノイズになりすぎた
コンパイル時にチェックしたいだけならthrowsは暗黙的にコンパイラが生成し、最終的にキャッチされないままの例外があったら警告出すくらいで十分だったんだよ
結局Javaはmulti catch導入して、型を緩める方向に舵を切っちゃった

**デフォルトの名無しさん** · 2021/04/17(土) 22:53:24.71

throwsを暗黙的に生成するのはそんなに簡単じゃない気がする

**デフォルトの名無しさん** · 2021/04/17(土) 22:59:40.59

検査例外がというより、そこは例外に多彩な型を持たせること自体が失敗だったと言うべきだろうな。
例外というものは呼び出し階層の複数の階層を越えて上位層が下位層に依存してしまうんで
それをSOLID原則のに従うようきっちり依存性逆転させるのは骨が折れる。

**デフォルトの名無しさん** · 2021/04/17(土) 23:31:17.79

例外の型って大抵デバッグ目的で持たせるエラー情報の種別に応じて作られるわけだけど、
それってプログラムでのエラーハンドリングの制御とは異なる関心事なんだよな
それをごっちゃにしてしまったのがJava系の例外の失敗だと思う
プログラムの制御にとっては、成功、リトライ可能な失敗、リトライ不可な失敗、くらいの分類があれば十分で、それ以上細かくしてもノイズになるだけ

**デフォルトの名無しさん** · 2021/04/18(日) 00:47:22.61

プロセスやスレッドを起動するならexitでいいのに
シングルタスクでイベントループを終了しないで続けるためにthrowとcatchがある

上位層が下位層に依存するのはシングルタスクの欠点だが
それは旧世代言語の欠点だというのがなぜか定説になってしまった

**デフォルトの名無しさん** · 2021/04/24(土) 08:05:00.86

> 例外というものは呼び出し階層の複数の階層を越えて上位層が下位層に依存してしまう

これどういうこと？
上位下位というのは継承関係？コンポジションの関係？
いずれにせよピンと来ないんだが

**デフォルトの名無しさん** · 2021/04/24(土) 08:18:28.13

https://ideone.com/gvbImJ
class A {
void foo(int value) {
if (value != 42) throw new IllegalArgumentException();
}
}
class B {
void bar(int value) {
new A().foo(value);
}
}
class Ideone {
public static void main(String[] args) {
try {
new B().bar(0);
} catch (IllegalArgumentException e) {
e.printStackTrace();
}
}
}
たとえばこう↑したとき
どこに「上位層が下位層に依存してしまう」部分があるの？

**デフォルトの名無しさん** · 2021/04/24(土) 09:21:13.32

呼び出し海藻だろ

**デフォルトの名無しさん** · 2021/04/24(土) 10:02:36.99

>>759
A が IllegalArgumentException を投げるかもしれないという事実に Ideone が依存している。

**デフォルトの名無しさん** · 2021/04/24(土) 12:02:10.01

>>761
そのことをもって「上位層が下位層に」と表現しているってことでおｋ？

**デフォルトの名無しさん** · 2021/04/24(土) 12:15:38.69

だいたいその認識だったな、俺も。

**デフォルトの名無しさん** · 2021/04/24(土) 15:59:57.86

IllegalArgumentExceptionならまああまり依存してる感はないかもしれない
特に問題になるのは、FooException のように、barがfooに依存しているという事実を晒してしまうような例外を投げるケースだな

**デフォルトの名無しさん** · 2021/04/24(土) 20:23:23.95

やっぱJavaってオワコンなのか書店のJavaコーナーどんどん縮小してるし
以前はJavaコーナー一番広かったのに最近は大概他の言語(Python,JavaScriptなど)に負けてるな
何はともあれ業務上必要で売れるならある程度の面積は占めるはずなんだが

**デフォルトの名無しさん** · 2021/04/24(土) 21:19:03.86

俺がインターンの子にジャバをやらされる企業には絶対いくなといってるからだろうな

**デフォルトの名無しさん** · 2021/04/24(土) 21:44:59.76

新卒奴隷送り込む商売がやりづらくなっただけなのと
六ヶ月リリースになって書籍が追いつけなくなっただけでしょ。

「やさしいjava完全に理解した！」が減っていいことだ。

**デフォルトの名無しさん** · 2021/04/25(日) 04:27:20.08

リリースに出版が追いつかないだけの理由なら別に書籍のコーナースペースが縮小したりしないと思う
スペースが狭くなってるって事は需要の絶対数が減ってるからでJavaをやる新人ってのが減ったのは確実なんだろうな

**デフォルトの名無しさん** · 2021/04/25(日) 05:12:25.49

ただ単にkotlin使うようになっただけでしょ
まだまだjvm使ってるとこは多いと思う
今後はわからんけどね

**デフォルトの名無しさん** · 2021/04/25(日) 06:29:37.85

Javaが採用されてきた大きな理由の一つとして、実行環境としてUNIXをターゲットとする場合に、工員の開発PCがWindowsでも比較的支障が少ないってのがある
ただ最近では業務系でも開発にMac使うところは増えてきたし、
.NETもLinuxに対応したりNode.jsやPythonも主にUNIXで運用される主要なスクリプトの中では比較的Windowsの相性が悪くない方だったりして、ライバルも増えた
そもそもクラウドやコンテナの普及のせいで、直接Windows上で開発するということ自体がこれまでよりも困難になってきているし、Windows自体もWSLにより完全なUNIXを備えてしまったためこれまたJavaに拘る理由がなくなってしまった

**デフォルトの名無しさん** · 2021/04/25(日) 06:56:54.09

売り場面積が根拠ならjava云々でなく単に棚分類コードの関係で書店の扱いがいいジャンルに業界がシフトしてるだけの話よ。
鉄板はEXCEL本、python本、後は今ならディープラーニング関連かな。
オライリー・ジャパンですらwebもプログラミングも関係ない分野の本出してんの知らない？
javaならむしろ去年の六月にswingの新刊出てる。

>>769
kotlin使うようになったらからが理由ならscala使うようになった頃に取って代わってるだろうね。

**デフォルトの名無しさん** · 2021/04/25(日) 13:13:44.43

Java は、GitHub に銀行のソースコードを上げた人とか、
20年やっても年収200万円とか、IT 土方の多重請負構造で、
客には1人月100万円を請求しているはずが、80万円抜かれる

プログラマーに還元されない。
というか、関数内だけを作っている、
システムを作っていない単純コーダーだから

工事現場の見習いみたいな感じ

そのIT業界の多重請負構造を、
YouTube で有名な、雑食系エンジニア・KENTA が、
ばらしてしまったので、日本中に広まった

IT土方Java vs 自社開発系Ruby
SES のモロー vs KENTA

**デフォルトの名無しさん** · 2021/04/25(日) 13:18:37.83

推奨ＮＧワード：土方
推奨ＮＧワード：請負
推奨ＮＧワード：雑食
推奨ＮＧワード： KENTA
推奨ＮＧワード：自社開発
推奨ＮＧワード： Ruby
推奨ＮＧワード： SES
推奨ＮＧワード：モロー

**デフォルトの名無しさん** · 2021/04/25(日) 15:27:32.41

ちなみに言語じゃないけどDenoってこれから伸びる可能性あるんかね？

**デフォルトの名無しさん** · 2021/04/25(日) 15:38:35.22

もしかしてDartって若干伸びてきてる？

**デフォルトの名無しさん** · 2021/04/26(月) 08:02:24.55

Youtubeよりも5chで荒らしとして有名になってる件

**デフォルトの名無しさん** · 2021/04/26(月) 10:52:47.24

denoというかwasmがくるよ

**デフォルトの名無しさん** · 2021/04/27(火) 01:13:44.64

ということはRustが来るのか

**デフォルトの名無しさん** · 2021/04/28(水) 11:37:01.99

実際にプロジェクトで使ったことない人には定評あるね

**デフォルトの名無しさん** · 2021/04/28(水) 12:18:47.51

インフラとか組込とかミスの許されない/修正リリースできない現場は
形式証明機能のある言語を実際に使うとか聞いたで
F*だかidrisだか忘れたけど
ググったらRustでもCHCソルバでプログラム検証しまーすとか普通にでてくるし
クリティカルなとこではちゃんと使われてんじゃないかい

**デフォルトの名無しさん** · 2021/04/28(水) 13:26:23.31

大規模開発で使うっていう都市伝説が検証されるだけで一歩前進か

**デフォルトの名無しさん** · 2021/04/28(水) 16:26:28.05

そんなとこで使われてるわけねーだろ。。
その手の証明ツールを使ったことあればわかるがテストコード書く方がまだまともなアプローチだわ。
実際に使われてるのは不確定性をうまく論理化してプロトコル検証をするって使い道はある。
そう言う使われ方は分散アルゴリズム周りでは少しやってるとこもあるがほんの一部だわな。

**デフォルトの名無しさん** · 2021/04/28(水) 16:31:19.72

組込みRustという本がちょうどこの前出たぞ

**デフォルトの名無しさん** · 2021/04/28(水) 21:17:46.00

意図もわからずなんとなく動くからそのメソッドを使い、借用をつければなんとなく動くから借用し、
変更する予定はないけどmutし、ここはエラーだからとpanic!し、補足するなと言われているのに
catch_unwind/recoverして、血の涙で泣きながら渡されたソースをシコシコ直すおまいら・・・
rustのどこが良いか全然わからない

**デフォルトの名無しさん** · 2021/04/28(水) 23:38:51.58

マルチするな

**デフォルトの名無しさん** · 2021/04/29(木) 07:18:17.94

ちょっと改変すればどの言語にも適用できそう
というかそういう元ネタあんのかな？

**デフォルトの名無しさん** · 2021/04/29(木) 10:33:36.01

補足？足なんて飾りです！偉い人にはそれがわからんのです！

早くモデル検査が当たり前になぁれ！

**デフォルトの名無しさん** · 2021/04/29(木) 12:41:21.56

>>781
大規模開発ってプロジェクト人数が多そうだし精鋭にはならんだろうから寧ろ不向きだろうって直観的に思う

**デフォルトの名無しさん** · 2021/04/29(木) 12:43:37.33

>>783
この前それ立ち読みしたけど去年秀和から出た実践～の８章理解しとけば十分な気がした