СП
Скала по выразительности уступила только dyalog apl
Size: a a a
2020 October 16
λ
у меня весь build.sbt красный и при попытке сбилдить проект фейлится, потому что org.junit не импортится
как-то не так заимпортил
E
как-то не так заимпортил
только что сделал все сначала. распаковал архив, в идее Open or import распакованную папку, и меня там встречает вот это
λ
подробней ошибку найди
E
короче, видимо проблемой было то, что я рут распакованного архива перейменовал из example в свое название. только что поменял ждк с 14 на 1.8, сделал сбт релоад и, о чудо, сработало
E
а, и ждк палки в колеса ставил
2020 October 17
ΑZ
Как скальщик (кстати, в скале большая часть вышеперечисленного уже есть, и очень радует, что добавляют в шарп) могу сказать, что тоже есть препятствия для перехода на новые версии JVM (например, Spark и Flink только недавно научились работать с 11 версией (когда вышла 14)).
Скажите плз, это правда что такие проблемы в скалке? Или "прост не юзайте спарки, а котошейплессы"?
Скажите плз, это правда что такие проблемы в скалке? Или "прост не юзайте спарки, а котошейплессы"?
λƒ
Спарк это отдельная кухня
Oℕ
Ну вообще все фреймворки, которые вспарывают кишки JVM очевидно испытывают проблемы с переходом на новые версии
Oℕ
Плюс часть решений испытывала проблемы, когда там JVM модуляризовали и стало нужно в байткоде дописывать требуемые модули
Oℕ
Это как-то как раз с 9-й по 11-ю происходило, кажется
Oℕ
не ну прозрачность при чём тут
Oℕ
я пока не понимаю, как
ΑZ
Ну вообще все фреймворки, которые вспарывают кишки JVM очевидно испытывают проблемы с переходом на новые версии
а их много? Или просто все ими пользуются?
Oℕ
контрпример какой-то какому-то определению прозрачности есть?
Oℕ
а их много? Или просто все ими пользуются?
Ну спарк - такой фреймворк.
Oℕ
Про параметрисити формально можно показать
Oℕ
если даже есть просто функция
f[A]: A => StringOℕ
то подставив его в определение параметрисити и дальше определения отношения для полиморфных и функции получаем, что Для любых
[A, A1](a: A, a1: A) : f[A](a) == f[A1](a1)
что означает, что f обязана быть константой