λ
как ничего, не видишь какой красавэц?
Size: a a a
λ
ИС
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
project/plugins.sbt
наличие строчки с addSbtPlugin sbt-assemblyИС
project/plugins.sbt
наличие строчки с addSbtPlugin sbt-assemblyEB
NV
EB
EP
λx.x == λy.y
((x: T) => x) == ((y: T) => y))
case class F[T]() extends (T => T) {
def apply(x: T): T = x
}
P
λx.x == λy.y
((x: T) => x) == ((y: T) => y))
case class F[T]() extends (T => T) {
def apply(x: T): T = x
}
false
.EP
НБ
λx.x == λy.y
((x: T) => x) == ((y: T) => y))
case class F[T]() extends (T => T) {
def apply(x: T): T = x
}
GP
EB
ZM
P
EP
((x: T) => x) == ((y: T) => y))это эквивалентные лямбда термы в контексте α-эквивалентности
EB
EP