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/17(木) 21:46:24.33

>>328
Haskellerの一部しか圏論言ってないと思うけど…。
（確かに声は大きいが）

モナドで躓く人や、モナドの理解がまだ浅い人は圏論言わないし、OCamlやF#、SMLな人も圏論言わない。
（そして、モナドを深く理解した人でも全員が圏論言うわけではない）

Lisp系の人は言わずもがな。

関数型言語を使ってる人の中でも圏論言う人はごく少数。
（繰り返すが、一部の人の声が大きいのは認める）

**デフォルトの名無しさん** · 2024/10/17(木) 21:51:50.24

>>340
そこで具体的に説明すればワンパンで終了なのにしないんだよ
おれは知ってるの匂わせだけ
そういうヘタレいらーねから

**デフォルトの名無しさん** · 2024/10/17(木) 21:58:01.60

>>338
Rustの説明としては弱いかな。
２はJavaもC#も持ってるし。

自分は４に重きを置いた手続き型言語って位置付けだな。
マルチスレッドプログラミングで４が重要。
（ただし、Haskellは遅延評価なので４を生かしきれず、Idris２の様な正格評価版Haskellを生み出した）

あとは、C並みに速いだけだったらOCamlやSMLも同じこと言ってるので、２，４を満たしつつGCが無いのがRustの特徴だと思う。

**デフォルトの名無しさん** · 2024/10/17(木) 22:51:01.11

言語が生き残るかどうかは
ある程度の広さがある分野においてその言語が必須かどうかで決まる
例えば広まってるOS環境での主開発言語と公式で定められたりウェブブラウザのように特定言語が強いられるような環境における利用必須もあれば
C言語のように速さと省メモリ性で他とは大差の唯一性による必須もある

つまり関数型によるメリットなんて二の次なのだ
C言語と同等の速さと省メモリ性を持ちつつ様々な安全性も保証するRustはCに替わって広い分野での必須言語となりつつある
そのRustがたまたま関数型の特徴を多く兼ね備えて非常に使いやすいというだけにすぎない

**デフォルトの名無しさん** · 2024/10/17(木) 23:33:24.78

突然の演説

**デフォルトの名無しさん** · 2024/10/18(金) 00:37:38.20

>>346
>C言語と同等の速さと省メモリ性
誇大広告を鵜呑みにする集団幻覚。

**デフォルトの名無しさん** · 2024/10/18(金) 03:49:07.30

>>344
おまえが馬鹿なだけ
普通の頭があれば匂わせで全部判る

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

えっAPLもっ？

**デフォルトの名無しさん** · 2024/10/18(金) 08:57:56.68

>>340
旧帝大の工学系ってこんなにレベル低いのか
日本終わっとるな

**デフォルトの名無しさん** · 2024/10/18(金) 09:16:52.85

いやまあ>>338 の1と2は全然別のことを言ってるだろ
これで説明が足りないと感じる人はFirst class objectの意味を知らないとかか？

**デフォルトの名無しさん** · 2024/10/18(金) 09:31:39.70

関数を組み合わせるってコンビネーターがないと組み合わせられないからね
ファーストクラス関数がないとコンビネーターは無理だからな

**デフォルトの名無しさん** · 2024/10/18(金) 09:32:07.67

解説したらワンパン終了というが、こう言う時の解説って案外難しいんだよな
相手が「first class object」の意味を知らないのか、「関数」の意味を知らないのか、日本語の文法を知らないのか、それとも文を読む気がないのか、はたまたレスバで勝ちたくて因縁付けてるだけなのか
相手の状態によって適切な解説は異なる。相手の知識をエスパーして解説を始めても意外とフィットしなくてワンパンで終わらない

掲示板でそこまでの手間をかけても、相手がレスバで勝ちたいだけだったら何も得られない。だから馬鹿にして去るのが最適解になってしまう。

**デフォルトの名無しさん** · 2024/10/18(金) 11:13:30.31

>相手の知識をエスパーして解説を始めても意外とフィットしなくて

