Size: a a a

Scala User Group

2020 August 11

λ

λoλzod in Scala User Group
там было
как ничего, не видишь какой красавэц?
источник

ИС

И С in Scala User Group
Есть докерфайл, в нем такие строчки
RUN sbt sbtVersion \
&& sbt update \
&& sbt compile \
&& sbt assembly
Показывает вот такую ошибку при сборке.
[error] Expected ';'
[error] Not a valid command: assembly
[error] Not a valid project ID: assembly
[error] Expected ':'
[error] Not a valid key: assembly
[error] assembly
[error]
Что это может значит? Мимикрокодил, который вообще не шарит в скале
источник

EB

Eugene Bosiakov in Scala User Group
посмотри в project/plugins.sbt наличие строчки с addSbtPlugin sbt-assembly
источник

ИС

И С in Scala User Group
Eugene Bosiakov
посмотри в project/plugins.sbt наличие строчки с addSbtPlugin sbt-assembly
Спасибо, исправил, но теперь появилось другое =)
источник

EB

Eugene Bosiakov in Scala User Group
источник

EB

Eugene Bosiakov in Scala User Group
западное скала комьюнити это просто 👌👌👌
источник

NV

Nikita Vilunov in Scala User Group
Свежак
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in Scala User Group
вау
источник

EB

Eugene Bosiakov in Scala User Group
сори, не заметил что уже обсудили
источник

EP

Easycore Programming in Scala User Group
Ребят а есть ли какой нибудь способ доказать что две анонимные функции эквивалентны? Например две функции тождества
λ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
 }

Но интересует эквивалентность именно анонимных функции
источник

P

Python in Scala User Group
Easycore Programming
Ребят а есть ли какой нибудь способ доказать что две анонимные функции эквивалентны? Например две функции тождества
λ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
 }

Но интересует эквивалентность именно анонимных функции
Кейс класс тоже не поможет. Если у вас будет два разных кейс класса с одной и той же функцией, то будет false.
источник

EP

Easycore Programming in Scala User Group
То есть в Scala этого доказать никак нельзя?
источник

НБ

Николай Бондаренко... in Scala User Group
Easycore Programming
Ребят а есть ли какой нибудь способ доказать что две анонимные функции эквивалентны? Например две функции тождества
λ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
 }

Но интересует эквивалентность именно анонимных функции
Встречный вопрос: как ты собрался доказывать, что они ведут себя одинаково на всей области определения?
источник

GP

Grigory Pomadchin in Scala User Group
Easycore Programming
То есть в Scala этого доказать никак нельзя?
лучше сформулируй что значит эквиваленты у тебя
источник

EB

Eugene Bosiakov in Scala User Group
покажи математически что ты хочешь сделать, пока ерунда какая-то
источник

ZM

ZLoyer Matveev in Scala User Group
Easycore Programming
То есть в Scala этого доказать никак нельзя?
@odomontois @alexknvl академический вопрос
источник

P

Python in Scala User Group
Easycore Programming
То есть в Scala этого доказать никак нельзя?
Смотря что значит "доказать". Можно, наверное, через макросы получить дерево, привести его к нормальной форме какой-нибудь и в разрезе этой нормальной формы доказать что они эквиваленты. Но, может, расскажете бизнес требование лучше? Почти уверен что проще можно решить.
источник

EP

Easycore Programming in Scala User Group
я хочу сказать что
((x: T) => x) == ((y: T) => y))
это эквивалентные лямбда термы в контексте α-эквивалентности
источник

EB

Eugene Bosiakov in Scala User Group
я думаю, в скале никак не докажешь, этож промышленный язык
источник

EP

Easycore Programming in Scala User Group
Eugene Bosiakov
я думаю, в скале никак не докажешь, этож промышленный язык
Спасибо
источник