Anatolii
ахаха
Alexander
подпробнее историю я рассказывать не буду, там хитро и наверное часть мне лишь приснилась
Alexander
интереснее про клиентов у WT поспрашивать они явно больше фирм знают и работают с ними
Anatolii
там из русскоговорящих есть кто-то?
Alexander
вообще говрили, что достаточно много в основном или стартапы, или наоборот большая фирма и в ней research отдел
Alexander
нету
Alexander
раньше был один, но ушёл, как же его звали
Alexander
в общем это старые времена когда я haskell и не знал ещё
Anatolii
куда ж из WT сваливают...
Alexander
на OCaml в лондоне где-то
Misha
jane street?
Alexander
+
Alexander
lf
Misha
adept наверное
Alexander
точно
Alexander
я помнил, что на "a*" но это человек их тех времен которые я почти не застал
Нурлан
а для type можено писать instance ?
Нурлан
мне нужно определить сумму двух триплетов, но не хочется отдельно писать функцию plus
Alexander
разумным способом нельзя
Alexander
неразумным можно написать инстанс - он скажет какое расширение включить
Alexander
но это будет скорее неработать, чем работать
Нурлан
мда ... как всегда спасает (+++) 😞
Alexander
ну можно для (,,,) написать
Alexander
или newtype
Alexander
все через линзы
Anonymous
но на хаскеле такое видимо не очень надо, лучше новый вид монад придумать
Давно новые виды монад придумывают на агде, а еще больше на идрисе
Anton
Кто знает структуру данных с быстрой вставкой в середину
Vladimir
LinkedList?
Anton
ну это же вставка за O(n)
и как мне его закодить в хаскеле? на двух стеках?
Alexander
IntMap
Alexander
Ну и массивы у окасаки
Alexander
Мутабельный настоящий двусвязный список на чистых структурах не сделать
Alexander
Мутабельный в смысле вообще на его основе нельзя добавить убрать что
Alexander
А так можно через комонатки
Vladimir
А я в STM что-то такое видел
Alexander
Ну stm это мутабельные структуры
Vladimir
https://hackage.haskell.org/package/stm-linkedlist-0.1.0.0/docs/Data-STM-LinkedList.html
Vladimir
Не подходит?
Cinder
Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.
Vladimir
Что вы доказать-то пытаетесь? И зачем?
Anonymous
Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.
Когда в нормальных языках нормальные системы типов-то появятся?
Нурлан
Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.
Думаю, мы все поняли, что haskell вам не нравится и это нехороший язык программирования и вообще он не поделу. Но что, что вы здесь делаете в этом чате? Я в недоумении. (Отвечать не нужно!)
Alexander
Alexander
что такое "обмазываться моданками" и почему это плохо
Alexander
блин это как прийти с сишнакам и говорить. ААААА у вас 2 стейтмента подряд через точку с запятой!!!!
Alexander
ужас ужас
Alexander
ещё и доступ R/W переменных
Alexander
это не скейлится
Alexander
код с разных ядер может прочитать разное!!!!
Alexander
ааааа!!!!!
Alexander
вы вообще is parallel programming hard and what can we do about it? читали?!!!!
Alexander
это что за low level язык в котором все эти проблемы всплывают!!!!
Alexander
я что должен в каждом шаге думать о представлении всего в памяти?!!!?!?!?!
Cinder
> блин это как прийти с сишнакам и говорить.
Какие влажные мечты
Alexander
можно более по русски
ㅤ
что такое "обмазываться моданками" и почему это плохо
это обычный неосилятор
ему надо найти "недостатки" для оправдания своей отсталости
Alexander
у меня тут пара отделов сишников под боком
Vladislav
я что должен в каждом шаге думать о представлении всего в памяти?!!!?!?!?!
не надо вестись на троллинг, это контрпродуктивно
Quet
что такое "обмазываться моданками" и почему это плохо
ну за монады не скажу
но со стеками трансформеров работать как-то не очень удобно становится ( и комбинируются они так себе
Alexander
ну нормальные же вопросы?
Alexander
но и нужны стеки не так и часто
Alexander
хотя смотря какой код пишешь
Alexander
если про всякий low-level, и прощее про что вопросы, то tf там не будет почти никогда
Alexander
максимум какой MaybeT IO/ ReaderT IO
Quet
но и нужны стеки не так и часто
хм, разве?
почти всегда есть какой-то конфиг
есть логгер
есть коннект к бд
Cinder
Не, мне нравится мышление комьюнити: Монады - это грязь, их не надо использовать. И тут же обмазываться ими по самые уши.
Quet
как их таскать с собой по коду
Quet
если не трансформером
Alexander
Не, мне нравится мышление комьюнити: Монады - это грязь, их не надо использовать. И тут же обмазываться ими по самые уши.
это не мышление комьюнити, это какие-то голоса в глове..
Alexander
давай ты будешь полностью выражать мысли, и тогда хотя бы можно будет их пояснить
ㅤ
Не, мне нравится мышление комьюнити: Монады - это грязь, их не надо использовать. И тут же обмазываться ими по самые уши.
придумываешь
монады это отличная изоляция грязи в коде
эта изоляция всегда есть, только в нечистых языках она в уме держиться
Alexander
а Reader это ->
Quet
таскать логгер -- чтобы не создавать новый каждый раз например
Alexander
да ладно монады не нужны, все что можно сделать монадами можно добиться аккуратностью и прилежанием (ц)
Alexander
ну я только в fast-logger такой видел, что таскать надоб
Anatolii
Я когда увидел стм в хаскеле и понял что там IO нельзя внутри сделать - я вот только тогда понял что в других языках хер ты такое сделаешь и насколько прекрасен хаскель
Cinder
> не надо вестись на троллинг, это контрпродуктивно
Пользоваться Хаскелем контрпродуктивно. А на фоне этого - это уже мелочи
Alexander
> не надо вестись на троллинг, это контрпродуктивно
Пользоваться Хаскелем контрпродуктивно. А на фоне этого - это уже мелочи
ну контрпродуктивно или нет уже наверное решат те у кого опыт есть
Quet
в случае веба таскать с собой request приходится, еще всякие коннекты к бд