Rust part26

**デフォルトの名無しさん** · 2024/09/20(金) 22:18:38.38

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

公式ドキュメント
https://www.rust-lang.org/learn

Web上の実行環境
https://play.rust-lang.org

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※次スレは原則>>980が立てること

前スレ
Rust part25
https://mevius.5ch.net/test/read.cgi/tech/1722354386/

ﾜｯﾁｮｲスレ
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/

**デフォルトの名無しさん** · 2024/10/19(土) 01:37:07.63

>>373
大雑把に言えばそうだけど、Lisp系を関数型言語に含める人と含めない人（MLの系譜の言語だけが関数型言語）で意見が食い違って争いというか、Lisp系含めない人は比較的若い人が多いので、（関数型言語の条件にパターンマッチは必須じゃないなどと）訂正される。

若い人でも情報系の学校でLispを関数型言語って習うと思うが、世間一般に普及してるとは言い難い。

**デフォルトの名無しさん** · 2024/10/19(土) 02:59:24.38

ぶっちゃけLispってもう年寄りしか使ってないよね

**デフォルトの名無しさん** · 2024/10/19(土) 03:38:52.89

Lispは使うとか使わないとかじゃない
言語オタク度が一定のレベルに達すると常にそこにあることが見えるようになるものだ

**デフォルトの名無しさん** · 2024/10/19(土) 05:03:40.93

Erlangですねわかります

**デフォルトの名無しさん** · 2024/10/19(土) 07:03:26.74

昨日リリースされたRust 1.82で、やっと Box<T>::new_uninit() が安定化された

これ、前にトラブってた、bindgenにC++のコンストラクタを作らせるとデータが壊れる件の解決策になるやん！
と思って、喜び勇んでbindgenのリポジトリ見に行ったら、特に対応予定はないみたいだった

**デフォルトの名無しさん** · 2024/10/19(土) 10:54:30.72

Erlang の OTP に相当するのって Rust では何？

**デフォルトの名無しさん** · 2024/10/19(土) 13:15:37.02

>>383
OTP は役割が広すぎる。
どういうことを期待して「相当」と言ってるのかもうちょっとくわしく。

**デフォルトの名無しさん** · 2024/10/19(土) 15:16:05.33

>>383
tokio

**デフォルトの名無しさん** · 2024/10/19(土) 16:54:27.33

今ってtokio一人勝ちってことでいいの？
他のランタイムに勝ち目ある？

tauriはtokioだけど、一応抽象化して直接見えないようにしてる努力は感じられた
でも実際にtokio以外を混ぜたらどうなるのかな？　バグるなら抽象化した意味がないが

**デフォルトの名無しさん** · 2024/10/19(土) 19:34:22.94

>>372
定義域とか値域とか言い出してるあたりCS修めてない匂いプンプンするけど
百歩譲ってお前が言ってるのは型理論の範疇
型無の関数型がありえる以上関数型の定義とは直接関係ない

**デフォルトの名無しさん** · 2024/10/19(土) 20:35:05.03

>型無の関数型がありえる以上

ちょっと待って、それって「関数型」の定義が与えられてなけりゃ言えないことでしょ。

**デフォルトの名無しさん** · 2024/10/19(土) 22:16:54.49

関数型言語

**デフォルトの名無しさん** · 2024/10/20(日) 02:22:08.35

>>387
「関数」と「関数型」をごっちゃにしていない？
一連の話は「関数」の話で「関数型」じゃないよ．

そもそも「関数型」が一級オブジェクトの言語って存在するっけ？

**デフォルトの名無しさん** · 2024/10/20(日) 07:51:49.41

横からだが、全ての関数型言語は関数型も一級オブジェクトだよ。
意味が無いから無いだけで、map関数の逆バージョン（関数と値の立場逆転）も作れる。

pam _ [] = []
pam x (f:fs) = f x:pam x fs

pam 1 [(+1), (+2), (+3)] = [2,3,4]

**デフォルトの名無しさん** · 2024/10/20(日) 08:53:33.20

そうなのよね。CS振りかざして偉そうにしてるヤツは単に分かってないだけで的外れ

**デフォルトの名無しさん** · 2024/10/20(日) 09:40:05.16

