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

**デフォルトの名無しさん** · 2014/07/20(日) 11:16:19.37

プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。

Wikiのまとめページ
http://www6.atwiki.jp/compilerandscriptengine/

**デフォルトの名無しさん** · 2025/05/12(月) 15:01:28.97

>>639
そういうコードはコンパイル時に計算されて
実行時には計算結果がそのまま代入されるけど
「コンパイル時に計算」の際の浮動小数点数での計算の扱いには無頓着で良いと思ってるの？

**デフォルトの名無しさん** · 2025/05/12(月) 15:24:34.24

C言語にはfesetenvのような浮動小数点数プロセッサのモード切替関数もあるからな
コンパイル時に計算してしまうことでそれが反映されなくなるのもそれはそれで問題になるケースがある

**デフォルトの名無しさん** · 2025/05/13(火) 09:27:05.77

Rustなら多い日も安心

**デフォルトの名無しさん** · 2025/06/30(月) 18:56:31.06

あれから色々勉強しましたが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がプログラム書いてくれるし便利になったなぁ。

**デフォルトの名無しさん** · 2025/07/12(土) 09:48:27.49

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

**デフォルトの名無しさん** · 2025/09/04(木) 08:13:08.15

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