Oℕ
сайт лежит
неправда
Size: a a a
2020 December 22
A
arr.collect{ case x if x % 2 == 0 => x}
Спс. я вот этот IF case x if x %2 == 0 еще бы долго пытался допереть что там нужен :(
M
теперь нет
M
в перый раз был недосегаем
Oℕ
ну сегнули бы в gist.github.com
Oℕ
ага, я понял проблему
к несчастью, решение этой проблемы требует подходов, которые могут оказаться проблемнее бойлерплейта
к несчастью, решение этой проблемы требует подходов, которые могут оказаться проблемнее бойлерплейта
Oℕ
первый подход - это рекурсивные схемы (ищите droste scala), но т.к. вам нужно смотреть минимум на два уровня это уже не самый тривиальный рефолд, сходу не вспомню какой
Oℕ
второй подход не буду упоминать
M
хорошо, спасибо
Oℕ
но в принципе, можете воспользоваться хотя бы простой формой рексхем
M
рексхем - рекурсивные схемы имеется ввиду ? Да, сейчас читаю про них
Oℕ
типа
берёте этот Fix
@deriveTraverse
sealed trait ExprTreeF[+A]
case class Num(n : Int) extends ExprTreeF[Nothing]
case class Sum[A](l: A, r: A) extends ExprTreeF [A]
...
берёте этот Fix
Oℕ
получаете
type ExprTree = Fix [ExprTreeF]
type ExprTree = Fix [ExprTreeF]
Oℕ
и дальше можете матчить
def simplify = tree match{
case Fix(ft) => ft.map(simplify) match{
case Sum(Fix(Num(_)), Sum(Fix(Num(_)), Fix (Num(_))) =>
...
case other => other
}
def simplify = tree match{
case Fix(ft) => ft.map(simplify) match{
case Sum(Fix(Num(_)), Sum(Fix(Num(_)), Fix (Num(_))) =>
...
case other => other
}
Oℕ
т.е. в среднем получаете чуть больше бойлерплейта на ваших важных случаях, зато не нужно руками вызывать симплифай рекурсивно для поддеревьев
M
выглядит здорово! спасибо, буду сейчас пробывать!
Oℕ
только аннотацию правильную возьмите
deriveTraverse, а не autoFunctor
deriveTraverse, а не autoFunctor