Anonymous
Ну это то, что первое в поиске попалось. Там и ссылка на письмо 2013-го года.
В общем, дело за малым, а пока пользуемся StateT
Кабачок
А какой здесь тип у pure?
кана
a -> (Config -> a)
кана
pure x = \_ -> x
Кабачок
Дичь
кана
instance Functor ((->) e) where
fmap = (.)
instance Applicative ((->) e) where
pure = const
mf <*> mx = \env -> (mf env) (mx env)
instance Monad ((->) e) where
m >>= f = \env -> f (m env) env
instance MonadReader r ((->) r) where
ask = id
Leonid 🦇
Это Хаскель, детка. То что для всех дичь, для нас - скучные монадки.
Кабачок
Чет бетмен на твоей аватарке не согласен
Leonid 🦇
Бэтмэн вторую неделю на плюсах сегфолты пишет
Yura
тебя к батарее привязали и не отпускают?
Leonid 🦇
надо успеть наговнякать тулов перед запуском мульта в прод. потом год (а то и 3) сожалеть что всё сделал не так, но поменять уже нельзя.
Cheese
Dmitry
оо!!! там есть API для генерации текста!?
Dmitry
спасибо
Kirill
"Azara is a set of web and mobile tools that keeps your marijuana business compliant."
Kirill
ну и как же тут обойтись без хаскеля, конечно...
Кабачок
Кто тут говорил что на хаскеле не пишут приложений для real world?
Yura
надо срочно организовать Amsterdam Haskell User Group
Kirill
ну эти-то в Колораде
Yura
как это помешает нашему митапу?
Kirill
поможет более широким охватом
Yura
короче, пусть привозят с собой
Arseniy
Привет! 17 марта в Санкт-Петербурге по адресу Переулок Талалихина 7 в офисе Serokell в 19:00 будет митап в виде домашних посиделок. В программе: разговорчики о функциональном программировании и Haskell в частности, формальных доказательствах, алгебре, крипте, выч. геометрии, философии, будущем и обо всем, в принципе, о чем только можно :)
Вход бесплатный, но будет классно, если вы принесете с собой еды/напитки/настолки/что сами пожелаете.
Будем рады встрече и знакомству!
Arseniy
@qnikst ⏫
Arseniy
Мы будем в офисе раньше, так что пишите и приходите заранее, если вам удобно.
Aleksei (astynax)
https://www.azara.io/
Aleksei (astynax)
Хайрят на Haskell+Elm :)
Aleksei (astynax)
Интересный проект :D
кана
5+ лет опыта...
Dmitry
Как заебали пины сообщений
kosc
А чего они в тот же день, что и ITGM решили собраться?
Кабачок
Может им тоже билетов не хватило
kosc
Так регистрация ещё открыта.
kosc
Правда, там ITGM до 18:00, а сходка с 19:00. Можно успеть присесть на два стула сразу.
Влод
kosc
Ну так там же есть FProg!
Влод
посмотреть на динамщики против динамщиков
kosc
Ну уже неплохо!
Влод
обычно просто во время итгм фпрог мимикрирует в более унылый чтобы соответствовать мероприятию и как бы смысла туда идти становится оче мало
kosc
Я помню, как FProg на серьёзных щах хотели устроить сосисочную вечеринку в бане, о чём постоянно орали. Я от этого даже с их канала ливнул.
Андрей
так устроили же 😅
Alexander
вы программу fprog видели?
Alexander
static vs dynamic на все часы
Alexander
где не факт что статик представляют те, кто программирует на языках с нормальной статической системой типов
kosc
Где static представляют те, кто программирует на public static void main?
Alexander
переносить в реал срач из-за которого, я например, обиделся на fprog и не хочу иметь с ними ничего общего если не позовут/не ищвинятся
kosc
Так, ясно, qnikst-а мы на ITGM не увидим.
Alexander
может приеду, там кроме fprog были интересные доклады
Alexander
я бы сишников про высоконагруженные системы послушал
Alexander
но обычно мне жаль целый день упускать, я обычно в выходные с семьей
Alexander
на другие ITGM я так и не решался ехать, может зря
Alexander
ха, там долбанутые шутеечки продолжаются (на фпрог)
kosc
Дай знать что ли, если таки поедешь, никогда не видел вживую известных хаскелистов. А ты до кучи ещё и гентушник. Если бы я был совсем задрот, я бы тебе поклонялся наверное.
Andrey
Andrey
Я вообще нахожу трудностью вербально обьяснить почему с типами проще)
Alexander
там спрашивали про доклады, я не готов готовить доклад за столь короткий срок
Alexander
ну и за столько лет дискуссий статик vs динамик я немного утратил к этому интерес
Alexander
одни и те же агрументы, одни и те же ответы, скоро книжку печатать можно будет
Andrey
В целом да... но явно идёт положительный сдвиг в индустрии
A64m
static vs dynamic на все часы
у меня возникли некоторые ассоциации, решил проверить и точно:
> Pacific Gas and Electric Company still provided DC power to some locations in San Francisco through at least 2012, primarily for elevators, supplied by close to 200 rectifiers each providing power for 7-10 customers
Alexander
Alexander
в целом там аудитория dynamic biased общаться там нужно иметь крепкие нервы
Alexander
или успокоительное в кармане
Alexander
kosc
Или здоровый пофигизм в характере.
Alexander
если пофиг на результат, зачем на сцену идти, можно в кулуарах обсудить
A64m
я глупый и не понял
ассоциация с войной токов, последняя комания которая сети постоянного тока поддерживает, оказывается, осталась в заливной области, в самом программистском гнездилище, а у программистов вечно же такие карманы хтонического ужаса из прошлого везде.
A64m
На последнем таком лифте, конечно Рич Хикки какой-нибудь ездит целый день
Denis
а чего покомпактнее пишет - store или cbor?
Alexander
store
Alexander
там тегов
Alexander
нет
A64m
это зависит
Leonid 🦇
store маленькие инты не компактит
A64m
цбор, вроде, может более компактно числа хранить
Denis
больше строк и всяких рекордов тут будет
Denis
я так понял store лучше подойдет
Зигохистоморфный
Leonid 🦇
список участников статико-динамической дискуссии с компетенциями. https://medium.com/piterjs/announce23-cffcc2ae54f8