アカウント名:
パスワード:
従来、パターンマッチングによる置き換え最適化はコンパイラへの埋め込みでした (sinとcosをsincosにまとめるなど)。そのため、非標準ライブラリを使用するコードの自動最適化には限界がありました (まぁ、C言語にはCoccinelleというセマンティックパッチ言語もありますが)。このNimのTerm rewriting macros [mit.edu]は待ち望んでいた機能ですね。
とはいえ、ざっと見た限りでは、精度と値域と速度のトレードオフの問題や、構造体に中間物を入れる場合 (例えば平方根を計算しないで比較しソートする場合)など、自動最適化が難しい面への解決策とまでは行かないような印象です。
おっと、間違えた。Coccinelleはツールで、セマンティックパッチ言語はSmPLです。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
Stay hungry, Stay foolish. -- Steven Paul Jobs
そうそう、この機能が欲しかった (スコア:1)
従来、パターンマッチングによる置き換え最適化はコンパイラへの埋め込みでした (sinとcosをsincosにまとめるなど)。
そのため、非標準ライブラリを使用するコードの自動最適化には限界がありました (まぁ、C言語にはCoccinelleというセマンティックパッチ言語もありますが)。
このNimのTerm rewriting macros [mit.edu]は待ち望んでいた機能ですね。
とはいえ、ざっと見た限りでは、精度と値域と速度のトレードオフの問題や、構造体に中間物を入れる場合 (例えば平方根を計算しないで比較しソートする場合)など、
自動最適化が難しい面への解決策とまでは行かないような印象です。
Re:そうそう、この機能が欲しかった (スコア:0)
おっと、間違えた。Coccinelleはツールで、セマンティックパッチ言語はSmPLです。