R
ага, то есть творец должен добровольно отрекаться от благ?
Да есть такая теория
Size: a a a
2020 May 18
AG
меня волнует механизм становления художника голодным
R
Не за деньги
KV
Стать сытым программистом несложно, а голодных всё равно много, всё из-за убеждений
АГ
Много голодных программистов?
YS
YS
У дурак хаскелистов мысли сходятся
G
а какие примеры программ вы бы посоветовали, чтобы показать, что идрис тормозит, потому что строгий, а хачкель нет из-за ленивости?
KV
> Ignite! Award
Make a comment stand out. Adds special color and effect to a comment to show your admiration and highlight it for others.
Капец пора съезжать с реддита, это что ещё за дрянь
Make a comment stand out. Adds special color and effect to a comment to show your admiration and highlight it for others.
Капец пора съезжать с реддита, это что ещё за дрянь
KV
Gamer
а какие примеры программ вы бы посоветовали, чтобы показать, что идрис тормозит, потому что строгий, а хачкель нет из-за ленивости?
head $ [0..100500] <> [0]
G
ну а мож че-нить более практичное
R:
Я не совсем сейчас голодный
R:
Только наполовину
G
типа когда квадратичная сложность вылезает, а очень хочется линейно
KV
Gamer
ну а мож че-нить более практичное
Основная идея везде одинакова, энергичный вычислитель делает работу вне зависимости от того, нужно ли её делать
G
ну идея-то понятна, но мож на приктике прям натыкались
G
типа "переписывал с хаскеля на идрис, а тут такое"
LO
> Ignite! Award
Make a comment stand out. Adds special color and effect to a comment to show your admiration and highlight it for others.
Капец пора съезжать с реддита, это что ещё за дрянь
Make a comment stand out. Adds special color and effect to a comment to show your admiration and highlight it for others.
Капец пора съезжать с реддита, это что ещё за дрянь
С твича перенимают
KV
Gamer
ну идея-то понятна, но мож на приктике прям натыкались
В некотором смысле все натыкаются, потому что если хочется писать в функциональном стиле, то код надо композить из всяких фолдов и мапов, а они если не ленивые, то делают много лишнего, и чтобы этого избежать, приходится писать явную рекурсию / циклы, т. е. страдать