KV
С твича перенимают
Лучше бы денег заплатили
Size: a a a
2020 May 18
λ
Gamer
а какие примеры программ вы бы посоветовали, чтобы показать, что идрис тормозит, потому что строгий, а хачкель нет из-за ленивости?
любая фп программа
G
уж больно лихо брэди переписал идрис2 на идрис2, неужто он все время страдает
AG
если на завтипах писать, фолды и мапы все равно сложно использовать, нужно постоянно адхок типы с развесистыми индексами изобретать
AG
это дело пытались орнаментами сгладить, но по моему пока ничего толкового не изобрели
AG
поэтому обычно там вместо тайпклассов какая то синтаксическая глазурь типа нотаций в коке
AA
Gamer
а какие примеры программ вы бы посоветовали, чтобы показать, что идрис тормозит, потому что строгий, а хачкель нет из-за ленивости?
ну любой код где конвейер функций которые соединаются через стримы с рекурсией, минимальный вычисление числе фибоначчи. это в языке без ленивости будет асимптотически хужеработать, потому что будет вычислять одно и то же многократно
AA
обычно только идрис тормознее не потому что там ленивости нет, а просто потому что бекенд хуже
АГ
I'm also affected by the discussion since I have co-workers sympathetic to your view of simple Haskell I don't fully agree with.Бедный чел, коллеги на работе его мучают простым Хаскелем, когда он хочет сложный.
AG
Gamer
уж больно лихо брэди переписал идрис2 на идрис2, неужто он все время страдает
в компиляторах обычно никто фибоначчи не считает, там основные тормоза из-за лишней работы, которая не сводится к мемоизации
AG
например лукапы избыточные или строгая нормализация там где хватает слабой
KV
I'm also affected by the discussion since I have co-workers sympathetic to your view of simple Haskell I don't fully agree with.Бедный чел, коллеги на работе его мучают простым Хаскелем, когда он хочет сложный.
Так он наверное нанимался писать на хаскелле, а не на симпл хаскелле
AA
из-за отсутствия мемоизации разница будет как между стримингом (есть) и стримли (нет)
AA
особенно если человек фп где-то подхватил он потом регулярно пишет код, который на стримах без материализации (ну итераторах из дотнета каких-нибудь)
постоянно будет влетать на непредвиденную квадратичную сложность и искать потом куда ручную материализацию вставлять
постоянно будет влетать на непредвиденную квадратичную сложность и искать потом куда ручную материализацию вставлять
AA
но идрис 2 быстрее (компилирует) чем первый просто переписанный потому что
AG
ну я про это и говорю, там архитектура лучше
AG
в общем моя интуиция заключается в том что для завтипов по ряду причин (тотальность, индексы) ленивость слишком крупнозернистый инструмент, нужно ее разбирать на составляющие - кодату, линейность и тд
Oℕ
Я правильно понимаю, что завтипном хошкеле на уровне типов ленивости нет?
AA
его и самого нету, но я чет сомневаюсь, что будет
у нынешних тайпфемилей же нет
у нынешних тайпфемилей же нет
Oℕ
А у самого разве есть разница какая-то?