T
Ну да, коли уж начал оптимизировать — докатишься и до машинных инструкций. 😂
Уже...
Size: a a a
2020 April 16
AT
Кмк, то же самое - просто синтаксис императивщины несколько перегружен :=, ref, !. А так пишите и радуйтесь.
Как бы Java — ещё более императивное, однако потребление памяти совсем другое. Так и здесь.
KR
Как бы Java — ещё более императивное, однако потребление памяти совсем другое. Так и здесь.
Не понял. Потребление памяти в Java значительно выше, чем в Caml.
СЛ
Не понял. Потребление памяти в Java значительно выше, чем в Caml.
потребление памяти в Java зависит только от коэффициента кривизны рук разработчика.
AT
потребление памяти в Java зависит только от коэффициента кривизны рук разработчика.
Как и в C/C++/Haskell и примерно всех остальных языках. 🤷♀️
KR
Фраза про потребление памяти в Java и руки достойно закрывает флейм.
AT
Не понял. Потребление памяти в Java значительно выше, чем в Caml.
Об том и речь. Но в Lisp можно его опустить ещё ниже, если постараться. В зависимости от диалекта ещё, конечно.
KR
Вопрос по алгебраическим эффектам и эффектам вообще. Есть ли где-нибудь определение что такое "Эффект в Языках Программирования"?
KR
Такое ощущение, что все пишут статьи на эту тему, а внятного определения что-то не видно. И получается совершенно дурацкая ситуация.
PS
Что-то я не улавливаю, зачем вообще спорить о быстродействии Лиспа и ML? Уже в начале 90-х существовал очень мощный компилятор SML/NJ, в команде разработчиков которого был тот самый Аппель. Потом появился MLRISC. Это был один из пиков компиляторостроения той эпохи.
CC
Вопрос по алгебраическим эффектам и эффектам вообще. Есть ли где-нибудь определение что такое "Эффект в Языках Программирования"?
Обертка над абстрактным "нечто" что порождает side effect, то есть нарушает referential transparency. Эффект это враппер над подобным "нечто" который позволяет указывать что это нечто будет как-то выполняться не нарушая этот самый referential transparency
CC
Четкого определения нигде не видел, каждый понимает как хочет - это мое видение :)
ЗП
Том Шхревас описывал же
AG
скрейверс :)
ЗП
скрейверс :)
у меня такая же проблема как и с Сйордом)
AG
schrijver = писатель
AG
однокоренное с английским scribe
ЗП
schrijver = писатель
ну я про Sjoerd или как там
AG
Sjoerd, это фризское имя