Size: a a a

2018 April 20

AP

Aleksei (astynax) Pirogov in fprog_spb
Получается только хуже, как правило. Если не ты один весь проект пишешь
источник

АГ

Александр Гранин in fprog_spb
Извините, я забыл тег irony
источник

PK

Pavel Khritonenko in fprog_spb
Тут не лепра
источник

АГ

Александр Гранин in fprog_spb
А что там, на Лепре? Меня туда никто не хочет приглашать :(
источник

PK

Pavel Khritonenko in fprog_spb
Тэг <irony /> там есть.
источник

n

neFormal in fprog_spb
кто знает, что интересного можно вытащить с ACM ?
источник

PK

Pavel Khritonenko in fprog_spb
источник

PK

Pavel Khritonenko in fprog_spb
^^^ всем новоприбывшим
источник

IZ

Ivan Zemlyankiy in fprog_spb
Мы же тут не за этим собрались =)
источник

IZ

Ivan Zemlyankiy in fprog_spb
Но спасибо )
источник

IZ

Ivan Zemlyankiy in fprog_spb
Слушайте, такой вопрос, я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя.
Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать?
источник

IZ

Ivan Zemlyankiy in fprog_spb
Или это не сюда? А лучше к математикам?
источник

АГ

Александр Гранин in fprog_spb
В хаскельный чат приходиье, там это любят
источник

n

neFormal in fprog_spb
остальным знать не нужно
источник

u

user in fprog_spb
источник

u

user in fprog_spb
хм, что-то странное с линком на канал происходит)
источник

IZ

Ivan Zemlyankiy in fprog_spb
Эх, не хотел я этого делать... для меня пока хаскель~= эльфийский
источник

AV

Alexander Vershilov in fprog_spb
neFormal
остальным знать не нужно
хаскелистам тоже не обязательно
источник

n

neFormal in fprog_spb
интерфейс запомнил, можно работать
источник

NR

Nzr Rbzv in fprog_spb
Ivan Zemlyankiy
Слушайте, такой вопрос, я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя.
Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать?
Могу пояснить, если актуально.
Мимотеоркатщик
источник