Alexander
Но если уж на Хаскеле пишется какой-то такой код, а не обычный CRUD, то там и подходы, наверное, другие
Alexander
Вот те же криптовалюты, где кошельки по несколько десятков гигабайт - вот там, наверное, надо крепко думать
Alexander
Хотя мне рассказывали, что наступали на ленивый IO. Но там кейсы, наверное, тоже очень специфические
Cheese
по-моему, главная проблема с ленивостью — ошибки в оценке space complexity, стреляющие, когда приходится внезапно масштабироваться
Дима
Я не совсем понимаю всё же, почему ленивость, довольно сильное условие, сделана opt-out а не opt-in
Aliester
любое масштабирование внезапное
Aliester
так что нужно делать на него задел
Alexander
Спорно.
Cheese
И происходит эта внезапность не так чтобы часто
это в Яве NPE вылетает "не так чтобы часто" — всего раз или два в неделю проблема не в частоте, а в ущербе
Alexander
При масштабировании вообще может оказаться, что алгоритмы и архитектура другие нужны, которые при меньших масштабах были бы обузой
Дима
Это не значит что меньшие проблемы можно и перетерпеть
Alexander
Поэтому если масштабирование внезапное, а не запланированное через N лет, то это большой просчет
Alexander
короче пейпал использует году, все энтузиасты нонкйм языкаэов могут успокоиться // а мое пальто не жмет
Дима
Поэтому если масштабирование внезапное, а не запланированное через N лет, то это большой просчет
Всё упирается в ресурсы, которые как ни крути тратятся на каждую частную проблему
A64m
Интересная история. А есть почитать?
https://mail.haskell.org/pipermail/haskell-cafe/2008-September/047665.html и дальше тред
Alexander
Спасибо!
A64m
Я не совсем понимаю всё же, почему ленивость, довольно сильное условие, сделана opt-out а не opt-in
потому что при опт-ин нельзя писать "как на хаскеле", очевидно же
A64m
да, сейчас бы он и не скомпилировал библиотеку для работы с хмл с такой-то памятью
Alexander
это в Яве NPE вылетает "не так чтобы часто" — всего раз или два в неделю проблема не в частоте, а в ущербе
Не думаю, что "внезапность" NPE какое-то отношение имеет к "внезапности" масштабирования. В динамических языках подобные NPE внезапности одна за другой следуют
Alexander
Я, кстати, слышал такое мнение: "PureScript чуть ли не единственный хаскеле-подобный язык, про который говорят, что он практичный"
A64m
самый верный признак адища - программист произносит слово "практичный"
Alexander
Это да. Уж сколько Хаскель в проде есть, а все про него говорят, что он "академический"
a66ath
Потому что кавайный
Alexander
Haskell is sexy
Alexander
это же достоинство
Снижает конкуренцию?
Cheese
Снижает конкуренцию?
добавляет смысл
Cheese
Снижает конкуренцию?
почему снижает?
Alexander
почему снижает?
Те, кто думает, что он академический, не берутся его учить
a66ath
Учу Haskell как хобби
A64m
если кто-то чего-то не хочет учить по такой причине, очевидно же, что это хорошо что учить не будет
a66ath
Уже 5 лет
a66ath
Так нихуя и не выучил
Leonid 🦇
а не надо хобби, надо в прод
Aliester
понимаешь, это как играть в доту
Aliester
когда это хобби это приятно
Alexander
Так нихуя и не выучил
У нас без матов
Aliester
но когда тебе нужно делать это за деньги, из действия пропадает душа
Alexander
Why so?
Потому что админ так сказал
a66ath
Потому что админ так сказал
Так себе отмазка конечно 😐
Leonid 🦇
потому что я слишком ранимый, от матов мне грустно
Cheese
Те, кто думает, что он академический, не берутся его учить
просто термин "академический" трактуют неправильно. они думают, что это значит "требует много знаний", а на самом деле в Хаскель вложено много знаний, чтобы он работал хорошо
Alexander
Хорошо подмечено.
a66ath
потому что я слишком ранимый, от матов мне грустно
А если кому то грустно без мата, то уровнями страдания меряться?
A64m
"академический х" означает, что тот кто работает над х публикуется в журналах
Leonid 🦇
А если кому то грустно без мата, то уровнями страдания меряться?
использования мата это вообще то мелкое хулиганство
Cheese
"академический х" означает, что тот кто работает над х публикуется в журналах
это непосредственный смысл, а я две интерпретации выше дал
Leonid 🦇
ну вот тут публичное место. вот в /blah можно на гиттере. или в @rustjerk
A64m
не знаю, C++ точно академический
Cheese
не знаю, C++ точно академический
по нему это не видно почему-то
A64m
как не видно, куча пейперов плюсистами написана
Leonid 🦇
а rust хипстерский?
Aliester
не все академики одинаково полезны
Aliester
а rust хипстерский?
какой критерий хипстерскости?
Leonid 🦇
боль и страдания подойдут?
Aliester
контркультурность, непопулярность, непохожесть на аналоги?
Leonid 🦇
и раздвоение личности
Aliester
боль и страдания подойдут?
тогда плюсы хипстерские
Leonid 🦇
в плюсах страдания у юзеров а не программистов
Aliester
нужно написать A programming language oriented towards programmers suffering.
Alexander
а rust хипстерский?
У Раста много исследований тоже было, насколько я знаю
Alexander
А главная его заслуга, что он стоит на плечах гигантов, Хаскеля в том числе.
Dmitry
одно поражает - зачем у всех этих языков делают такой странный синтаксис
Dmitry
страуструп оправдывался совместимостью с си (не сработало). а чем оправдываются в расте за :: например?
Alexander
Не знаю... А Haskell как оправдывал?
Dmitry
в хаскеле в синтаксисе мало странностей
Dmitry
за то и любим.
Dmitry
модули подкачали, разве
Dmitry
у меня есть книжка отмазок страуструпа про дизайн сиплюсплюс
Dmitry
он потом написал другую книжку, где приводил другие отмазки, отвергая те, что были в первой книжке