ну здесь кстати сейчас как такого срача нету. это и скучно.

либералов там не хватает очень

ищем по всему телеграму

может их не существует?

в твитре много

но там наверное из-за 140 символов

в 140 символах каждый либерал!

Их надо в ВШЭ искать

Алсо моя жена состоит в либеральном чатике в ТГ, чате молодёжного яблока

зови в диван

Но они там правые либералы, конечно, все

вна диван

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

Не буду, я с либералами не общаюсь

с женой не общаешься?

Я вообще вне IT тусовки только с троцкистами, левыми либералами и сталинистами только общаюсь

с женой не общаешься?

есть в этом какая то романтика

бан всем =)

с женой не общаешься?

У меня жена тоже посттроцкистка, она туда случайно в этот чат попала

бан всем =)

за счёт заведения

Го в диван что ли

со сталинистами эт достойно конечно :)

ггг

Я тут делаю патчик для monad-peel, как мне обернуть в зависимость от версии библиотеки кусок кода? diff --git a/Control/Monad/Trans/Peel.hs b/Control/Monad/Trans/Peel.hs index 465f813..3f708cb 100644 --- a/Control/Monad/Trans/Peel.hs +++ b/Control/Monad/Trans/Peel.hs @@ -35,6 +35,7 @@ import Control.Monad.Trans.Identity import Control.Monad.Trans.List import Control.Monad.Trans.Maybe import Control.Monad.Trans.Error +import qualified Control.Monad.Trans.Except as Except import Control.Monad.Trans.Reader import Control.Monad.Trans.State import qualified Control.Monad.Trans.State.Strict as Strict @@ -102,6 +103,11 @@ instance Error e => MonadTransPeel (ErrorT e) where xe <- runErrorT m return $ either throwError return xe +instance MonadTransPeel (Except.ExceptT e) where + peel = return $ \m -> do + xe <- Except.runExceptT m + return $ either Except.throwE return xe + instance MonadTransPeel (ReaderT r) where peel = asks $ \r m -> do x <- runReaderT m r Нужно проверить, что transformers >= 0.4.0.0

#if MIN_VERSION_transformers(0,4,0)

@elemir90 ^^

elemir as elemir@juick.com ?

obviously

Ура, я чего-то добился в этой жизни!

Узнают на улицах телеграма? :)

@mtreskin ты не помнишь случаем либы на TH которая давала доступ к неэскпортированным ролям? Вроде ты искал на жуйке?

@mtreskin ты не помнишь случаем либы на TH которая давала доступ к неэскпортированным ролям? Вроде ты искал на жуйке?

Вроде не нашёл ничего

А может и не я искал

Смутно очень что-то такое помню

Я давал ссылку, но сам забыл

Ура, я чего-то добился в этой жизни!

ну я пришёл на жуйк Elemir ещё активен был, вроде как

я думал он несовершеннолетний

а он оказывается ветеран жуйка

хотя в жуйке лет с 10 уже можно сидеть

а по идрису где вопросы задавать?

а по идрису где вопросы задавать?

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

ну я там есть в прицнипе

ну я там есть в прицнипе

туда и стоит задачать, думаю

Я пришёл на жуйк когда ещё бобук там не сидел

Хм, а на хацкиле есть клиентская реализация rfc854/rfc855? Это telnet, если что. Чо-то я не могу найти нифига

/me никогда интересовался

Похоже придётся писать самому...

Это все еще частая ситуация

У нас только telnet-like и сервер был, там как-то просто на 10-15 строк подмножество сделали

норот, а как вы дизайните типы для работы с KV хранилищами?

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

а именно - проблема ссылок на другие сущности

т.е первое что приходит в голову - это data Some a = SomeValue a | SomeRef ID

но может есть что-то более умное или идеоматичное?

@qnikst вы ж стафф храните в KV ?

Да

и что если надо ссылаться?

Но у нас туда граф кладется и как-то тупо, т.е. то, что это KV не видно

т.е одним чанком кладется, одним поднимается?

Примерно

Там диффы стейта кладутся

И снапшоты

В другом месте (другой проект) тоже тупо, но там можно лучше

Там по типу ключа можно понять тип значения и то reference это или значение, может ли их много храниться и т.п.

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

а куски должны друг на друга ссылаться

Соотв все ключи можно представить GADT-тос

*том

о. типизированные ключи

а нету ли какой-то иллюстрации?

как это правильно делается?

Нету, я еще не запилил, но скоро набросать смогу, мне щас надо ехать отца из больницы в больницу везти

не могу понять, где устроить специальную олимпиаду по этому вопросу

data Key * where Key1 :: .. -> Key 'Reference (Key Foo) Key2 :: .. -> Key 'Value Foo

Везде :)

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

в гиттере народ что-то недружелюбный, а здесь его мало :)

То что выше если по ключу известно значение там или референс

а на стековерфлоу наверное вопросы дизайна нельзя