MK
Из хорошего классического фильма
Size: a a a
2020 November 20
AV
Ты там схемы рекурсии пилил?)
я не такой умный
AV
Просто привёл к канонической форме и обратно
AV
типа simplify = fromQ . toQ
DB
>:(
MK
Normalization by evaluation?
MK
Смотри какие умные слова я в аспирантуре выучил!
AV
опять какие-то умные слова
DB
А такой вопрос:
Mul (Mul (Const 5) (Var "a")) (Const 6)
должно свернуться в
Mul (Const 30) (Var "a")
?
Mul (Mul (Const 5) (Var "a")) (Const 6)
должно свернуться в
Mul (Const 30) (Var "a")
?
DB
Ну не подсказывай(
к
simplify expr =
Uniplate.rewrite expr \case
Add (Const a) (Const b) -> Const (a + b)
Mult (Const a) (Const b) -> Const (a * b)
Mult (Const 1) b -> b
Mult (Const 0) _ -> Const 0
Mult a (Const 1) -> a
Mult _ (Const 0) -> Const 0
Add (Const 0) b -> b
Add a (Const 0) -> a
other -> other
задача решена
Uniplate.rewrite expr \case
Add (Const a) (Const b) -> Const (a + b)
Mult (Const a) (Const b) -> Const (a * b)
Mult (Const 1) b -> b
Mult (Const 0) _ -> Const 0
Mult a (Const 1) -> a
Mult _ (Const 0) -> Const 0
Add (Const 0) b -> b
Add a (Const 0) -> a
other -> other
задача решена
DB
я так понимаю надо подвигать константы вправо масимально.
DB
И дальше просто всё
DB
simplify expr =
Uniplate.rewrite expr \case
Add (Const a) (Const b) -> Const (a + b)
Mult (Const a) (Const b) -> Const (a * b)
Mult (Const 1) b -> b
Mult (Const 0) _ -> Const 0
Mult a (Const 1) -> a
Mult _ (Const 0) -> Const 0
Add (Const 0) b -> b
Add a (Const 0) -> a
other -> other
задача решена
Uniplate.rewrite expr \case
Add (Const a) (Const b) -> Const (a + b)
Mult (Const a) (Const b) -> Const (a * b)
Mult (Const 1) b -> b
Mult (Const 0) _ -> Const 0
Mult a (Const 1) -> a
Mult _ (Const 0) -> Const 0
Add (Const 0) b -> b
Add a (Const 0) -> a
other -> other
задача решена
рерайт походу этим и занимается