Size: a a a

2020 May 25

A

Andrey in Haskell
Никита и сейчас тут
источник

аа

аа ааа in Haskell
где нибудь описаны случаи когда ленивые вычисления дают какой то профит ? Просто во всех материалах что я видел пишут что избавившись от ленивости можно повысить производительность
источник

аа

аа ааа in Haskell
@qnikst вы на одной из презентаций сказали что если отказаться от ленивости в хаскеле всё может стать еще хуже. Где можно найти материалы на эту тему? Что можно почитать?
источник

AA

A64m AL256m qn<co... in Haskell
аа ааа
где нибудь описаны случаи когда ленивые вычисления дают какой то профит ? Просто во всех материалах что я видел пишут что избавившись от ленивости можно повысить производительность
источник

AV

Alexander Vershilov in Haskell
аа ааа
@qnikst вы на одной из презентаций сказали что если отказаться от ленивости в хаскеле всё может стать еще хуже. Где можно найти материалы на эту тему? Что можно почитать?
Примерно все кроме числодробилок и то не факт
источник

YS

Yan Shkurinskiy in Haskell
Там же вроде ещё некоторые алгоритмы только с учетом ленивости дают лучшую сложность, чем со строгой
источник

AV

Alexander Vershilov in Haskell
Все аппликаторы и альтернативы работают за счёт ленивости, а чтобы их написать эффективно надо много кода писать
источник

АХ

Алексей Худяков... in Haskell
Кстати, про числодоробилки. Возьмём, например, поиск корней уравнения f(x)=0 обычно делается при помощи какого-нибудь итеративного алгоритма. В ленивом языке можно сгенерировать ленивый список, и отдельно написать процедуру поиска решения, огда оно сошлось. Что и сделано. Нет нужды придумывать отдельный API для того чтобы посмотреть на итерации.

https://hackage.haskell.org/package/math-functions-0.3.4.0/docs/src/Numeric.RootFinding.html#ridders
источник

АХ

Алексей Худяков... in Haskell
аа ааа
где нибудь описаны случаи когда ленивые вычисления дают какой то профит ? Просто во всех материалах что я видел пишут что избавившись от ленивости можно повысить производительность
^ Производительнсоть примерно такая же
источник

AV

Alexander Vershilov in Haskell
Да, эти штуки очень клёвые
источник

AV

Alexander Vershilov in Haskell
можно разделить итерационный метод и алгоритм принятия решения
источник

AV

Alexander Vershilov in Haskell
Да и всякие ODE прекрасно записываются благодаря ленивости
источник

AV

Alexander Vershilov in Haskell
Всякие языки типа R - тоже ленивые, но старательно это прячут от пользователя
источник

Oℕ

Oleg ℕizhnik in Haskell
R полуленивый
источник

Oℕ

Oleg ℕizhnik in Haskell
но вообще в мануале сразу сказано, там правда это названо call-by-promise
источник

AV

Alexander Vershilov in Haskell
Много кто не задумывается
источник

AV

Alexander Vershilov in Haskell
Ещё "типа иммутабельный"
источник

AV

Alexander Vershilov in Haskell
На самом деле там COW
источник

AV

Alexander Vershilov in Haskell
А ещё там есть weakptrs которые прям написано, что взяты из haskell!
источник

АХ

Алексей Худяков... in Haskell
Я давно думаю, что надо придумать Call by Luck, statistically typed language
источник