@haskellru

Страница 399 из 1551
Sherzod
12.09.2017
12:33:10
а я https://www.linkedin.com/in/alexgryzlov/
ООО, биоинформатика? или что-то лучше?

Alex
12.09.2017
12:33:22
писал дисер по ней но недописал

a.
12.09.2017
12:33:51
а есть вообще какой-нибудь роадмап по изучению теорката? цель, конечно, не науку двигать, но понимать концепции которые стоят за всеми этими монадами и профункторными оптиками

Alex
12.09.2017
12:34:04
ну вот у милевского неплохая серия постов

Google
Sherzod
12.09.2017
12:34:12
Ну я вас в друзья добавлю, на всякий случай. Вдруг через 10 лет работу буду искать :P

a.
12.09.2017
12:34:29
"теория категорий для программистов"?

Alex
12.09.2017
12:34:35
ну

но я повторюсь, на одной ноге типов теоркат плоховато, нужна какая нибудь вторая категория

Alex
12.09.2017
12:35:57
вот например Vect из линейной алгебры относительно несложная

по ней тоже есть серия постов довольно разжеванных https://graphicallinearalgebra.net/

ParkeT
12.09.2017
12:36:53
Ушла пара месяцев на вдумчиво почитать вечерами. Бекграунда было 0. Главное не идти дальше, пока не понял.

a.
12.09.2017
12:37:12
спасибо!

Daniel
12.09.2017
12:38:08
ParkeT
12.09.2017
12:38:22
Это именно что выжимка. Заходит тяжеловато. Но при наличии желания ничего невозможного.

Index
12.09.2017
12:40:19
но я повторюсь, на одной ноге типов теоркат плоховато, нужна какая нибудь вторая категория
Мне помогло думать про категорию <= на числах, потому что она вообще не похожа

У Милевского видео-курс лекций в четыре с половиной раза понятнее, чем его блог-посты про эти категории

Google
Yuriy
12.09.2017
12:42:00
Index
12.09.2017
12:42:28
subset то есть?

в меньшей мере, потому что опять объекты=множества

Max Ogloblin
12.09.2017
13:23:21
Коллеги, всем привет! Компания «М.Видео» проводит свой первый M.SMART Хакатон 23-24 сентября. Приглашаются разработчики, специалисты по Machine Learning, стартап проекты и IT-компании. Призовой фонд – 150 000 рублей, а также возможность заключить контракт на разработку с «М.Видео». Победители в специальных номинациях будут награждены Xbox One S. Успей подать заявку до 15 сентября: https://goo.gl/YwDMi2

Index
12.09.2017
13:25:09
> доступ к облачной платформе Azure от Microsoft. На базе нее команды будут хранить и презентовать свои разработки Дай бог терпения тому, кто решит на этом Haskell писать

Max Ogloblin
12.09.2017
13:25:35
Просто приглашаю всех на бесплатный хакатон!

Mikhail Subbotin
12.09.2017
13:26:15
Просто приглашаю всех на бесплатный хакатон!
Я теперь сомневаюсь в адекватности хакатона если его так пиарят

Просто приглашаю всех на бесплатный хакатон!
Я конечно извиняюсь за такой вопрос, но ты кто?

Serj
12.09.2017
13:26:58
Просто приглашаю всех на бесплатный хакатон!

Оплатите перелет?

Index
12.09.2017
13:27:17
Да что жаловаться-то, вон рабочую зону с вайфаем и едой бесплатно предлагают, можно и на Haskell я так понимаю писать

Index
12.09.2017
13:28:44
> This is a proof of concept Azure backend for Cloud Haskell. Какую это релевантность имеет к тому, чтобы на Azure разрабатывать Haskell?

Yuriy
12.09.2017
13:38:12
халявный коворкинг?

Index
12.09.2017
13:39:57
Оплатите перелет?
Можно по ссылке пройти, например, и узнать, что нет

Ilya
12.09.2017
13:40:06
Да что жаловаться-то, вон рабочую зону с вайфаем и едой бесплатно предлагают, можно и на Haskell я так понимаю писать
в любом случае все права на всё написанное за эти дни будут принадлежать мвидео

Yuriy
12.09.2017
13:40:26
закопать

Index
12.09.2017
13:40:31
мда

Google
Index
12.09.2017
13:40:57
Тогда больше похоже на "приходите бесплатно поработать", чем хакатон

Mikhail Subbotin
12.09.2017
13:41:11
странная политика

Yuriy
12.09.2017
13:44:15
не совсем бесплатно, есть шанс выиграть приз, ради него и придут

но темы какие-то унылые

Max Ogloblin
12.09.2017
13:47:09
Только победитель хакатона передаёт права на разработку.

в любом случае все права на всё написанное за эти дни будут принадлежать мвидео