>>391
関数型自体をオブジェクトにして保存したり実行時解釈したりってできたっけ？
Rustならジェネリック関数の型引数を変数に保存して使うイメージ．
C++ならテンプレート関数のテンプレート引数を変数にして実行時解釈する感じ．

スクリプト言語とかならできるかな？
Rubyはできた気がする．Pythonはどうだったっけ？
JavaScriptはプロトタイプチェーンだからできるか．JavaScriptのプロトタイプオブジェクトを型と言って良いのか微妙だけど．

**デフォルトの名無しさん** · 2024/10/20(日) 09:41:59.72

>>286
言語は関係なしにプログラマが優秀なだけだろ

**デフォルトの名無しさん** · 2024/10/20(日) 10:01:17.80

>>391
その例は単に関数がfirst classというだけじゃん

Idrisとかなら関数の型を受け取って別の関数の型を生成して返すような関数が作れるので関数の型もfirst classと言える

**デフォルトの名無しさん** · 2024/10/20(日) 10:37:31.29

歯透ける厨と同じ臭いがプンプンする

**デフォルトの名無しさん** · 2024/10/20(日) 13:32:41.76

？
どこからか「関数型」が指すのがfunctionalからfunction typeにすり替わってないか

**デフォルトの名無しさん** · 2024/10/20(日) 14:28:18.13

すり替わってるわけではない
>>390の最後の行から違う定義の話に逸れただけ
おかけで関数型を理解してない人が炙り出されて結果オーライ

**デフォルトの名無しさん** · 2024/10/20(日) 14:45:25.09

>>393
関数型言語はオブジェクト指向じゃないのでオブジェクトは無いが…。
（OCamlならやCommon-Lispならオブジェクト指向もサポートしてるので、出来るかもしれないが）

というか、「全ての関数型言語は」と書いたのに、あなたの出す言語に一個も関数型言語は入ってないのだが…。

普通にできるジェネリック関数とか区別せずに、全ての関数でできる。

f = (+1)
g = print
h = g.f
h 1 =
2
と出力

mapM_ h [1..3] =
2
3
4
と出力

sequence_ [h 1, h 2, h 3] =
mapM_の時と同じ結果

(sequence_.tail) [h 1, h 2, h 3] =
3
4
と出力

**デフォルトの名無しさん** · 2024/10/20(日) 14:51:20.54

あ、Haskell意外だと副作用のある関数の扱いは分からんが、普通の関数なら全ての関数型言語はできる。
むしろ、それがFP（関数プログラミング）で提唱されていること。

**デフォルトの名無しさん** · 2024/10/20(日) 17:34:13.10

そして誰もツッコミすらしなくなった・・・

**デフォルトの名無しさん** · 2024/10/20(日) 17:43:19.05

>>398
「関数型」言い始めたのはその前の>387からだろ．
>390はその流れを受けているだけ．

>>393
もともとの話が>338（1,2,が同じことを言っているのか別のことを言っているのか）の話なんだから，その文脈での"Object"だよ．
とりあえずWikipediaの「第一級オブジェクト」あたりを下敷きにすればいいんじゃね？
ja.wikipedia.org/wiki/%E7%AC%AC%E4%B8%80%E7%B4%

> 普通にできるジェネリック関数とか区別せずに、全ての関数でできる。
ということだけど，Haskellとかの関数型言語って，mapとかの高階関数そのものを引数にしたり戻り値にしたりできたっけ？

**デフォルトの名無しさん** · 2024/10/20(日) 17:45:10.88

そろそろRustの話しろよ

**デフォルトの名無しさん** · 2024/10/20(日) 17:58:45.35

>ということだけど，Haskellとかの関数型言語って，mapとかの高階関数そのものを引数にしたり戻り値にしたりできたっけ？
そらできるだろ
逆に関数がファーストクラスの言語でできないやつあるの？

**デフォルトの名無しさん** · 2024/10/20(日) 18:04:59.62

そもそもスレチで鮨
https://srad.jp/comment/135132

**デフォルトの名無しさん** · 2024/10/20(日) 18:07:49.61

>>402
>>387の言ってる関数型はfunction typeじゃなくてfunctional programming (languages)でしょ
「型無の関数型(言語)」の意味が通じてなさそうだからわざわざ言い直してるんじゃない？

**デフォルトの名無しさん** · 2024/10/20(日) 18:16:41.15

