Ребят а есть ли какой нибудь способ доказать что две

Question

Ребят а есть ли какой нибудь способ доказать что две

анонимные функции эквивалентны? Например две функции тождества
λx.x == λy.y
((x: T) => x) == ((y: T) => y))
Ведь это два разных инстанса Function1, следовательно сравнение всегда возвращает false
Можно конечно сделать это через кейс класс
case class F[T]() extends (T => T) {
def apply(x: T): T = x
}
Но интересует эквивалентность именно анонимных функции

#programming #russian #scala

0

11.08.2020