Leonid 🦇
я когда услышал про synchronized заменяющий мутексы, меня аж перекосило
Aliester
Звездная пыль
Aliester
Вот почему нет языка Stardust
Alexander
Да, всё так
И конечно же, никак нельзя в сторону других языков ничего говорить. Даже правду вроде "Scala не является функциональным языком, так как не энфорсит функциональный (комбинаторный) стиль и не облегчает каррирование, композицию функций"?
A64m
ничего себе какой вы кибергулаг описываете
Alexander
Про такое я не слышал, наоборот сравнение языков приветствуют
Ну может быть за год с лишним обострение толератности прошло.
Alexander
ничего себе какой вы кибергулаг описываете
О, я могу поделиться фразами некоторых ревьюеров. Это перлы
A64m
обязательно надо делиться
Anonymous
Alexander
обязательно надо делиться
Обязательно поделюсь. Но чуть позже.
Anatolii
Обязательно поделюсь. Но чуть позже.
а какую вы книгу написали/пишете?
john
лунное затмение смотрите?
Alexander
Написал только половину за весь 2016 год, к сожалению. И они разорвали контракт, мол, им долго получается. "Functional Design and Architecture", пять глав доступны онлайн: https://www.reddit.com/r/haskell/comments/6ck72h/functional_design_and_architecture/
Alexander
P.S. Я бы на "ты" предпочел. В виду того, что я еще не слишком матерый функциональщик
Denis
чего-то шутка про то что каждый третий хаскеллист книгу пишет не такая уж шутка
Alexander
Монад туториалы уже неинтересно.
Denis
стыдно вообще
Denis
монадам никого так и не научили
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 🦇
"Каждый день я хожу по интернетам с большим гит репо и собираю в него все сорцы на хаскеле которые вижу. На 512 килобайт целый день уходит." Ну и далее про обмазываться
Слава
Ну вы просто не в курсе, мне кажется
Я в курсе. Есть ещё писатели глуховский и прилепин, а также актёр Безруков. И прочий сладкий хлеб made in РФ.
Denis
а dhall это нишевое порно
A64m
есть же нормальные писатели в РФ. Сорокин, например
Denis
то что оно популярно о хаскеллистов, наверняка что-то ценное говорит о хаскеллистах
Слава
есть же нормальные писатели в РФ. Сорокин, например
Да, он нормальный. А вот вышеперечисленные-
A64m
про философов ничего не могу сказать, не знаю ничего ни про одного философа, пишущего на русском языке
Aliester
программист тоже в некоей мере прикладной философ
Aliester
просто есть ницшеанцы, а есть последователи Канта
A64m
впрочем, я из философов читал только Поппера, Куна, Лакатоша и Фейерабенда. Про остальных у меня представление по обзорной книжке Рассела
A64m
ну, понятно что читал всяких писателей, которые считаются философами, типа Камю
Aliester
Leonid 🦇
удоли
Aliester
это намек на оффтоп
Aliester
КОПРО главная часть?
Maxim
КОПРО главная часть?
при любом упоминании копродукта копро - главная часть
A64m
Напоминает ридинг-лист кандидатского по философии
так я физик по образованию, кого еще физики читают?
Leonid 🦇
Вот студентам бесполезно объяснять, да. Надо что-бы студенты сами учились и приходили только когда совсем затупят, но уже поймут что-то рядом и проще будет дожевать.
кана
"Или вас понимают без необходимости объяснений, или, если нужно объясняться, понимания не будет". "Понимание не есть продукт объяснений". Мераб Мамардашвили, философ. Родом из грузинского города Гори.
ну что я имею в виду у нас есть некое определение D термина T. Человек его или понимает, или нет. Мы не будем давать никакого объяснения, мы просто даем другое определение D' термина T. И тут человек уже может понять. Все подходит под цитату, но это ведь и есть объяснение.
Leonid 🦇
Молодец!
Дмитрий
Вылетело из головы, не могу вспомнить, название структуры, толи ди мап, толи думап. Суть в том, что там было толи два ключа по которым (любому из) можно было отыскать значение, толи ключ и значения могли работать взаимно. Есно это всё за логарифм (бинарные деревья же). Так вот было это года полтора назад, а сейчас вдруг нужно. Помогите найти, прошу.
Дмитрий
Быстрый гуглинг не помог.
Alexander
https://hackage.haskell.org/package/bimap-0.2.4/docs/Data-Bimap.html ?