>>402
高階関数そのものを？
普通にできる。

f mf f xs = mf f xs

f map (+1) [1..3] = [2,3,4]

**デフォルトの名無しさん** · 2024/10/20(日) 18:20:10.46

>>406
もともとの話が>338（1,2,が同じことを言っているのか別のことを言っているのか）の話なんだから，その文脈での"関数"だよ．

> 「型無の関数型(言語)」の意味が通じてなさそうだからわざわざ言い直してるんじゃない？
「意味が通じてなさそう」とか言われても，「型無の関数型」自体が>387初出だから．>372に対してではなく自分に対して言い直しているのかしらん？

>407
できるのね．ありがとう．
そろそろ苦情が出てるしレスやめるわ．

**デフォルトの名無しさん** · 2024/10/20(日) 18:26:43.67

カリー化してxsを見た目上消すのは関数を返すとみなせる。

f mf f = mf f

**デフォルトの名無しさん** · 2024/10/20(日) 18:27:17.94

あいよ

**デフォルトの名無しさん** · 2024/10/20(日) 18:37:12.50

実現方法はキャプチャしたクロージャとかでもいいんだろ
他にも構造体とそれ用のメソッドを用意する形でも実現できる
関数という名に囚われて関数自体を返さなければいけないわけではない

**デフォルトの名無しさん** · 2024/10/20(日) 23:14:31.47

>>406
そりゃねえ、関数型言語の定義の議論をしているところにいきなり「型無の関数型(言語)がありえる」なんてのを
根拠に持ち出したら意味が通じないわ。

**デフォルトの名無しさん** · 2024/10/21(月) 09:54:32.14

もう病気の類なんじゃないのかなこの人は
アスペを認めるとザワザワして発狂してしまうの？

**デフォルトの名無しさん** · 2024/10/21(月) 14:02:30.37

>>392
話の流れは追ってないけど、東大文系学科中退のホリエモン、
(もともと所属学科が存在しない)ハーバード大で法律と数学
の単位を取って中退したビルゲイツと、Fラン大学でcs学科
専攻した人を比較するのはおかしいと思うな。

**デフォルトの名無しさん** · 2024/10/21(月) 22:09:07.40

>>378
パターンマッチ有り無しとか些末すぎる
lispマクロがなぜ強力なのかを理論的に説明できないやつは関数型言語が何かを理解できてない

**デフォルトの名無しさん** · 2024/10/21(月) 22:49:21.88

>>415
Lispのマクロは健全なマクロ(hygienic macro)ではない

**デフォルトの名無しさん** · 2024/10/21(月) 23:05:26.66

>>415
Lispではコードもデータも全部同じS式なので
S式で書かれたコード片をそのままデータとして扱えるから
というのがLispのマクロが強力な最大の理由

でもこれは関数型の話とはあまり関係と思う

**デフォルトの名無しさん** · 2024/10/22(火) 00:53:30.71

>>415
lispマクロと関数型言語は関係なくね？

**デフォルトの名無しさん** · 2024/10/22(火) 02:07:57.31

>>417
それがあのシンプルな言語仕様で実現できるのはラムダ計算を計算モデルに持つから
それが関数型言語のパワーを端的に表している

**デフォルトの名無しさん** · 2024/10/22(火) 06:02:08.36

>>415
lispマクロってCommon-Lispのマクロだよね？
SchemeやarcなどLisp系にも色々あるのに、Common-LispがいかにもLisp全体であるかのように言わないでいただきたい。

**デフォルトの名無しさん** · 2024/10/22(火) 21:51:40.07

ここはLispスレ？

**デフォルトの名無しさん** · 2024/10/22(火) 21:54:55.10

はい、そうです

**デフォルトの名無しさん** · 2024/10/22(火) 21:59:52.45

>>416
その点Rustは健全なマクロ(衛生的なマクロ)だから優れてるな

**デフォルトの名無しさん** · 2024/10/22(火) 22:50:58.38

>>419
ラムダ計算をベースとしてるのはLispに限った話じゃないので
Lispのマクロが他に比べて強力な理由にはならないよね？

**デフォルトの名無しさん** · 2024/10/22(火) 23:33:18.43

