p
Ну понятно что это сложно
Size: a a a
2020 February 22
λ
Компилятор ищет места вычисления которых независят друг от друга и считает их паралельно
Ну да, приходится куча всяких эвристик придумывать
а
Компилятор ищет места вычисления которых независят друг от друга и считает их паралельно
Чем ниже уровень ЯП, тем сложнее оптимизировать
λ
red75prime
Я сильно сомневаюсь, что трансформации иммутабельных данных в общем случае можно эффективно компилировать в операции с линейной (или нелинейной памятью). Есть какие-то теоретические результаты по этому поводу?
1. Фьюжн
2. Инплейс мутации, в случае линейных типов/эвристик, которые дают понять, что данные не будут больше использованы
3. Оптимальная редукция лямбды
4. Возможность более агрессивного параллелизма
2. Инплейс мутации, в случае линейных типов/эвристик, которые дают понять, что данные не будут больше использованы
3. Оптимальная редукция лямбды
4. Возможность более агрессивного параллелизма
λ
Это всё сильно проще, чем компилировать сишку в эффективный код сегодня
DF
Чем ниже уровень ЯП, тем сложнее оптимизировать
Это
B
осталось создать FP язык с зирокост абстракциями и без аллокаций лишних)
B
вот заоптимизируем и заживем)
λ
Это всё сильно проще, чем компилировать сишку в эффективный код сегодня
Но ресурсов на это выделяется на несколько порядков меньше
p
осталось создать FP язык с зирокост абстракциями и без аллокаций лишних)
Rust?
DF
Кстати Кафка на фп скале написана?
B
Rust?
да вот хз
Пытались в новичковом чате сделать какой=то прикол с вложенными кложурами и ничего не получилось))))
Пытались в новичковом чате сделать какой=то прикол с вложенными кложурами и ничего не получилось))))
p
Dollar Føølish
Кстати Кафка на фп скале написана?
Да кто такой этот ваш кафка
λ
Rust?
Не ФП
p
Не ФП
Почему
A
осталось создать FP язык с зирокост абстракциями и без аллокаций лишних)
А как понять зирокост в данном контексте? Т.е. мы пишем иммутабельно а компилятор разворачивает это в эффективное мутирование без лишних аллокаций?
λ
Лол, в расте даже нормальных ФВП нет, что уж говорить о других фичах
A
Еще бы определиться, что считать фп
p
Что такое фвп
B
А как понять зирокост в данном контексте? Т.е. мы пишем иммутабельно а компилятор разворачивает это в эффективное мутирование без лишних аллокаций?
ну к примеру в хаскеле все типы данных ссылочные + еще сверху припдрено лейзи