к
Size: a a a
2020 November 20
DB
а, прекол
DB
тогда почему это ничего не даст?
DB
rewrite достаточно просто написать
к
А такой вопрос:
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
это не входит в список требований в задаче
кек, значит всё сильно проще?
AV
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
задача решена
Уверен?
к
rewrite достаточно просто написать
ну вот это я думаю и есть смысл задачи
AV
что (Add 1 (Add "x" 2)) упростит до Add 3 "x" ?
DB
Так должно всё таки?
DB
Я запутался)
AV
У меня упрощает
к
что (Add 1 (Add "x" 2)) упростит до Add 3 "x" ?
ну в задаче не сказано такое делать
DB
У меня упрощает
Двигаешь константы?
AV
Ну если делать то делать хорошо
MK
У меня упрощает
А не должно
AV
А то будут говорить, что хаскелисты в башне
DB
А не должно
вот почему так 50 строк)