ラムダ計算が計算モデルに持つとは、例えば自然数やcons cellなどの値がすべてチャーチエンコーディング等の手法を利用してラムダ項による表現を持つという意味でしょうか
不可能ではないかもしれませんが、esolang以外ではあまり聞きませんな

**デフォルトの名無しさん** · 2024/10/23(水) 00:17:49.94

型無しのラムダ計算だと
|f| f(f)
で自分に自分を渡すみたいな気持ち悪い事ができるけど
一般的な関数型言語の型付きラムダ計算だと無理なんだよね

macro_rules! combinator { ($f:expr) => { ($f)($f) }; }
とかしてもコンパイルできるcombinator!(f)が存在しないはず
何か裏技あるかもしれないけど

**デフォルトの名無しさん** · 2024/10/23(水) 00:50:41.84

>>426
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=4e875602eb434b87811e7f8043069df1

別に裏技っぽいことは何もいらないが……

**デフォルトの名無しさん** · 2024/10/23(水) 00:54:14.76

>>423
健全なマクロは健全にしか出来ないんだよ。
意図的に衝突させるという自由は奪われる。
普通にしてたら健全なマクロになりつつ必要なときにはそうじゃない選択もあって欲しい。
健全なマクロが優れているということはない。
状況による。

**デフォルトの名無しさん** · 2024/10/23(水) 01:19:20.88

>>428
常に健全なマクロが優秀
https://ja.wikipedia.org/wiki/%E5%81%A5%E5%85%A8%E3%81%AA%E3%83%9E%E3%82%AF%E3%83%AD

**デフォルトの名無しさん** · 2024/10/23(水) 08:51:56.69

>>429
そういうなら根拠を提示しなよ

**デフォルトの名無しさん** · 2024/10/23(水) 09:46:54.15

まあ「コーダーのミスを許さない」というRustのコンセプト的には、余計な束縛をしない健全マクロのほうがビックリネタ減るわな。

**デフォルトの名無しさん** · 2024/10/23(水) 12:28:40.45

>>430
健全なマクロが優秀である根拠は>>429で示した

**デフォルトの名無しさん** · 2024/10/23(水) 12:55:59.93

>>427
macro_rules! combinator { ($f:expr) => { ($f)($f) }; }
↓
macro_rules! combinator { ($f:expr) => { (($f)($f)) }; }
にしないと抜け道があるなｗ
これだからマクロは苦手

**デフォルトの名無しさん** · 2024/10/23(水) 13:44:18.19

>>433
変えても何も変わらないし、関係ない
マクロで定義してるこのcombinatorを関数にして型を付けようとすると、Haskellで言うRank2Types拡張相当のリッチな型が必要で、それは必ずしも「一般的な関数型言語の型」ではないという話なら分かる

**デフォルトの名無しさん** · 2024/10/23(水) 14:16:45.58

>>423
proc_macro2 は

**デフォルトの名無しさん** · 2024/10/23(水) 15:08:29.40

>>432
書かれてないぞ。
どの部分のことを言ってる？

**デフォルトの名無しさん** · 2024/10/23(水) 15:49:07.30

お前らなんか作ってんの？

**デフォルトの名無しさん** · 2024/10/23(水) 18:08:14.82

身バレするから詳しいことは言えないんだ。
匿名前提のコミュニティの制約だからしょうがない

**デフォルトの名無しさん** · 2024/10/23(水) 20:22:42.34

>>428
Rustのmacro_rulesで宣言されるマクロは健全なマクロだけど
敢えてローカルスコープでマクロ宣言すれば不健全にローカル変数をそのまま使えるため両対応しているよ

>>435
手続きマクロは解析木を入力に自在だね

**デフォルトの名無しさん** · 2024/10/23(水) 22:12:20.50

>>426
untypedのラムダ計算をベースにしてる言語は
Lispだけでも関数型の言語だけでもないよね

>>415で言ってたLispのマクロが強力さっていうのは
Lisp特有の話じゃなかったってことでいいのかな？
だとしたら俺の考える強力さとは違ってた

**デフォルトの名無しさん** · 2024/10/24(木) 07:52:11.99

>>440
ASTを生成するコードを作れるのは大抵強力だろ。
全然別のアプローチとしてFORTHのIMMEDIATE POSTPONEみたいなのもあるけど。

**デフォルトの名無しさん** · 2024/10/24(木) 10:38:00.79

