Ребят а есть ли какой нибудь способ доказать что две анонимные функции эквивалентны? Например две функции тождества λx.x == λy.y ((x: T) => x) == ((y: T) => y)) Ведь это два р...
То есть в Scala этого доказать никак нельзя?
Ребят такой тупой вопрос, есть вот у нас IO монада из cats.effect, как мне проверить на ней к примеру left identity law?
Ребята, а где можно найти старые выпуски scalalaz?
ну а как ещё, функциональные литералы в Scala разве не лямбда термы?
То есть я не могу агрегировать информацию о магазинах с ссылками на сам магазин?
И нужно бы количество попыток установить, а если someoperation(parameter) никогда не будет true?
Ребята, что можете посоветовать, как альтернативу Play Framework?
Apache (Async) Http Client?