Alexander
все что до 8.0 можно выкидывать
Alexander
при том, чтобы поддерживать 1.2.* и 1.3 одновременно без толпы ворнингов - убьёшься
Alexander
@int_index как -Wall только на пакет натравить, без зависимостей?
Alexander
использовать stack
ты хочешь чтобы я тебя вопросами заваливал про то как в стаке сделать 100600 вещей, которые cabal new-build мне делает?
Alexander
как сделать так, чтобы стек использовал последние версии пакетов с hackage?
Alexander
и сам строил билд план?
Alexander
о, resourcet перешли на unlift с monad-control
Alexander
ьлин
Alexander
!!!!!!!!!
Leonid 🦇
выкладывай старую на хакадж с заглавной буквой какой-нибудь
Alexander
sdlkjflkasdjfkljasl;jd!
Alexander
а не, последнее зря
Leonid 🦇
т.е. в ExceptT теперь ресурсы не поаллокейтить?
Anatolii
Alexander
unlift конечно проще на порядок
Alexander
тут не поспоришь
Leonid 🦇
а уж эксепшены насколько проще ExceptT!
Alexander
вот не скажи
Leonid 🦇
жаль ghc не умеет такой стек как джава писать
Leonid 🦇
такие клёвые логи что-бы были
Leonid 🦇
с не поймаными исключениями
Alexander
-prof / +RTS -xc
Alexander
умрёшь правда лог в сильно конкурентной программе читать
Cheese
как сделать так, чтобы стек использовал последние версии пакетов с hackage?
ты не должен хотеть последние, а только те, которых протестированы Снойманом!
Alexander
это-то понятно
Alexander
ох, чем yieldOr заменили в кондуитах?
Alexander
yieldOr :: Monad m
=> o
-> m () -- ^ finalizer
-> Pipe l i o u m ()
yieldOr o f = HaveOutput (Done ()) f o
Alexander
снойман вроде выпилил это?
Vladislav
@int_index как -Wall только на пакет натравить, без зависимостей?
Я отходил, и не знаю как ты опции передаешь, но я добавляю их либо в модуль, либо в .cabal-файл, никогда через командную строку не передаю, так что опять же сказать не могу
Cheese
комбот не считает частоты употребления слов? в этом чате на 1 месте был бы "снойман"
Cheese
идея курсовой для моих учеников
Зигохистоморфный
комбот не считает частоты употребления слов? в этом чате на 1 месте был бы "снойман"
не строит гистограмму?)
Alexander
как вы думаете, банить человека если его первое сообщение человека это тупая картинка это нормально?
Alexander
(не банил пока)
xxxxchg
Alexander
ok в следующий раз так и буду
Alexander
ImplicitParameters?
Vladislav
-XImplicitParams, и это был сарказм про то, что оно лучшее
Vladislav
(хуже там только -XIncoherentInstances наверное)
Alexander
долбаные кондуиты..
Alexander
убрали prompt finalization (в общем-то правильно), но я не знаю чего с stm-conduit делать и насколько жирными делать warning-и что каналы сами закрываться не будут и пользуйтесь resourcet и прочим самостоятельно
Alexander
хоть bump X.y делать
Alexander
при этом для части функций я могу вполне оставить финализаторы
A64m
> убрали prompt finalization
сдались таки
Aliester
Что будут делать хаскелисты в случае вспышки на солнце, которая уничтожит всю электронику?
Влод
спорить о том нужно ли тк для продакшена на хаскеле
Alexander
а как в monad-unlift восстановить сейт?
Антон
Читаю про типы в Kotlin и вдруг вот такая картинка:
http://natpryce.com/articles/000818/nullable-string.png
Антон
Ну блин, это ж коммутатиная диаграмма!
Aliester
- Any.
- Any?
Антон
Там ещё Unit? есть
Антон
Как Maybe () в Haskell
Влод
Nothing?
Влод
так то ничего странного
Влод
ну разве что то что maybe встроенный
и как бы они автоматически флетятся
Антон
НУЛЛАБЕЛЬНОЕ ДНИЩЕ БЛАДЖ
Антон
Не, я, конечно, понимаю, что это следствие консистентности системы типов, но всё равно дико странно
Oleg
Ну блин, это ж коммутатиная диаграмма!
всё правильно, частично-упорядоченное множество, например типы с субтайпингом, образует (0,1) - категорию
доня.
доня.
в Haskell же можно сделать Maybe Void
доня.
сумма нуля и единицы, изоморфна единице (Unit)
доня.
Но зачем?
да это другой вопрос
есть алгебра над типами
нельзя просто вот так взять и запретить операцию над какими-то двумя потому что "в этом нет смысла"
Антон
Зигохистоморфный
Void терминальный
Unit инициальный
(или наоборот)
Oleg
Oleg
пример - запрет на type A <: Nothing в за компанию презираемом в этом чате Dotty
доня.
пример - запрет на type A <: Nothing в за компанию презираемом в этом чате Dotty
а можно поподробнее?
а то я ничего не понял
Антон
а можно поподробнее?
а то я ничего не понял
<: — явное выражение отношения субтипирования. Nothing — днище
Artyom
убрали prompt finalization (в общем-то правильно), но я не знаю чего с stm-conduit делать и насколько жирными делать warning-и что каналы сами закрываться не будут и пользуйтесь resourcet и прочим самостоятельно
о, так ты мейнтейнишь эту либу
а я как раз сейчас с ней пулл-реквест делаю
доня.
<: — явное выражение отношения субтипирования. Nothing — днище
а, всё, нагуглил Dotty
через DuckDuckGo он просто не гуглился