Alex
вообще теоркат для программистов как по мне надо начинать с линейной алгебры
Alex
правда моноидальное толком мапится только на линейнообразные типы
Sherzod
А вот это я:
https://www.linkedin.com/in/sherzod-mutalov-817212a6/
Sherzod
Хорошо, будут ва стикеры с профункторами и гистограммами
Alex
а я https://www.linkedin.com/in/alexgryzlov/
Sherzod
с "профункторами и гистоморфизмами"
Alex
писал дисер по ней но недописал
alexandr
а есть вообще какой-нибудь роадмап по изучению теорката? цель, конечно, не науку двигать, но понимать концепции которые стоят за всеми этими монадами и профункторными оптиками
Alex
ну вот у милевского неплохая серия постов
Sherzod
Ну я вас в друзья добавлю, на всякий случай. Вдруг через 10 лет работу буду искать :P
alexandr
"теория категорий для программистов"?
Alex
ну
Alex
но я повторюсь, на одной ноге типов теоркат плоховато, нужна какая нибудь вторая категория
parket
а есть вообще какой-нибудь роадмап по изучению теорката? цель, конечно, не науку двигать, но понимать концепции которые стоят за всеми этими монадами и профункторными оптиками
http://cadadr.org/NOTES/categories/categories.pdf
Alex
вот например Vect из линейной алгебры относительно несложная
Alex
по ней тоже есть серия постов довольно разжеванных https://graphicallinearalgebra.net/
parket
Ушла пара месяцев на вдумчиво почитать вечерами. Бекграунда было 0. Главное не идти дальше, пока не понял.
alexandr
спасибо!
Danila Matveev
parket
Это именно что выжимка. Заходит тяжеловато. Но при наличии желания ничего невозможного.
Vladislav
но я повторюсь, на одной ноге типов теоркат плоховато, нужна какая нибудь вторая категория
Мне помогло думать про категорию <= на числах, потому что она вообще не похожа
Vladislav
У Милевского видео-курс лекций в четыре с половиной раза понятнее, чем его блог-посты про эти категории
Cheese
Мне помогло думать про категорию <= на числах, потому что она вообще не похожа
вложение множеств, по-моему, ещё более странно
Vladislav
subset то есть?
Vladislav
в меньшей мере, потому что опять объекты=множества
Max Ogloblin
Коллеги, всем привет!
Компания «М.Видео» проводит свой первый M.SMART Хакатон 23-24 сентября.
Приглашаются разработчики, специалисты по Machine Learning, стартап проекты и IT-компании.
Призовой фонд – 150 000 рублей, а также возможность заключить контракт на разработку с «М.Видео». Победители в специальных номинациях будут награждены Xbox One S.
Успей подать заявку до 15 сентября: https://goo.gl/YwDMi2
Vladislav
> доступ к облачной платформе Azure от Microsoft. На базе нее команды будут хранить и презентовать свои разработки
Дай бог терпения тому, кто решит на этом Haskell писать
Max Ogloblin
Просто приглашаю всех на бесплатный хакатон!
Mikhail
Просто приглашаю всех на бесплатный хакатон!
Я теперь сомневаюсь в адекватности хакатона если его так пиарят
Mikhail
Просто приглашаю всех на бесплатный хакатон!
Я конечно извиняюсь за такой вопрос, но ты кто?
Serj
Просто приглашаю всех на бесплатный хакатон!
Serj
Оплатите перелет?
Vladislav
Да что жаловаться-то, вон рабочую зону с вайфаем и едой бесплатно предлагают, можно и на Haskell я так понимаю писать
Yurii
> доступ к облачной платформе Azure от Microsoft. На базе нее команды будут хранить и презентовать свои разработки
Дай бог терпения тому, кто решит на этом Haskell писать
http://hackage.haskell.org/package/distributed-process-azure
А в чём боль?
Vladislav
> This is a proof of concept Azure backend for Cloud Haskell.
Какую это релевантность имеет к тому, чтобы на Azure разрабатывать Haskell?
Yurii
Cheese
халявный коворкинг?
Ilya
Да что жаловаться-то, вон рабочую зону с вайфаем и едой бесплатно предлагают, можно и на Haskell я так понимаю писать
в любом случае все права на всё написанное за эти дни будут принадлежать мвидео
Cheese
закопать
Vladislav
мда
Vladislav
Тогда больше похоже на "приходите бесплатно поработать", чем хакатон
Mikhail
странная политика
Cheese
не совсем бесплатно, есть шанс выиграть приз, ради него и придут
Cheese
но темы какие-то унылые
Max Ogloblin
Только победитель хакатона передаёт права на разработку.
Max Ogloblin
в любом случае все права на всё написанное за эти дни будут принадлежать мвидео
Serj
Может для участников этого чата персональные условия)
Serj
Можно по ссылке пройти, например, и узнать, что нет
Sherzod
Могу дать ссылку на раст чат
Serj
А вообще считается нормальным спамить на такое количество народу?
Max Ogloblin
Просто приглашаем всех желающих на хакатон!
Serj
Всё, что не касается хаскеля, здесь - это спам
Anton
Интересно, какова эффективность такого спама
Anton
200 человек возненавидит М.Видео, 1 клюнет и придёт?
Leonid 🦇
постер премию за 1 получит, на 200 ему срать
Dmitry
wtf?
Dmitry
нужны репрессии?
Cheese
в категории монад объекты вроде Maybe, [], или State, а стрелки — type m ~> n = forall a. (Monad m, Monad n) => m a -> n a
я тут попробовал сформулировать такую на Хаскелле, и даже через n попыток получилось, а потом нашёл готовое в https://www.stackage.org/haddock/lts-9.4/natural-transformation-0.4/Control-Natural.html
cc @strobegen
Ilya
Рассматриваю вариант поступить в аспирантуру, связанную с Haskell или чем-то смежным.
Кто-нибудь может посоветовать хорошие места? Поделиться историей успеха? Не обязательно РФ.
Влод
Рассматриваю вариант поступить в аспирантуру, связанную с Haskell или чем-то смежным.
Кто-нибудь может посоветовать хорошие места? Поделиться историей успеха? Не обязательно РФ.
сложная затея. тебе ведь при этом наверняка не преподавать его хочется а работать над задачами)
Ilya
Ну, преподавать можно обычную прогу
Ilya
Главное это педагогическая нагрузка, а какая она - не так важно
Ilya
По-крайней мере не во всех местах
a66ath
На математику поступи
a66ath
Namdak Tonpa куда-то поступил
Alex
в киев ага
Alex
https://www.cs.st-andrews.ac.uk/pg/research-degrees
Kirill
ну вот у милевского неплохая серия постов
где-то начиная с главы про limit сложность начинает расти экспоненциально, он совсем забывает о практической части и начинается ад
Vladislav
Он наверное не то чтоб забывает, а в языках это перестает выражаться
Kirill
может и так, я не достаточно понял, чтобы пытаться подобрать пример
Kirill
да и в хаскеле есть всякие fix и прочее
Kirill
но он там их не приводит
Kirill
это про главу с f-algebra
Kirill
Я уже понял что даже функтор простыми словами не могу объяснить
я вот попытался (остальным просьба камнями не кидать, пытался объяснять для джавистов): https://www.youtube.com/watch?v=I5cerenAt4s
кана
Я уже понял что даже функтор простыми словами не могу объяснить
Да можно же. Очень просто имхо: функтор (в Хаскеле) позволяет поднять один тип А в более сложную структуру (или другой тип, где А будет фигурировать как один из компонентов), бесплатно получив кучу функций для этой структуры из функций для А.
Понятно, что это определение далеко не точное, но чтобы объяснить точно, нужно тянуть пару-тройку определений из теорката. Но такое определение может быть максимально точным и ни разу не полезным, так как ничего не скажет про то, как это применять, ибо очень абстрактно)