Serj
12.09.2017
13:53:12
Может для участников этого чата персональные условия)

Можно по ссылке пройти, например, и узнать, что нет

Sherzod
12.09.2017
13:54:11
Может для участников этого чата персональные условия)
В пайтон чат запаблишено, так что нет

Могу дать ссылку на раст чат

Serj
12.09.2017
13:55:17
А вообще считается нормальным спамить на такое количество народу?

Max Ogloblin
12.09.2017
13:56:13
Просто приглашаем всех желающих на хакатон!

Serj
12.09.2017
13:56:39
Всё, что не касается хаскеля, здесь - это спам

Anton
12.09.2017
13:58:10
Интересно, какова эффективность такого спама

200 человек возненавидит М.Видео, 1 клюнет и придёт?

Leonid
12.09.2017
14:26:28
постер премию за 1 получит, на 200 ему срать

Dmitry
12.09.2017
14:29:00
wtf?

нужны репрессии?

Yuriy
12.09.2017
17:06:04
в категории монад объекты вроде 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
12.09.2017
17:30:33
Рассматриваю вариант поступить в аспирантуру, связанную с Haskell или чем-то смежным. Кто-нибудь может посоветовать хорошие места? Поделиться историей успеха? Не обязательно РФ.

Google
Ilya
12.09.2017
17:40:52
Ну, преподавать можно обычную прогу

Главное это педагогическая нагрузка, а какая она - не так важно

По-крайней мере не во всех местах

Abbath
12.09.2017
18:47:17
На математику поступи

Namdak Tonpa куда-то поступил

Alex
12.09.2017
18:48:03
в киев ага

https://www.cs.st-andrews.ac.uk/pg/research-degrees

Kirill
12.09.2017
19:01:33
ну вот у милевского неплохая серия постов
где-то начиная с главы про limit сложность начинает расти экспоненциально, он совсем забывает о практической части и начинается ад

Index
12.09.2017
19:03:11
Он наверное не то чтоб забывает, а в языках это перестает выражаться

Kirill
12.09.2017
19:05:04
может и так, я не достаточно понял, чтобы пытаться подобрать пример

да и в хаскеле есть всякие fix и прочее

но он там их не приводит

это про главу с f-algebra

Я уже понял что даже функтор простыми словами не могу объяснить
я вот попытался (остальным просьба камнями не кидать, пытался объяснять для джавистов): https://www.youtube.com/watch?v=I5cerenAt4s

kana
13.09.2017
04:59:10
Я уже понял что даже функтор простыми словами не могу объяснить
Да можно же. Очень просто имхо: функтор (в Хаскеле) позволяет поднять один тип А в более сложную структуру (или другой тип, где А будет фигурировать как один из компонентов), бесплатно получив кучу функций для этой структуры из функций для А. Понятно, что это определение далеко не точное, но чтобы объяснить точно, нужно тянуть пару-тройку определений из теорката. Но такое определение может быть максимально точным и ни разу не полезным, так как ничего не скажет про то, как это применять, ибо очень абстрактно)

kana
13.09.2017
05:35:23
Хм, могу ошибаться, но функторы можно выразить через категорию всех категорий Cat. Морфизмы в такой категории будут функторами. Если перемножить такую категорию саму с собой, то получаем бифунктор в виде морфизма. Эта категория в степени n порождает мультифунктор как морфизм. У OpCat * Cat морфизмом будут профункторы

Dmitry
13.09.2017
07:00:09
Отличные стикеры)

Google
Sergey
13.09.2017
07:53:23
Обзоры книжек по Haskell https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749

kana
13.09.2017
08:03:43
Почему?

Насколько я знаю, в теоркате праймари термин именно морфизм, а стрелка - синоним

речь же не про "функция/отображение"

Vyacheslav
13.09.2017
08:04:39
Наоборот

Морфизм это синоним и не всегда точный

https://ncatlab.org/nlab/show/morphism

Abbath
13.09.2017
08:10:12
Функтором и в более простую структуру поднять можно

:)

Donat
13.09.2017
08:10:26
а кто-нибудь читал Maybe Haskell?

Ilya
13.09.2017
08:15:23
Насколько я слышал, аксиоматически теоркат строится именно на абстрактных стрелках. Даже отдельное понятие объектов не нужно

Vyacheslav
13.09.2017
08:16:46
Ну и вообще, определять тайпклассы в хаскеле через аналогичные понятия в теоркате — это ни в коем случае не точные определения, потому что это всё-таки абстрактные понятия, которые имплементированы в конкретном языке, конкретным образом

Поэтому прикольно конечно понимать что такое функтор в теоркате и знать его определение: но это не сильно полезно при начальном понимании, это ни разу не точное определение функтора в хаскелле

Evgeniy
13.09.2017
08:19:53

Страница 399 из 1551