レスバが目的なら判らないフリしてるだけだからフィットする訳がない

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

>>348
その文言に騙されたヤツはほんと多いと思う

**デフォルトの名無しさん** · 2024/10/18(金) 13:34:55.49

>>339
例えばC言語の場合は関数は第一級オブジェクトじゃないけど、それは知ってる？

**デフォルトの名無しさん** · 2024/10/18(金) 13:52:02.38

>>353
「プログラムは関数定義の集合であり、関数呼び出しによってそれらを組み合わせる」と書いてあるようにコンビネーター前提とした関数の組み合わせの話ではないでしょ

それにコンビネーターなくても関数合成も可能だし関数がファーストクラスじゃなくてもファーストクラス関数風に扱える言語要素があればコンビネーターを使える

そもそも>>388の引用元が関数型の定義でも関数型言語の定義でもなくて関数型言語と呼ばれるものに多く見られる特徴の一部を列挙してものでしかないから関数型(言語)の定義だと思って読んではいけない

**デフォルトの名無しさん** · 2024/10/18(金) 14:00:22.06

>「1. プログラムは関数定義の集合であり、関数呼び出しによってそれらを組み合わせる。」

関数型言語でも関数定義以外にもモジュールや型や変数の定義があるので
関数定義の集合というと言い過ぎ

厳密な話ではなくプログラムの捉え方のようなざっくりした話であれば
C言語で書いた手続き型的なプログラムでも1は成り立つので
結局何が特徴だと言いたいのかわからない残念な文章

**デフォルトの名無しさん** · 2024/10/18(金) 14:26:18.56

パラダイムはプログラムの構成の話なので、 C でオブジェクト指向的なプログラムを書いてもいいし関数指向的に書いてもいい。
言語としてクロージャがなくても構造体と関数の組をクロージャと見做して構成することも出来る。
ただ、なるべく直接的に言語の機能としてサポートがあるに越したことは無いし、常識的には言語が想定している形でプログラムを構成したほうが楽ってだけの話だ。

言語の機能での分類は「だいたいこっち寄り」くらいのことしか言えない曖昧なもんだわ。

**デフォルトの名無しさん** · 2024/10/18(金) 17:16:35.88

>>358
一連のレスで唯一CSの教養を感じるわ
そのとおりであれは定義でもなんでもなく、手続き型言語に関数風味をつけた言語の紹介文でしかない
1，2が当然のように別物といってるやつは計算基礎論履修してないわな

それでも1をエスパーすると関数の集合でなく合成と訂正すればまぁ理解できる
となると関数がビルディングブロックなので2の説明は不要となる

あとファーストクラスオブジェクトってのも怪しい名称だわな
手続き型言語でインラインで関数定義できる程度のことをかっこつけて言ってるだけしか聞こえん

**デフォルトの名無しさん** · 2024/10/18(金) 17:47:07.37

>>361
さすがにその理解で他人をけなすのは……

第一級オブジェクトはwikipedia参照したほうがいいな。意味としては「関数の定義域・値域として他のオブジェクトと同様に使える」ということだから、単にプログラマが使えるということでは無いよ。

>>338の1は関数の集合を定義域値域にできるとは言っていない。
2は関数集合(の部分集合)を定義域・値域にできるという話だから、基本的に1とは別の話。

**デフォルトの名無しさん** · 2024/10/18(金) 18:29:51.87