>>441
>ASTを生成するコードを作れる
若干意味が曖昧だけどASTをいじれれば強力ということなら
それはLispに限らないし関数型言語にも限らないので
関数型言語や関数型の定義との関連は薄い

**デフォルトの名無しさん** · 2024/10/24(木) 10:45:57.96

Rustは、ASTを使ったマクロが書けるということみたいですが、
それについて詳しい書籍は有りませんか？

**デフォルトの名無しさん** · 2024/10/24(木) 11:20:06.71

AST操作ができるという意味では、Lispマクロと同等の能力を持つマクロを持つ言語は他にもあれど
AST自体がS式で非常に簡潔だからマクロを書くために追加で学習する事項はほとんどないし、言語実装側もかんたん、というのがLispマクロの特色と言えるかもね

**デフォルトの名無しさん** · 2024/10/24(木) 11:46:01.90

>>443
本は知らんけどネットの情報だけで充分に学習出来た(経験談)

**デフォルトの名無しさん** · 2024/10/24(木) 12:02:07.13

>>443
本じゃないけどdtolnayのprocedural macros workshop
本ならManningのマクロ本

**デフォルトの名無しさん** · 2024/10/24(木) 14:32:18.09

>>442
だからそういうことでしょ。

マクロは関数型言語・関数型プログラミングと直接関係無いし、Lispマクロが強力なのはASTを直接操作するメタプログラミングだからであって関数～～と直接関係無い。

**デフォルトの名無しさん** · 2024/10/24(木) 16:46:48.00

昔CommonLispでゲームサーバーとか作ってたけどね。マクロ書くのが楽なのは良かったね。
どちらかというと稼働中なサーバー止めずに関数単位でビルドできるとか型を指定して最適化しやすいってのがいい所だったけど真っ当なlispはAllegro　Commom Lisp ぐらいしかないし、高くて勧められない。
今はもうrustの方が圧倒的に便利だし、マクロも必要十分と思ってる。s式だけに拘る理由はないよ。

**デフォルトの名無しさん** · 2024/10/24(木) 17:02:46.99

マクロで抽象度高めるのはいいけど、やりすぎると自分以外に分からないDSLになる。程々でいいのよ。
Rustは頑張ればなんでも書けるマクロがあるけど、クレート分けたりちょっと面倒なんで程々で収まる。素人が手を出さない。ライブラリ作るような人だけ頑張ればいいの。

**デフォルトの名無しさん** · 2024/10/24(木) 17:49:54.17

乱数が標準ライブラリーで使えないなんて言語ある？

**デフォルトの名無しさん** · 2024/10/24(木) 18:03:21.93

>>450
RandomStateが標準ライブラリにある
用途が極少数ならそのまま使ってもよい
用途が多数なら枯渇するためシードとして用いる
シードからの生成アルゴリズムはその性質に応じて無数にあるため標準ライブラリの対象外

**デフォルトの名無しさん** · 2024/10/24(木) 19:26:04.63

>>451
RandomStateで乱数生成やったことないんだけど具体的にどうやるの？

**デフォルトの名無しさん** · 2024/10/24(木) 19:51:11.78

use std::hash::{BuildHasher, RandomState};
let random_seed: u64 = RandomState::new().hash_one(0_u64);
あとはこのシードからお好みのアルゴリズムで生成

**デフォルトの名無しさん** · 2024/10/24(木) 20:30:14.64

>>453
結局標準ライブラリでは乱数生成できないってことね、OK

**デフォルトの名無しさん** · 2024/10/24(木) 20:46:28.29

>>454
乱数値を得られていることを理解できない？
シードは乱数値
別のものだと思った？

**デフォルトの名無しさん** · 2024/10/24(木) 21:26:15.04

いやシードと乱数は違うでしょ
「テスト用の適当な数値が欲しい」くらいの用途には使えないこともないけど

**デフォルトの名無しさん** · 2024/10/24(木) 21:35:49.51

理解できない人向けにどうぞ
use std::hash::{BuildHasher, RandomState};
let random_value: u64 = RandomState::new().hash_one(0_u64);
ここで得られる値は乱数値

(シード値としても使えることを書いただけで混乱して理解できなくなる人がいるとは想定できずにごめんね)

**デフォルトの名無しさん** · 2024/10/24(木) 22:02:47.28

