JS
если это вопрос, то я его не понял
Size: a a a
2021 April 13
JS
что есть каноничная форма в данном случае?
JS
нет, красивость компрехеншенов в этом чате для всех очевидна, новизна в использовании теории чисел
JS
ну, так все умеют, а теорию чисел не все
JS
[ case n ^ 4 `mod` 15 of
0 -> "FizzBuzz"
6 -> "Fizz"
10 -> "Buzz"
1 -> show n _ -> error "impossible"
| n <- [1..100]
]MK
напишите на агде, с доказательством что импосибл
LV
У GHC есть какие-то инструменты чтобы в CoreExpr заменить одно подвыражение на другое? Например найти вызов
foo xs ys и заменить на bar (xs ++ ys) где foo и bar конкретные имена, а xs и ys – любые выражения. Типа как rewrite rules только своими руками https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/rewrite-rules.htmlMK
Плагин можно написать
MK
Можно произвольные core to core трансформации делать, вроде бы
LV
А где бы посмотреть, что похожее GHC уже умеет?)
LV
Наверное, реализация rewrite rules помогла бы
LV
Не хочется велосипед изобретать
MK
А то что тебе надо через рулс не делается?
LV
Почти делается
MK
Кстати, почему ссылка на мануал такой древней версии?