＞1. プログラムは関数定義の集合であり、
＞関数呼び出しによってそれらを組み合わせる。
関数定義の集合はプログラムってことだから
例えば{fの定義,gの定義}はプログラムだろ
fの定義が　f (x) ＝fの式　でgの定義が　g (x) =gの式とすると
fの引数xにgを入れてを呼び出して f (g) =fの式の中のxをgに置き換えた式　になって
f ( g) =f式の中のxをgに置き換えた式　も関数定義だから
{fの定義、gの定義、fgの定義｝もプログラムってことでしょ
３によってプログラムの実行とはfgの式とかを評価することでしょ

**デフォルトの名無しさん** · 2024/10/18(金) 19:42:44.39

>>362
それは手続き型言語の考え方
定義域、値域とかいいだしたら論理が循環する

**デフォルトの名無しさん** · 2024/10/18(金) 19:55:50.08

363が全然判ってなくて草

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

>>357
関数ポインタはあるじゃん
クロージャみたいに環境を持った関数は作れないけど

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

first class objectってのは、無名で扱える、関数の引数に渡せる、関数の返却値として返せる、を満たすものだよ
C言語の関数は必ず関数名を与えないといけないからfirst class objectではない

学部レベルの講義で独自理論なんか扱うわけない。>>338 で引用した説明が通説になっている
それを迂闊にも否定した >>339 は反省しろってことだな

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

>>367
ラムダ算法をベースに考えた場合ファーストもくそもねーんだよ
全部関数
まじCSの教養ないぞお前

**デフォルトの名無しさん** · 2024/10/18(金) 22:19:50.60

>>348
んでも、上で書いた通りOCamlやSMLも誇大広告してたし、さらに言えばJITコンパイラ出した当初のJavaやC#も似たような誇大広告してたんだけどね。

**デフォルトの名無しさん** · 2024/10/18(金) 22:55:23.05

「関数型プログラミング」にも「第一級オブジェクト」にも言語の垣根を超えた一般的な定義というものはない
「オブジェクト指向」を自称する言語たちがそれぞれ微妙に異なるオブジェクトを実装しているのとほぼ同じ

**デフォルトの名無しさん** · 2024/10/18(金) 23:00:20.33

てかどうでもいいけどfirst-class objectって英語圏ネイティブからするとどういう印象を受ける言葉なんだろうね
masterとかblacklistなんかとは比べ物にならないレベルで明確にpolitically incorrectな気がするけど

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

>>364
それは流石に関数に対する理解が浅いかと。

関数は要素と像のペアの集合なんだから、定義域と値域は関数に必ず存在する重要な性質だろ。
それを無視するのは関数の本質を無視するようなもの。

「定義域、値域とかいいだしたら論理が循環する」と言うなら、>338 に関連して定義域、値域よりも関数の定義に近い重要な性質って何よ？

**デフォルトの名無しさん** · 2024/10/18(金) 23:28:21.46

理解不足かもしれないけど「『副作用の無い、単に写像として表現できる関数』を中心に組み立てる」くらいの認識じゃだめなの？
数学的な意味での定義域はプログラミングでは成り立たない気がする
引数の型がi32なら、その関数には32ビット整数の取り得る値すべてが入るわけだし
ゼロ除算は数学上は定義できないけど、プログラムとしては書けてしまうから「考慮しない」わけにはいかず、エラー処理が必要なわけで

**デフォルトの名無しさん** · 2024/10/18(金) 23:35:59.34

ガロア体の話？

**デフォルトの名無しさん** · 2024/10/18(金) 23:56:20.42

モダンな関数型プログラミングのサポートもメモリ安全性も今では必須の前提になっている
そのうえでC言語と同等の速さと省メモリ性を兼ね備えたRustだけが核心部でも使われ生き残るのさ

**デフォルトの名無しさん** · 2024/10/18(金) 23:59:05.04

>>375
>そのうえでC言語と同等の速さと省メモリ性を兼ね備えたRust
ダウト

**デフォルトの名無しさん** · 2024/10/18(金) 23:59:21.56

プログラミングの上ではある程度の割り切りはしてると思う
例えば「入力の文字列を2回繰り返した文字列を返す (例. ABC -> ABCABC) 」関数は、理想的には任意の文字列を渡せるけど、PCのメモリを食い尽くすほど長い文字列を与えたらプログラムが停止するよね
だからといって「この関数は純粋ではない」とは言わなくて、それでも実用上は関数として扱う、といったところはあると思う

**デフォルトの名無しさん** · 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を使ったマクロが書けるということみたいですが、
それについて詳しい書籍は有りませんか？