это он под меня! у него раньше другая борода была!!

у него кружечка прям как у меня, хм

а кто это?

Так вот под кого @qnikst косит

А кто это?

Дункан

dcoutts

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

нужно ещё и умным быть

Ты же, говорят, в генте Haskell поддерживаешь, не?

Хотя, там больше portage по идее надо знать.

Ты же, говорят, в генте Haskell поддерживаешь, не?

звучит как угроза

Не увидел тут угрозы.

Не понял шутёху.

@hotkosc загляни на #gentoo-haskell на freenode

Ого, какое есть.

39 человеков

Это прямо

\ (НИЧОСИ) /

там есть siarheit/slyfox он активно меинтейнит

Ясно-понятно.

Но ты тот самый персонаж из Гатчины или нет?

персонаж народного фольклорра

да, я тот персоонаж

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

Пожалуй начну задавать вопросы. Есть такой код: import Data.Singletons.Prelude data Doc (t :: Symbol) (poss :: [Symbol]) data Pos (t :: Symbol) data BR (docs :: [Symbol]) (poss :: [Symbol]) BR - это правила учета Pos - позиции (t - тип позиции) Doc - документы (t - тип документа) т.е. BR задаются списком позиций и списком документов. В свою очередь, документы состоят из списка позиций. Позиции одного типа могут входить в разные документы. Так вот, вопрос. Как правильней/проще задать ограничение, что если в BR задали список позиций, то в документах могут быть указаны позиции из этого списка?

data BR (docs::[Symbol]) (pass::[Symbol] where BR :: (True ~ Subset docs pass) => .... ?

type Family Subset a b where Subset [] b = 'True Subset (a:as) b = AND (Exists a b) (Subset as b) Subset _ _ = 'False

в singletons наверняка уже есть

например так можно

тайп фемили там такой нет, т.к. в прелюдии нет

можно ещё sAll, sAny и equals написать с prelude list

можно

Попутно вопрос для лучшего понимания. Когда описываю документ, я задаю только тип, и этот тип не имеет значений (не указываю конструкторы). А в предложенном варианте, задается уже и тип и конструкторы. Вот и вопрос. Это в принципе только так можно сделать? Или так просто проще?

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

ну констреинты можно уже только с конструкторами хранить. вообще можно и вне, но это путь к багам и проблемам

понял

чисто с типами такое выразить хз как

я сейчас тупые вопросы по серванту задавать буду

как там multipart данные разбирать в теле?

Servant.Multipart?

разобрался

смотрю видео на ютубе

и грущу

это потому что у меня нет работы?

Я перестал грустить, когда упорно начал Haskell учить.

Грустить стало тупо некогда.

блин

ты прав

Ещё можно пробовать учить других. Как минимум, придётся заморочиться домашними заданиями и заставлять себя прорешивать оные заранее (чтобы в грязь лицом не ударить) :)

да.типа ответственность ещё

Видосов с прошедшей конфы ещё небыло?

Даже тут писали - через две недели. Одна прошла, одна осталась :)

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

у меня в программе куча тредов (и соотв вызовов функции forkIO), и все логгирование, которое работает через монады/монадтрансформеры в этом месте ломается

что делать?

Не ломать)

описать проблему точнек

forkIO хочет себе на вход IO ()

а если у меня есть где-то внутри вызовл логгера, то IO () -> превращается в, например, LoggingT IO ()

и соотв непонятно как это запихать внутрь форка, разве что каждый раз отдельно создавать этот контекст, но тогда не особо понятно насколько это круто работать будет с записью в файл (они же друг о друге ничего не знают), либо как-то этот контекст цеплять и потом явно передавать внутрь форка

forkIO вообще лучше не использовать

вместо него есть async

а LoggingT - это который из monad-logger?

ну он до фига откуда

вместо него есть async

вот это ценное замечание

у него есть инстанс MonadBaseControl, так что он сочетается с lifted-async

видимо это было недостающее звено

спасибо

касательно записи в файл из нескольких тредов - либо руками синхронизировать, либо использовать библиотеку, которая решает эту проблему

там под капотом у LoggingT, по-моему, fast-logger, можно глянуть в документации, сериализует ли он запись в файл

>Almost totally rewritten lmdb API library, that provides zero-copy interface. State of the existing LMDB libraries is quite poor. You are open to get additional copies, segfaults and problems of any kind. а tweag не сделал ее открытой?

@qnikst

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

вот и угадывай что там не так

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

>Almost totally rewritten lmdb API library, that provides zero-copy interface. State of the existing LMDB libraries is quite poor. You are open to get additional copies, segfaults and problems of any kind. а tweag не сделал ее открытой?

не было времени пока сделать пакет из этого

я попробую на праздниках запилить

forkIO вообще лучше не использовать

!!! советчики...

lifted-async, lifted-base, или нижележащий monad-control или monad-unlift да это ответ

вообще факт того, можно ли их использовать зависит от реализации монадки/стека