等式を解くことを試みる

[kmyk]

• [x] 一般
  • [x] 構文木として a と b が等しいなら a == b を true にする
• [x] 整数について
  • [x] 右辺を 0 にする。つまり a == b を a - b == 0 にする
  • 両辺に分かれていたものがひとつの式になれば、別の最適化器 Jikka.Core.Convert.ArithmeticalExpr が頑張ってくれます
  • [x] 組み込み関数 f であって単射なものについて f(a) - f(b) == 0 を a - b == 0 にする
• [x] リストについて
  • [x] nil == cons(x, xs) を false に
  • [x] cons(x, xs) == cons(y, ys) を x == y && xs == ys に展開する
• [x] 真偽値について
  • [x] a == true を a に
  • [x] a == false を not a に

[kmyk]

@hotman78 いきなり FFT とかはしんどいと思うので、まずはこの最適化をやってみてほしい

• すでに似たようなことをしている最適化器を丸ごとコピペして修正して動かすのがよさそう
• テストの実行方法などは CONTRIBUTING.ja.md にあります
• 両側が定数の場合のものは src/Jikka/Core/Convert/ConstantFolding.hs にあるので参考になりそう
• a == b という式の構文木は内部的には Equal' t a b という形ですが、この t には型が入っています

https://github.com/kmyk/Jikka/blob/13accbadd4aeb7ce49e76742a8f89fd960b0c261/src/Jikka/Core/Convert/ConstantFolding.hs#L182-L207

[hotman78]

ありがとうございます。 早速始めてみようと思います。