прочитано

зачем тогда видосик?

а посоветуйте видосик по TypeInType и вот это вот всё

какой именно? Просто обзорный доклад или обучающий?

какой именно? Просто обзорный доклад или обучающий?

что-нибудь. лучше конечно обучающий, если они существуют. обзорный тоже пойдет

обучающих не существует

только про Type :: Type или про то что дальше планируется тоже?

нет, настоящий лиспер, Кметт зачем-то напал на их гнездо, тред про SBCL в рпрограмминг

Я пробовал нагуглить эту драму, но не нашел. Это где-то на закрытых ресурсах происходит?

только про Type :: Type или про то что дальше планируется тоже?

дальше тоже:)

Я пробовал нагуглить эту драму, но не нашел. Это где-то на закрытых ресурсах происходит?

/r/programming

но у меня ссылки тоже нет

А, Реддит

Я нашел эту драму. Там уже все отредачили свои тексты

ничего интересного

Ну вот. Функция редактирования сообщений убивает накал страстей.

Я пробовал нагуглить эту драму, но не нашел. Это где-то на закрытых ресурсах происходит?

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

Лисперы не любят хаскеллистов?

они и лисперов не любят

не то что хаскелистов

@graninas помнишь я говорил про *Sec и хаскель? "Realizing DevSecOps with Fugue and AWS" https://fugue.co/resources/2018-02-27-realizing-devsecops-with-fugue-and-aws.html

Лисперы упрекают кого-то в илитарности +inf

@graninas помнишь я говорил про *Sec и хаскель? "Realizing DevSecOps with Fugue and AWS" https://fugue.co/resources/2018-02-27-realizing-devsecops-with-fugue-and-aws.html

Полистал видюшку. Очень знакомо звучит это все, мы тоже в Каспере занимались политиками безопасности и Compliance в рамках DLP.

да это пофиг. главное Sec добавили в базворд

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

Ну тут ещё и хаскель

дальше тоже:)

https://www.youtube.com/watch?v=O805YjOsQjI

https://www.youtube.com/watch?v=bDdkeKr9vVw

https://www.youtube.com/watch?v=soKl1IslU-I

https://www.youtube.com/watch?v=AGJY95Otb9U

https://www.youtube.com/watch?v=0157rUxC4_8

в докладе про левити полиморфизм вторая половина - демо тайп ин тайп

@A64m_qb0 огромное спасибо за такую подборку, буду смотреть

> It's impossible to explain why this set of fields needs to be strict, because the rationale is of the form "the field points to a thunk from line N of TcRnDriver.hs which refers to a thunk from line Y of HscTypes.hs which refers to the HscEnv". To find these I used gdb with the findPtr() utility in rts/Printer.c. Retainer profiling is supposed to solve this kind of problem but in practice it doesn't.

Чому у stack repl такой долгий первый запуск в каждую сессию?

потому, что компиляет?

Вот ведь. как мне в тайп фэмилиз сделать class HasClient m a type Client (m :: * -> *) a :: * instance HasClient m (StreamReq req stream resp) where type Client m (StreamReq req stream resp) = req -> (Stream (Of stream) m resp -> m c) -> m c ? типа c не видит. Обернул деструктор стрима в newtype с RankNTypes, но api не красивое выходит

может делать стрим с ResourceT тупо?

ну меня с ResourceT IO

клиент не видит

а в сервере runResourceT $ ... next

сразу всплывает UnliftIO :(

у меня не сервант

а

UnliftIO норм

зацени какой толстый тип у Stream моего

главное у стрима не размер

хотелось бы просто m (Stream ...) возвращать.

@qnikst как мне сделать стрим который по завершению или эксепшену закроет ресурс? Только ResourceT же?

https://www.youtube.com/watch?v=0157rUxC4_8

Presenter: Antoine @voidlizard

а что

вроде не спам

"Presenter: Antoine Voizard" - шутка

@lonokhov ага

Сделаю лучше с деструктором в ньютайпе пока. Надежнее он как-то

WeakPtr ?

или через bracket ?

(a -> m b) -> m b, а внутри bracket

+

@qnikst https://gist.github.com/sopvop/d11887259eb271f87d0c7266bb8bdc20#file-prik-hs-L29 ибо c из m c неоткуда взять.

это тоже сработает

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

там ресурс живет дольше чем хэндлер

в клиенте?

если в bracket укладывается то это хорошо

в клиенте нет

мне нужно закрыть протоколовый поток

как только клиент получил финальный кусок

я бы хотел деструктор этот прямо в CallT тайп фэмили указать. но не даёт из за того что c нигде слева не видно

а RankNTypes видимо нельзя в TF

А вообще раз у меня нечем API расширять, может сделать на закрытых TF?

а тоже нельзя

И вот после 6 лет хаскеля в продакшене я узнал что на уровне модуля можно любой паттерн писать.

уже нельзя Ж((((

как это?

после 6 лет, но до 8

еще 2 года до продакшена

запретили RecordWildcards с 8 что ли версии

?!

штоа

А чому?

?!

на топлевеле

А чому?

просто так