Вот подойдешь к типичному Хаскелисту и спросишь: "чем ты занимаешься?" А он тебе конечно ответит: "вот навернул борщицца и с новыми силами ищу утечки памяти, расставляя по всему коду строгость операторов, строгость полей и форсирование вычислений"
Какой забавный тролль
SimpleX
SimpleX
Когда вам там модули завезут?
Vladislav
Вот подойдешь к типичному Плюсовику и спросишь: "чем ты занимаешься?" А он тебе конечно ответит: "вот навернул борщицца и с новыми силами ищу утечки памяти, расставляя по всему коду ассерты, и перекомпилируя с включенными asan и ubsan"
SimpleX
И вкуривая в valgrind
SimpleX
Красиво, без вычислений, без накапливаются ошибок и ошибок на границе, выбирай 2 из 3х
Без ошибок на границах
Alexander
Вот подойдешь к типичному Хаскелисту и спросишь: "чем ты занимаешься?" А он тебе конечно ответит: "вот навернул борщицца и с новыми силами ищу утечки памяти, расставляя по всему коду строгость операторов, строгость полей и форсирование вычислений"
Я вчера чинил тестовый кластер с fs нового поколения на 5Pb
Alexander
И я очень недовольный и злой
Cinder
Я что на хаски пересаживался, чтобы заниматься тем же перекладыванием говна, что и в крестах?
SimpleX
Я что на хаски пересаживался, чтобы заниматься тем же перекладыванием говна, что и в крестах?
Ну если ты привык перекладывать говно на одном языке, что мешает тебе это делать на другом?
Vladislav
Alexander
Поэтому давай без таких выпадов, а то мрр похоже кнопку block раздали, а я ее не тестил еще
SimpleX
Хаскель по рукам за говнокод не бьёт.
Cinder
В идеальном языке должно быть все идеально, а не "теже яйца, только в профиль "
Vladislav
В идеальном языке должно быть все идеально, а не "теже яйца, только в профиль "
а где он, идеальный язык?
SimpleX
Идеальных языков не существует
Mansur
В идеальном языке должно быть все идеально, а не "теже яйца, только в профиль "
Разруха не в клозетах
Cinder
А я так хотел, чтоб это был Хаски...
Alexander
Без ошибок на границах
Если range большой то точко n*delta ну или двойная точность через 2 переменные (есть пакет это прячущий впрочем)
Alexander
Нужно понимать что дает каждый язык, и что не дает, и какие компромиссы
Vladislav
Нужно понимать что дает каждый язык, и что не дает, и какие компромиссы
человек сюда не понимать пришел
SimpleX
Конечно, троллить же
Alexander
Я хочу как quochen себя вести, но не умею
Alexander
Все же этот лог видели?
SimpleX
О да 😁
Alexander
https://gist.github.com/quchen/5280339
Alexander
Троллить вроде человек с Лора пытался
Alexander
В общем, я так отвечать не умею
Vladislav
@GnuFreedom, а чего в чатике про раст не набрасываешь?
blkmrkt
кстати я раст попробовал, там оче оче сырые все либы, ничего еще толком не работает на 100%
Cinder
Не на что пока набрасывать.
Konstantin
а свифт кто-нибудь пробовал? не пойму, что там с concurrency. вроде есть, а вроде и нет
Alexander
У меня с rust странный опыт
Alexander
Решил Haskell код ускорить (быстрый впрочем) взял аналогичную либу на rust и все тормозит
Alexander
Причем на менеджиент RC тратится больше чем на GC
Alexander
Но это правда специфическая задача была
blkmrkt
Причем на менеджиент RC тратится больше чем на GC
а у меня в хаске ровно наоборот было, пока не обновил депенденси
Alexander
В общем случае rust выглядит приятно
Alexander
Ничо, мы линейные типы запилим, будет весело
Vladislav
RC - далеко не всегда больее эффективная стратегия менеджмента памяти чем GC
Vladislav
обидно что clean умер
Alexander
Да, у нас пилят. В процессе, пока в основном проектирование консультации с SPJ и т.п.
Alexander
(я не пилю)
blkmrkt
В общем случае rust выглядит приятно
и доки человеческие. Вообще сраный Hackage нужно запретить законодательно, он дико засирает все результаты гугла совершенно нерелевантными хитами к покрытым мхом десятилетним версиям пакетов, ломает сраные доки которых и так нихера никто не пишет, и вообще мерзакая дрянь
Alexander
У нас у пары человек диссеры (и толпа статей) по ним были, а ресурсы на то, чтобы оплатить эту работу есть
Vladislav
я правильно понимаю что с линейными типами можно будет делать pure обертки над императивным кодом без заворачивания в IO?
Alexander
Не уверен, а в чем проблема с заворачиваем в IO
Alexander
Тебе же все равно надо data dependency явно создавать
Alexander
Чтобы порядок был, а IP в основном этим и занимается
Alexander
и доки человеческие. Вообще сраный Hackage нужно запретить законодательно, он дико засирает все результаты гугла совершенно нерелевантными хитами к покрытым мхом десятилетним версиям пакетов, ломает сраные доки которых и так нихера никто не пишет, и вообще мерзакая дрянь
А других вариантов нет, stackage это не аналог, а другая морда
Alexander
s/IP/IO/
Vladislav
ну, к примеру можно будет безгеморройно описывать мутирующие операции (если знать что в api нет сайд-эффектов, завясящих от порядка)
Alexander
Но и сейчас можно не заворачивать
Alexander
Вот мутации - да
Vladislav
есть еще ST, но тоже тот еще геморрой
Alexander
Если FFI то без IO тип написать
Alexander
ST и IO это одно и тоже
Alexander
Просто в IO токен это RealWorld#
Vladislav
Если FFI то без IO тип написать
а как обезопаситься от переиспользования значения до мутации?
Alexander
Это да, никак
blkmrkt
А других вариантов нет, stackage это не аналог, а другая морда
интересно в чем там проблема. Тут наверное ситуация вроде той, когда клуб любителей блокчейна закодил сайт комьюнити на asic, и не знает что теперь с ним делать
Alexander
Где?
Alexander
Вообще половина проблем хакаджа из-за стакаджа
Alexander
И.к. придурки типа сноймана используют практики все ломающие
Vladislav
интересно в чем там проблема. Тут наверное ситуация вроде той, когда клуб любителей блокчейна закодил сайт комьюнити на asic, и не знает что теперь с ним делать
на вот этом o_O? https://en.wikipedia.org/wiki/Application-specific_integrated_circuit
Alexander
И потом сделали стакан который типа чинит
Alexander
И вот это сначала самому сломать, а потом героически пофиксить сильно портит юзабельность
Quet
Вообще половина проблем хакаджа из-за стакаджа
да? до сноймана там был вообще ад и израиль
со стакаждем это хотя бы можно использовать теперь и не плакать
blkmrkt
И.к. придурки типа сноймана используют практики все ломающие
запретить нужно эту гадость просто, и то и другое
Alexander
да? до сноймана там был вообще ад и израиль
со стакаждем это хотя бы можно использовать теперь и не плакать
Из-за сноймана не в последнюю очередь и был
Quet
стакадж и стек это кажется лучшее что в хаскеле случилось за последнее время
Quet
а до того как в кабале появились сендбоксы я не знаю как люди в принципе что-то писали
Quet
ну кроме факториалов и быстрых сортировок
blkmrkt
а есть альтернатива?
нет, но следует на профиты с продажи кружек и футболок на главной, нанять N человек и закодить нормальный сайт на жаваскрипте