「コンパイラ・スクリプトエンジン」相談室16

[646 デフォルトの名無しさん 2025/05/13(火) 09:27:05.77 ID:C/NhftFY]

Rustなら多い日も安心

[647 デフォルトの名無しさん 2025/06/30(月) 18:56:31.06 ID:YQWckD/5]

あれから色々勉強しましたがCoq(Rocq)での証明や Prolog で操作的意味論や型システムを書くのは楽しいです。
１１年かぁ。
$ apt install swi-prolog
$ vi e.pl
e(I,I):- integer(I).
e(E1+E2,I):- e(E1,I1), e(E2,I2), I is I1+I2.
:- e(1+2+3+4,I),writeln(I).
:- halt.
$ swipl e.pl
10
と簡単に言語を作れるので便利だし、最近はAIがプログラム書いてくれるし便利になったなぁ。

[648 デフォルトの名無しさん 2025/07/12(土) 09:48:27.49 ID:tq7D7WVM]

書き込み消えた気がする。

[649 デフォルトの名無しさん 2025/09/04(木) 08:13:08.15 ID:qpvksIhN]

もうどこも人がいない・・・