Дно это уничтожение всего человечества, ну
GNU
Leonid 🦇
Евгений
Да, похоже на ситуацию, когда обледенел датчик, и приняли неверное решение.
Может, ситуация повернётся так, что немного откроются глаза.
Откроются глаза на то, что блокировки это полумеры и нужно возводить фаервол? :(
Leonid 🦇
есть вариант что верховный совсем поедет кукухой и его заменят на "либерала". операция "преемник 2". либерализация вместо взрывов домов и второй чеченской с мочением в сортире.
Leonid 🦇
вероятность КРАЙНЕ МАЛА
Anonymous
Не, на то, что решение было принято неправильное. Что датчик обледенел.
Anonymous
И капитан, и помощник увидели землю. Жалко, что поздно.
Видимость плохая.
Евгений
есть вариант что верховный совсем поедет кукухой и его заменят на "либерала". операция "преемник 2". либерализация вместо взрывов домов и второй чеченской с мочением в сортире.
Ну можно подумать, что верховный сам решения принимает. Даже диктаторы и абсолютные монархи сильно зависили от мнения приближённых
Leonid 🦇
помошников много, и все они борются. а ему нужно выбрать одно из.
Евгений
Скорее кукухой поехали главы госкорпораций типа Грефа, который заявил, что кодеры не нужны.
Leonid 🦇
Греф прав
Leonid 🦇
кодеры не нужын
Евгений
помошников много, и все они борются. а ему нужно выбрать одно из.
Ну ща выглядит так, что никто решения не принимает. Если бы принимали, то не было бы откровенных войн одной части бизнеса против другой
Евгений
Скорее он сидит и констатирует уже свершившиеся факты (и собственно всегда так делал)
A64m
Ну ща выглядит так, что никто решения не принимает. Если бы принимали, то не было бы откровенных войн одной части бизнеса против другой
непонятно, как тут одно из другого следует
Евгений
Ну как в любом ультраправом строе было в течении XX века: сначала принимается решение, а недовольный бизнес убирают.
Yura
вопрос: вот есть у меня например несколько ZMQ сокетов, я хочу объединить их в пары, Pub/Sub Req/Rep и т.п.
Req/Rep - это разные типы
я хочу сделать тип напри SyncConnection
и хочу некую функцию
clientSock :: SocketType t => a -> t
serverSock :: SocketType t => a -> t
Как это лучше сделать?
A64m
если этого нет, не значит, что решения никто не принимает
Max
ZMQ
Max
Боль
Yura
боль...
Yura
но вопрос не про ZMQ, а как это всунуть в систему типов
Evgeny
Товарищи, а подскажите, пожалуйста. Программа падает и выводит фразу out of memory. Как её профайлить лучше, чтобы понять, где косяк?
Alexander
zmq - боль
Alexander
в Haskell
Danila Matveev
пардон, рядом другой чат висел, окосел %)
Alexander
можно поточнее задачу?
Денис
такой вопрос. это не зашкварно юзать (&)?
Dmitry
Товарищи, а подскажите, пожалуйста. Программа падает и выводит фразу out of memory. Как её профайлить лучше, чтобы понять, где косяк?
Запускать с +RTS -p, смотреть вывод.
A64m
нет, это не норма, так мало что делает, но ничего страшного в нем нет
A64m
надо сделать так чтоб программа не падала
A64m
данных меньше и т.д.
Alexander
запустить с -M1G
Alexander
оно свалится но файлик будет
Evgeny
Спасибо. Попробую.
Влод
такой вопрос. это не зашкварно юзать (&)?
в елме чаще юзают этот оператор
в хаскеле чому то реже
прочитать все смогут
Alexander
А с линзами амперсанд не юзают разве?
Aleksei (astynax)
Линзокод в сполшных амперсандах
A64m
да, с линзами нормально юзать, там это рекомендуемый подход
IC
есть ли жизнь в Operational или можно сразу за freer браться?
Alexander
мы использовали, почему не знаю
Alexander
https://www.reddit.com/r/haskell/comments/4cfxri/relationship_between_operational_monad_and_oleg/
IC
> Freer is just the "Reflection without Remorse" construction applied to the Operational monad, rather than the Free monad.
опа
Alexander
да
IC
нужно больше бананов и линз
кана
есть ли жизнь в Operational или можно сразу за freer браться?
зависит еще от того, что вы понимаете под freer
кана
по моему тут сильный диснейминг произошел
freer-монада сама по себе это и есть operational, но я сходу не нашел пакетов с ней
data Freer f a where
Pure :: a -> Freer f a
Free :: f x -> (x -> Freer f a) -> Freer f a
а freer-пакеты - это уже реализации расширяемых эффектов поверх freer + open union
Alexander
Опять вы про фри монады. @qnikst же вчера на митапе сказал, что они не нужны, что тут еще обсуждать.
кана
кекб
Alexander
https://markkarpov.com/post/free-monad-considered-harmful.html
Alexander
kana дело говорит выше
Alexander
Надо написать уже статейку "Posts "X considered harmful" considered harmful"
A64m
Alexander
ну наконец-то
Да. Я теперь буду рассказывать на докладах, что вот так не нужно фри монаду применять, а еще вот так и вот так
Alexander
Вчера уже это начал делать. Не шутка.
Alexander
Alexander
Хорошо. Значит, у меня есть единомышленник, живем.
A64m
о, я смотрю уже заявлено что до заморозки фич 8.6 6 недель
Alexander
второй багфикс релиз
A64m
причем, к примеру, OR-паттерны отправили в рулевой комитет (повторно) 3-его марта, и комитетчик, который должен представить заявку комитету до сих пор не сделал этого
Евгений
Маяковский - "Бюрократиада".txt
A64m
что же они делают-то, не хочу второй релиз без фич
Ivan
привет всем, помогите пожалуйста разобраться.
Такой вопрос: я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя.
Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать?
Не обязательно связанный с программированием и желательно без использования хаскеля, с ним у меня туго...
Евгений
привет всем, помогите пожалуйста разобраться.
Такой вопрос: я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя.
Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать?
Не обязательно связанный с программированием и желательно без использования хаскеля, с ним у меня туго...
Есть чат про теорию категорий. А вообще стрелка и функтор это явления разного порядка. Стрелка находится внутри категории, а функтор между категориями.
Если можно математический пример — то, гомоморфизмы групп это стрелки внутри категории групп. А вот взятие коммутанта группы это функтор из категории групп в неё саму
Евгений
https://t.me/ru_catheory
Ilya
привет всем, помогите пожалуйста разобраться.
Такой вопрос: я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя.
Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать?
Не обязательно связанный с программированием и желательно без использования хаскеля, с ним у меня туго...
>Но что есть категория эндофункторов и как там найти моноид
>желательно без использования хаскеля
Что за странное желание — хотеть понять монады, но при этом избегать хаскеля?
Зигохистоморфный
Andrey
+
Ilya
имхо лучше наоборот идти, от хаскеля к категорийному определению монады, если у человека возникают проблемы всё это представить
Andrey
любите монады в хаскеле а не хаскель в монадах (С кто-то из театралов)
Евгений
имхо лучше наоборот идти, от хаскеля к категорийному определению монады, если у человека возникают проблемы всё это представить
У человека математический бекграунд, он это сразу сказал
Andrey
от хаскеля можно прийти к чему угодно - от классов типов до бурито
Евгений
К пицце можно?
Ilya
У человека математический бекграунд, он это сразу сказал
с математическим бэкграундом понять монаду в хаскеле вообще easy
Ilya
а бэкграунда по ТК у него нет
Евгений
Многие математики и программировать-то не умеют
Ilya
умеют, они просто этого ещё не знают:)
Евгений
R! (я не математик, конечно)