さすが複オジクオリティw

>>454
素直にrand使ってね

**デフォルトの名無しさん** · 2024/10/24(木) 22:11:35.63

そんなんでごまかせるわけないだろｗ
ワロタ

**デフォルトの名無しさん** · 2024/10/24(木) 22:18:39.07

>>457で得られる値はgetrandomシステムコールや/dev/urandomから得ているので正真正銘の乱数値

**デフォルトの名無しさん** · 2024/10/24(木) 22:40:22.29

なんでこの程度の内容で議論が発生して第三者の解説が必要になるんだよ

**デフォルトの名無しさん** · 2024/10/24(木) 22:41:20.63

なんかnightlyにあったわ、つい最近のやつじゃん
そのゴミ生成器片付けとけよ

https://doc.rust-lang.org/nightly/std/random/index.html
https://github.com/rust-lang/rust/issues/130703

**デフォルトの名無しさん** · 2024/10/24(木) 22:52:15.99

Rustの標準ライブラリはHashMapなどで使われる安全なハッシュをサポートするために各OS環境から正真正銘の乱数を得ていてそれが>>457

**デフォルトの名無しさん** · 2024/10/25(金) 01:03:47.43

>>462
これまで、標準ライブラリで乱数をサポートしないのがRustらしさだと擁護してきた信者の気持ちを踏みにじるような機能追加だな

**デフォルトの名無しさん** · 2024/10/25(金) 01:53:32.00

>>464
あれはただの現状追認主義者だから、今日以降同じことを聞かれたら何食わぬ顔でstd::randomがnightlyにあるぞと言い始めるんだろう
まったくくだらない手合いだ

**デフォルトの名無しさん** · 2024/10/25(金) 02:10:41.48

それが複オジクオリティw

**デフォルトの名無しさん** · 2024/10/25(金) 11:31:42.20

Rust信者はRustが素晴らしいという前提から出発しているから、どんな現状でも追認するしかないんだよね

**デフォルトの名無しさん** · 2024/10/25(金) 11:40:01.29

信者てここには一人しかおらんやん
乱数とハッシュ値の違いも分からん信者wだけど

**デフォルトの名無しさん** · 2024/10/25(金) 20:43:07.49

iOS/Androidに対応した「Tauri 2.0」が公開～「Rust」が使えるアプリフレームワーク
https://forest.watch.impress.co.jp/docs/news/1628498.html

**デフォルトの名無しさん** · 2024/10/25(金) 21:10:43.49

くやしいのうｗくやしいのうｗ

**デフォルトの名無しさん** · 2024/10/25(金) 22:12:28.52

話題を変えて無かったことにして欲しいらしいw
追い裏金の話を闇バイト強盗の話で誤魔化そうとしてもダメだろ～

**デフォルトの名無しさん** · 2024/10/25(金) 22:52:21.52

>>454
できる
デフォルトハッシャーでも使っている

**デフォルトの名無しさん** · 2024/10/25(金) 23:39:25.27

乱数は用途によって必要な性質が違うのであまり標準に入れて欲しくないが
インターフェイスは標準で決めて欲しいとは思う。

**デフォルトの名無しさん** · 2024/10/25(金) 23:45:41.75

乱数を標準ライブラリに入れてない頭おかしい言語って他にもあるの？

**デフォルトの名無しさん** · 2024/10/26(土) 00:10:22.27

あっても使い物にならないのとかあるしなぁ。
ECMAScript (JavaScript) とか C とかの乱数は使いものにならないから実質的に無いのと同じだし、意味のないものを入れるくらいなら入れないほうがマシ。

**デフォルトの名無しさん** · 2024/10/26(土) 00:22:27.42

>>474
言語仕様に書かれていないという意味では、メジャーな言語で言えば Haksell とか Scheme とか。
「標準ライブラリ」というのがどこまでの範囲を指すかにもよるので微妙な話だが。

警備員[Lv.4][新芽] · 2024/10/26(土) 00:32:15.24

本当に頭のいい人たちが検証を重ねて世に送り出したモノが使い物にならないとはどういうところを言うのですか?

**デフォルトの名無しさん** · 2024/10/26(土) 00:44:55.37

本当に頭のいい人たちが検証を重ねて世に送り出したモノではないというところですね……