Leonid 🦇
я когда услышал про synchronized заменяющий мутексы, меня аж перекосило
Зигохистоморфный
Vitaly
Aliester
Звездная пыль
Aliester
Вот почему нет языка Stardust
Alexander
Да, всё так
И конечно же, никак нельзя в сторону других языков ничего говорить. Даже правду вроде "Scala не является функциональным языком, так как не энфорсит функциональный (комбинаторный) стиль и не облегчает каррирование, композицию функций"?
Vitaly
A64m
ничего себе какой вы кибергулаг описываете
A64m
обязательно надо делиться
Anatolii
john
лунное затмение смотрите?
Alexander
Написал только половину за весь 2016 год, к сожалению. И они разорвали контракт, мол, им долго получается.
"Functional Design and Architecture", пять глав доступны онлайн:
https://www.reddit.com/r/haskell/comments/6ck72h/functional_design_and_architecture/
Alexander
Alexander
P.S. Я бы на "ты" предпочел. В виду того, что я еще не слишком матерый функциональщик
Denis
чего-то шутка про то что каждый третий хаскеллист книгу пишет не такая уж шутка
Alexander
Монад туториалы уже неинтересно.
Denis
стыдно вообще
Denis
монадам никого так и не научили
Anatolii
Alexander
Парадокс потому что. Его никак не объехать
Leonid 🦇
Про книги вспомнилось https://www.youtube.com/watch?v=kIOo_1FoiLQ
Alexander
Жалко конечно
Ну, я еще не теряю надежды ее просто дописать. Но в 2017 я бакланил.
Darwin
Патреон если что с Россией прекрасно работает
Darwin
По крайней мере есть знакомые художники которые только с него и живут
Darwin
Деньги без проблем выводят
Alexander
Я уже точно не помню, но там была проблема не в выводе денег, а в создании своего проекта.
Alexander
Ну если через всякие окольные пути завести аккаунт, то еще может быть
Зигохистоморфный
есть дилемма
у меня есть частый кусок кода fmap f . d . fmap g где
d это дистрибутивный закон
может кто знает общее название для такого кода?
Leonid 🦇
Ну и как писать хай перформанс хаскель если ты не пишешь GHC?
> These conversion to Word are essential because GHC handles case on Int and Word using jump tables, but all the other Num types like Int8, Word8 etc it uses massive chains of (==) tests. So the conversion to Word is essential for good performance here, O(1) vs O(n).
Слава
Зигохистоморфный
type DistributiveLaw f g = forall a. f (g a) -> g (f a)
Слава
Vitaly
"Или вас понимают без необходимости объяснений, или, если нужно объясняться, понимания не будет".
"Понимание не есть продукт объяснений".
Мераб Мамардашвили, философ. Родом из грузинского города Гори.
Vitaly
Alexander
Denis
Leonid 🦇
Leonid 🦇
A64m
Denis
Слава
Почему?
Историк акунин, философ мамрадишвили, режиссёр серебренников, судья хахалева и президент путин. И так у них всё.
Vitaly
Leonid 🦇
"Каждый день я хожу по интернетам с большим гит репо и собираю в него все сорцы на хаскеле которые вижу. На 512 килобайт целый день уходит." Ну и далее про обмазываться
Denis
а dhall это нишевое порно
A64m
есть же нормальные писатели в РФ. Сорокин, например
Denis
то что оно популярно о хаскеллистов, наверняка что-то ценное говорит о хаскеллистах
Слава
A64m
про философов ничего не могу сказать, не знаю ничего ни про одного философа, пишущего на русском языке
Aliester
программист тоже в некоей мере прикладной философ
Aliester
просто есть ницшеанцы, а есть последователи Канта
кана
A64m
впрочем, я из философов читал только Поппера, Куна, Лакатоша и Фейерабенда. Про остальных у меня представление по обзорной книжке Рассела
Leonid 🦇
Vitaly
A64m
ну, понятно что читал всяких писателей, которые считаются философами, типа Камю
Aliester
Leonid 🦇
Aliester
это намек на оффтоп
Maxim
Aliester
КОПРО главная часть?
Vitaly
Leonid 🦇
Вот студентам бесполезно объяснять, да. Надо что-бы студенты сами учились и приходили только когда совсем затупят, но уже поймут что-то рядом и проще будет дожевать.
Vitaly
Vitaly
Leonid 🦇
Молодец!
Дмитрий
Вылетело из головы, не могу вспомнить, название структуры, толи ди мап, толи думап. Суть в том, что там было толи два ключа по которым (любому из) можно было отыскать значение, толи ключ и значения могли работать взаимно. Есно это всё за логарифм (бинарные деревья же). Так вот было это года полтора назад, а сейчас вдруг нужно. Помогите найти, прошу.
Дмитрий
Быстрый гуглинг не помог.
Alexander
https://hackage.haskell.org/package/bimap-0.2.4/docs/Data-Bimap.html ?