тогда остается только вопрос с гхци

Prelude Data.Int> (-5) `div` 2 :: Int32 -3

это вот не прояснило сейчас ничего ?

это вот не прояснило сейчас ничего ?

Ну, надо было -5 в скобки взять. Иначе -5 'div' 2 :: Int32 воспринимается как -(5 'div' 2) :: Int32

а, да, теперь прояснилось, согласен, хоть и не совсем очевидно

спасибо

ну и фанфакт λ> min (0::Double) (-0 :: Double) 0.0

но λ> min (-0 :: Double) (0 :: Double) -0.0

семантика WASM'a внезапно заставляет min вернуть -0 в первом случае тоже

λ> min (0::Double) (-0 :: Double) == (-0 :: Double) True

λ> (0.0::Double) == (-0.0) True

@voidlizard, а на практику на 3недели студента 3курса возьмете с хаскелем?

@ukunsun в личку, плс. если найдется кто-то, кто готов часть задач выделить студенту и работать с ним - то возможно

@qnikst слушай, а как-то в кабал-файле можно указать, что пакет под 32 бита не билдить?

а ходу не помню опций

arch(name) Tests if the current architecture is name. The argument is matched against System.Info.arch on the target system. If the arch names match, this test evaluates to true, otherwise false. The match is case-insensitive.

if arch(x86) Buildable: False

Kirill ^

может не x86 конечно, а что-то другое

Kirill можно в math-functions посмотреть, там флаг выставляется в зависимости от архитекртуры

о, buildable, спсб

Допустим я делаю такую десериализашку из CBOR: [req_type:int, id:Int, data:any] - и мне надо по req_type и id найти в мапе кому отдать data. Но я не хочу парсить весь CBOR в Value-подобное представление от которой только мусор. Т.е. мне надо или как-то городить Map (ReqTyp,Id) (Decoder s (m ())) - т.е. мапу из Id в декодер CBOR возвращающий экшен. Или парсить только часть, и остаток непопаршеной ByteString отдавать в Map (ReqType, Id) (QueueOrWhat ByteString)

на какой стул сесть?

смотря что за дата, байтстринг - это же тоже куча объектов в куче

ну, кучка

да вот дата скорее всего будет небольшим списком. а Lazy ByteString скорее всего будет из одного чанка

списком такой хрени http://hackage.haskell.org/package/cborg-0.2.0.0/docs/Codec-CBOR-FlatTerm.html#t:TermToken

вообще для второго подхода очень спасает что data идёт последним элементом

вобще у меня какой-то http2 получается

Всем привет

Посоветуйте хорошую литературу по теоркату

а то мои предыдущие 2 попытки разбились о попытки понять фразы в стиле Если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос. в первой же главе

нужно что-то более пологое с примерами

Блог Бартоша Милевски например

есть руский перевод

https://henrychern.wordpress.com/2017/07/17/httpsbartoszmilewski-com20141028category-theory-for-programmers-the-preface/

Посоветуйте хорошую литературу по теоркату

пришёл в контору, а там категории в продакшне?

а то мои предыдущие 2 попытки разбились о попытки понять фразы в стиле Если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос. в первой же главе

https://t.me/ru_catheory

- теория категорий для программистов (от Баротоша Милевски)- вводный с привязкой к проммированию - теоркат для работающих математиков (от МакЛейна) - это если есть нормальных мат бэкграунд - топосы, категорный анализ логики (от Голдблатта) - вроде неплохая несложная, начал недавно - http://komar.bitcheese.net/files/учебник-по-теории-категорий.pdf

пришёл в контору, а там категории в продакшне?

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

последняя внезапно очень простая

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

это хорошая цель, уважаю

Благодарю

особенно за канал

А Спивака книжки кто читал по ТК?

Ещё по идее видел советы почитать книжку вот этой мадам - http://www.math.jhu.edu/~eriehl/

которая http://www.math.jhu.edu/~eriehl/context/

ПРОКЛЯТЫЙ СНОЙМАН СО СВОИМ MonadUnliftIO!

чего ему MonadMask то не хватало?

Посоветуйте хорошую литературу по теоркату

вопрос не по теме канала

чего ему MonadMask то не хватало?

тяжело rio продвигать

вообще модный ответ на все вопросы жизни и всего такого и monad-control

и внутри 42?

Monad42

так, допустим я хочу Map ReqId (Async ())

Как мне сделать самоудаляющийся тред

сделать еще один тред который будет следить? Иначе получается race между добавлением и удалением

А хотя мне не нужен там Async, достаточно ThreadId

WeakPtr повесить с финализатором?

Скорее тред следящий за запросами на отмену

вопрос не по теме канала

А меня к вам отправили)

тебе в хаскель чат

Хорошо треды дешевын

ERROR: S client not available

А меня к вам отправили)

да, есть среди нехаскелистов такое заблуждение, что Хаскель связан с теорией категорий

и что это одно и то же

и как показала практика совет помог

мне за 1 минуту накидали кучу полезных ссылок

@qnikst тред ждущий на stm ничего же не стоит? Ну чуток памяти и гц

ага

Итого выходит 3 треда ни коннекшон и 2 треда на рпц запрос.

Посоветуйте хорошую литературу по теоркату

я сейчас читаю https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ (вроде как даже первую часть полностью никто не перевел), вполне себе мило. Но много хаскеля в процессе изучения теорката

https://legacy.gitbook.com/book/0nkery/bartosz-milewski-category-theory-for-programmers/details

Посоветуйте хорошую литературу по теоркату

https://arxiv.org/abs/1803.05316

Мне вот это дико нравится

Там даже теорию множеств не надо знать, в процессе даётся

Seven Sketches in Compositionality: An Invitation to Applied Category Theory Brendan Fong, David I Spivak

ну вот Спивак опять же, Баез онлайн курс начал давать по этой книжке

@qnikst тред ждущий на stm ничего же не стоит? Ну чуток памяти и гц

А я вот сталкивался с тем, что если пачку данных из очереди забирать (replicateM 2000 $ tryReadTBMChan... ) , то подтормаживает. Лучше явными пачками передавать

так у тебя из одного чана всё

Ага

Ну т.е. не нулевая стоимость

нет, у меня мильён TVar

так что они в одной транзакции не пересекутся

я сейчас читаю https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ (вроде как даже первую часть полностью никто не перевел), вполне себе мило. Но много хаскеля в процессе изучения теорката

Она же давно полностью переведена, все 3 части

я не нашел перевод

А я вот сталкивался с тем, что если пачку данных из очереди забирать (replicateM 2000 $ tryReadTBMChan... ) , то подтормаживает. Лучше явными пачками передавать

там вроде вопрос был насколько вызванный retry будет все тормозить, если нету обновлений TVar-ов

CSC подвез видео с лекции "Компилятор GHC языка Haskell: теория языков программирования в работе": https://www.youtube.com/playlist?list=PL-_cKNuVAYAW_Bw-9QKMKJuNz6LSceLqo

на оф сайте можно посмотреть доп инфу и раздобыть слайды: https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/classes/

а расскажите, как вы живёте в nixos со stack ?

ну т.е если stack build обламывается скачать и собрать ghc

как сделать, что бы работало?

stack --nix build

вроде такой флаг

никс стоит свеч?