Подозреваю что он хочет функции, а не типы сравнивать. То есть у него _ + 3 и _ + 4 - это разные вещи. Не первый раз встречаю такое желание, иногда люди хотят кеширование, например, организовывать так. Делать Map с функциями и параметрами. Короткий ответ на это обычно - нет, нельзя так сделать в общем случае.

Какие-то хитрости могут быть возможны (типа сохранения текста или дерева через макросы и т.п.), но всё это жутко и страшно. Лучше решить проблему по-другому, в крайнем случае сделай свой ADT для свого языка, если уж так охота пострадать, и уже эти ADT сравнивать.

ну можно создать объект терм и определить для него законы

ага в таком случае надо свой язык делать и в мапу какуюто кидать термы

Ну функции равны если для каждого значения из области определения одинаково значение. Но если нет редукций этого не узнать

Надо же вычислять выражение для выяснения такой эквивалентности

Я бы не обобщал, для Unit => Unit очень даже можно без всяких вычислений про эквивалентность всё узнать :D

пример с гитхаба

Ну вот это равенство на типах. Внутри могут быть куча выражений, который до юнита редуцируются

+

а как вообще альфа эквивалентность опредляется для выражений простой типизированной лямбды?

где-то определение есть?

а можно же сравнить байткод

но частенько идентичные функции будут иметь разный байткод

если там есть строковые литералы же не будет работать?

а еще лямбды можно сериализовать

Где Олеги

где-то в кишках скаларефлекта я видел сравнивалку функций, через деревья

Ну тут получается равенство термов это равенство записанных expression с точностью до названия переменных.

В хаскеле выражения упрощаются до почти нормальной формы. Видимо без этого равенство тяжело доказывать. В скале нормальной формы вроде нет)

Это типа? https://github.com/scala/scala/blob/d175aece0892a5f3257ff967707937e428b11f24/src/reflect/scala/reflect/internal/Trees.scala#L141