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

но видимо я плохой хацкелист раз так, как мне объяснили :}

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

хотя IRL все равно newtype ... deriving (пыщь-пыщь) поехали

а любая монада в RWST превращается

когда бессоница одолевает, я беру её с полки

сегодня была точно такая ситуация. 3 часа не мог уснуть. решил что пора таки почитать. днём таки соображаешь получше, чем после безуспешного сна.

именно с art of multiprocessor programming ?

но видимо я плохой хацкелист раз так, как мне объяснили :}

Свернулся в клубочек и плачу

почти все превращаются в Reader e IO

(те что поверх IO, конечно)

а как же State на всякий случай и Writer что бы было?

IORef/MVar/state-variable

ну т.е реально - да, RWST MyEnv () () IO

а Writer это монада для создания space leaks

хаха.

Надо дописать в документацию

и нахрен было делать вообще IO

надо было делать монаду NonIO

NonAtAll

ну серьёзно, Writer не переписанный аккуратно через State только все портит

вот когда не поверх IO там уже все эти EitherT / State очень полезны

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

NonIO = Identity?

ага. а всё остальное в IO по умолчанию

и щас бы аудитория была бы в 10 раз больше

только непонятно, зачем

и так вроде нормально

лишь бы не околел

а когда всякие ContT и прочите лезут, сразу возникают вопросы почему не Free и когда то, а когда другое

вот если бы примеры были во всяких курсах такие было бы веселее

или ContT -> Corounites -> Iteratee -> Pipes

=)

тоже понтяно зачем этим страдать

Stream вместо pipes наверное

кстати да, вот какая-то статья "как жить с вводом-выводом что бы не околеть на больших объемах" не помешала бы

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

или вообще что-то иное.

раз и навсегда пока никак

слишком уж много всего в этом направлении

может, ради разнообразия вместо "нашего опыта х-ла в продакшене" толкнуть речь "за что мы ненавидим x-л" ?

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

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

а были?

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

ну блогопостов было точно не мало

а где нибудь есть некая отдаленная статистика использования в сообществе разных подходов ну типа free vs tagless finally и других?

не видел

при этом кондуиты это точно последнее прибежище, уж очень там все через одно место приходится делать и от всяких &&&==>>> в глазах рябит

но решения олега не всегда приживаются

и чаще заменяются со временем другими

кстати, а нет ли чатика в телеграмме про раст

и вообще что-то про раст почитать

так что я подозревею что free более активно используются

ну раста книжки норм

стандартные и читаются на ура, и даже что-то писать можешь

а то текущий проект с тестированием канала я хотел на расте нафигачить, но выяснилось, что х-ла хватает и опять ничего не сделал

да книги-то фиг с ними, хочется понять, чем тусовка живет

кстати, а нет ли чатика в телеграмме про раст

https://t.me/proRust/27703

какой у него юзер экспириенс

я правильно понимаю что это что-то типа ML только с чудаковатым синтаксисом?

я правильно понимаю что это что-то типа ML только с чудаковатым синтаксисом?

описание больше на скалу похоже, там все таки по дальше немного

хм.. я не знаю ML на столько чтобы сравнить

но похоже на то

ну я условно *ML. то есть того, что я знаю, хватает понять, что это не SML и не OCaml

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

Не знаю где вы там увидели ML 🙈

описание больше на скалу похоже, там все таки по дальше немного

да, согласен

есть еще хорошая книга «Еlements of Intuitionism» Майкла Даммита

кажется, у первого есть тёлочка

🐮

может, ради разнообразия вместо "нашего опыта х-ла в продакшене" толкнуть речь "за что мы ненавидим x-л" ?

Удваиваю

интересно, а где-нибудь можно почитать о том, почему ghc 1T виртуальной памяти потребляет?

можно

во всяком случае у меня на 8.0.2

в релизе к 8.0.2

это для аллокатора быстрого, таблицы так хранятся

найти?

спасибо, сам поищу)

https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/8.0.1-notes.html#runtime-system

поздно