DF
Например условно говоря в джаве есть скорость но нет корректности и памяти
Size: a a a
2020 March 14
AL
про монады только на уровне буррито можно
СД
Скорость, корректность, память
ну я так понимаю, в этой тройке упор скалы на скорость и корректность (оптимизации + иммутабельность)
DF
Буррито?))
СД
Dollar Føølish
Буррито?))
шавуха
DF
А, ок
JC
ну я так понимаю, в этой тройке упор скалы на скорость и корректность (оптимизации + иммутабельность)
Она пытается делать упор на скорость, но пока не начнут тюнить JVM, это невозможно
DS
да, я так и понял: есть копия, система рботает с копией, сейчас она(система) иммутабельна и мы контролируем ее состояние, ничего особо не меняется. Надо сменить состояние, я скопирую систему из текущего в новое, где заменю что-то что надо
В расте тоже можно так делать и оно будет быстро. Просто тебе нужен свой аллокатор под это, что-нибудь типа bumpalo
DF
Спасиьо😊
DS
Тогда и персистетные коллекции будут норм
СД
Она пытается делать упор на скорость, но пока не начнут тюнить JVM, это невозможно
а как же иммутабельность, разве это не в каком-то смысле корректность?
СД
(меньше ошибок, корректнее контроль состояний)
DS
а как же иммутабельность, разве это не в каком-то смысле корректность?
Корректность кода и иммутабельность сильно связаны только там, где речь про многопоточность заходит.
СД
Она пытается делать упор на скорость, но пока не начнут тюнить JVM, это невозможно
наверняка они мечтают съехать на llvm))
DS
И то, ценна не иммутабельность, а ссылочная прозрачность.
JC
а как же иммутабельность, разве это не в каком-то смысле корректность?
Ну я имел ввиду, что ты сказал про корректность и скорость, но скорость это не про Скалу
DS
наверняка они мечтают съехать на llvm))
Нет, смысла в этом нет, т.к. больше либы из джавы не заюзаешь и придется писать свой гц, вместо и так уже отличного джавовского.
DF
Кстати что из фп можно ещё втащить в Раст малой кровью?
JC
Ну я имел ввиду, что ты сказал про корректность и скорость, но скорость это не про Скалу
Вернее, скорость есть, но нет zero cost abstractions. Поэтому пишешь либо красиво, либо быстро.