Size: a a a

2020 February 22

DS

Doge Shibu in rust_offtopic
Dollar Føølish
Просто не все так напишешь наверное
Стандартные энтерпрайзнутые приложения так можно запросто написать, вообще без проблем.

Какие-то вопросы могут возникнуть к системному софту, да и то только по той причине, что есть некий оверхед у ссылочно-прозрачного стиля написания кода и существующих систем эффектов.
источник

DF

Dollar Føølish in rust_offtopic
Да, по оперденям вопрос решенный
источник

λ

λоλторт in rust_offtopic
Dollar Føølish
Просто не все так напишешь наверное
Почему не всё?
источник

B

Bogdan in rust_offtopic
Stanislav Popov
ну вы же в курсе - скриптами мы называем языки без типизации, да?
Спасибо за уточнение, а-то я уже триггерится начал)
источник

DF

Dollar Føølish in rust_offtopic
λоλторт
Почему не всё?
Хз, я неопытен в эффектах, хотелось бы услышать мнения
источник

DF

Dollar Føølish in rust_offtopic
Все ли можно написать с эффектами
источник

DF

Dollar Føølish in rust_offtopic
Вот например типичный джава ерланг софт типа Кассандры, раббитмкью и т.п.
источник

DF

Dollar Føølish in rust_offtopic
Если да, то надо срочно внедрять эффекты везде
источник

DS

Doge Shibu in rust_offtopic
Dollar Føølish
Вот например типичный джава ерланг софт типа Кассандры, раббитмкью и т.п.
Можно, вопрос насколько много оверхеда будет с текущими системами эффектов.

Кажется, что на том же хаскеле такое можно написать и не сильно по перформансу потерять, но широко известных примеров бд на хаскеле я не знаю.
источник

λ

λоλторт in rust_offtopic
Doge Shibu
Можно, вопрос насколько много оверхеда будет с текущими системами эффектов.

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

λ

λоλторт in rust_offtopic
Вон реализацией концепта оптимальной редукции в типизированных ФЯ сейчас по миру человек 5 всего занимается и то, наверное, не фуллтайм
источник

λ

λоλторт in rust_offtopic
Это ничто по сравнению с тем, сколько вложено в жавовые или плюсовые компиляторы
источник

DS

Doge Shibu in rust_offtopic
λоλторт
Очень мало ресурсов тратится на исследования и имплементацию оптимизаций в функциональных языках. Если там ресурсов было бы на пару порядков больше, то хрен знает, на чем бд стоило бы писать, на плюсах или условном хаскеле
Ну тот же хаскель уже достаточно хорош, дальше могло бы улучшить дело всякая суперкомпиляция и partial evaluation, но там свои проблемы.

(Т.е. в ghc аж есть ветка относительно рабочая с суперкомпиляцией, но насколько я помню, там есть патологические случаи, когда компиляция сильно замедляется)
источник

λ

λоλторт in rust_offtopic
Doge Shibu
Ну тот же хаскель уже достаточно хорош, дальше могло бы улучшить дело всякая суперкомпиляция и partial evaluation, но там свои проблемы.

(Т.е. в ghc аж есть ветка относительно рабочая с суперкомпиляцией, но насколько я помню, там есть патологические случаи, когда компиляция сильно замедляется)
Ну партиал эвалюэйшн уже глубоко во всех компиляторах. Так же мономорфизация это оно и есть.
источник

λ

λоλторт in rust_offtopic
Но сама по себе это ветвь немного тупиковая
источник

DS

Doge Shibu in rust_offtopic
λоλторт
Ну партиал эвалюэйшн уже глубоко во всех компиляторах. Так же мономорфизация это оно и есть.
Далеко не в полную силу
источник

λ

λоλторт in rust_offtopic
Сложность поддержки и время компиляции растёт по пораболе с углублением в эту тему
источник

λ

λоλторт in rust_offtopic
Оптимальная редукция выглядит перспективнее
источник

DS

Doge Shibu in rust_offtopic
λоλторт
Но сама по себе это ветвь немного тупиковая
Да ладно, имхо, как раз достаточно перспективная и не доиследованная область.

Вон, грааль вм неплохо так ускоряет динамические языки таким образом.
источник

DS

Doge Shibu in rust_offtopic
λоλторт
Оптимальная редукция выглядит перспективнее
Для оптимальной редукции я пока не видел хорошего компилятора в машинный код
источник