jane street?

+

lf

adept наверное

точно

я помнил, что на "a*" но это человек их тех времен которые я почти не застал

а для type можено писать instance ?

мне нужно определить сумму двух триплетов, но не хочется отдельно писать функцию plus

разумным способом нельзя

неразумным можно написать инстанс - он скажет какое расширение включить

но это будет скорее неработать, чем работать

мда ... как всегда спасает (+++) ?

ну можно для (,,,) написать

или newtype

все через линзы

но на хаскеле такое видимо не очень надо, лучше новый вид монад придумать

Давно новые виды монад придумывают на агде, а еще больше на идрисе

Кто знает структуру данных с быстрой вставкой в середину

LinkedList?

ну это же вставка за O(n) и как мне его закодить в хаскеле? на двух стеках?

IntMap

Ну и массивы у окасаки

Мутабельный настоящий двусвязный список на чистых структурах не сделать

Мутабельный в смысле вообще на его основе нельзя добавить убрать что

А так можно через комонатки

А я в STM что-то такое видел

Ну stm это мутабельные структуры

https://hackage.haskell.org/package/stm-linkedlist-0.1.0.0/docs/Data-STM-LinkedList.html

Не подходит?

Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.

Что вы доказать-то пытаетесь? И зачем?

Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.

Когда в нормальных языках нормальные системы типов-то появятся?

Ну как же. "сложнаа". :)

По сути на хаскеле пишут ради вызова, не практичности ради

Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.

Думаю, мы все поняли, что haskell вам не нравится и это нехороший язык программирования и вообще он не поделу. Но что, что вы здесь делаете в этом чате? Я в недоумении. (Отвечать не нужно!)

Ну вот, простейшая вещь, что делается в нормальных языках за одну строку приводит или к бойлерплейту с потерей алгоритмической сложности, либо к необходимостью обмазываться монадками. А чуть ещё если что понадобиться, так трансформерами.

linked-list в нормальных языках делается в одну строку?

что такое "обмазываться моданками" и почему это плохо

блин это как прийти с сишнакам и говорить. ААААА у вас 2 стейтмента подряд через точку с запятой!!!!

ужас ужас

ещё и доступ R/W переменных

это не скейлится

код с разных ядер может прочитать разное!!!!

ааааа!!!!!

вы вообще is parallel programming hard and what can we do about it? читали?!!!!

это что за low level язык в котором все эти проблемы всплывают!!!!

я что должен в каждом шаге думать о представлении всего в памяти?!!!?!?!?!

> блин это как прийти с сишнакам и говорить. Какие влажные мечты

можно более по русски

что такое "обмазываться моданками" и почему это плохо

это обычный неосилятор ему надо найти "недостатки" для оправдания своей отсталости

у меня тут пара отделов сишников под боком

я что должен в каждом шаге думать о представлении всего в памяти?!!!?!?!?!

не надо вестись на троллинг, это контрпродуктивно

что такое "обмазываться моданками" и почему это плохо

ну за монады не скажу но со стеками трансформеров работать как-то не очень удобно становится ( и комбинируются они так себе

ну нормальные же вопросы?

но и нужны стеки не так и часто

хотя смотря какой код пишешь

если про всякий low-level, и прощее про что вопросы, то tf там не будет почти никогда

максимум какой MaybeT IO/ ReaderT IO

но и нужны стеки не так и часто

хм, разве? почти всегда есть какой-то конфиг есть логгер есть коннект к бд

Не, мне нравится мышление комьюнити: Монады - это грязь, их не надо использовать. И тут же обмазываться ими по самые уши.

как их таскать с собой по коду

если не трансформером

Не, мне нравится мышление комьюнити: Монады - это грязь, их не надо использовать. И тут же обмазываться ими по самые уши.

это не мышление комьюнити, это какие-то голоса в глове..

давай ты будешь полностью выражать мысли, и тогда хотя бы можно будет их пояснить

как их таскать с собой по коду

ну зачем таскать логгер я не знаю

Не, мне нравится мышление комьюнити: Монады - это грязь, их не надо использовать. И тут же обмазываться ими по самые уши.

придумываешь монады это отличная изоляция грязи в коде эта изоляция всегда есть, только в нечистых языках она в уме держиться

а Reader это ->

таскать логгер -- чтобы не создавать новый каждый раз например

ERROR: S client not available

да ладно монады не нужны, все что можно сделать монадами можно добиться аккуратностью и прилежанием (ц)

ну я только в fast-logger такой видел, что таскать надоб

Я когда увидел стм в хаскеле и понял что там IO нельзя внутри сделать - я вот только тогда понял что в других языках хер ты такое сделаешь и насколько прекрасен хаскель

> не надо вестись на троллинг, это контрпродуктивно Пользоваться Хаскелем контрпродуктивно. А на фоне этого - это уже мелочи

> не надо вестись на троллинг, это контрпродуктивно Пользоваться Хаскелем контрпродуктивно. А на фоне этого - это уже мелочи

ну контрпродуктивно или нет уже наверное решат те у кого опыт есть

в случае веба таскать с собой request приходится, еще всякие коннекты к бд

можно

ну это опять же ReaderT IO про который я гворил

Мне кажется что трансформеры - дело привычки

Мне кажется что трансформеры - дело привычки

да они медленные еще как ад

tf?

захотел в быстром коде ИНОГДА что-то в лог написать притащил трансформер с логом стало в неск раз медленнее

не в последних версиях не поленились inline сделать

так что теперь там должно почти все ухдить

за последние версии не скажу, полгода назад где-т проблема была такая

там главное чтобы инлайнилось нормально, раньше криво было

Я думаю что пока у тебя в приложении база есть - ты не заметишь оверлоада трансформеров

ну и важно что в BaseMonad

Я думаю что пока у тебя в приложении база есть - ты не заметишь оверлоада трансформеров

ну нет же, я описал юзкейс быстрый код вс тот же код с логгером

кто нибудь здесь Repa юзал?

ну если WriterT для лога притащить

то может быть весело

/me давно и неправда

ну не, writerT я вообще не знаю что

чужими для хищников писано

у меня сложилось впечатление что на нём хорошо код писать могут только авторы

я на нём canon matrix multiplication пытался сам сделать в итоге зафейлил

т.е. сделал но оно тормозило

пока не взял вариант от авторов, который *почему-то* работал нормально

я на нём canon matrix multiplication пытался сам сделать в итоге зафейлил

вы кому отвечатете?

вам

> не надо вестись на троллинг, это контрпродуктивно Пользоваться Хаскелем контрпродуктивно. А на фоне этого - это уже мелочи

для тебя да, потомучто ты его не осилил