В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1621 membersпожаловаться на группу
2021 February 03

BK

Boris K in Haskell
Nick Ivanych
В некотором смысле. Не так, как сказано, но мысли в правильном направлении.
Множество эндоморфизмов образует моноид относительно их композиции.
Любое его подмножество порождает какой-то моноид.
Спасибо большое! Попытаюсь переварить :)
источник
15:17пожаловаться#1

t

toriningen in Haskell
Boris K
Я вот эту книгу имел в виду
https://t.me/ru_catheory тут есть специфический чатик конкретно по этой теме
Telegram
Теория категорий
Учим и обсуждаем теорию категорию // здесь вам не профунктор-оптикс
источник
15:17пожаловаться#2

t

toriningen in Haskell
аудитория пересекается большей частью, правда
источник
15:18пожаловаться#3

BK

Boris K in Haskell
toriningen
https://t.me/ru_catheory тут есть специфический чатик конкретно по этой теме
Telegram
Теория категорий
Учим и обсуждаем теорию категорию // здесь вам не профунктор-оптикс
Спасибо, уже вступил. Тема для меня относительно новая и с непривычки непростая. Я всё же больше программист, чем математик. Но мне понравилось начало книги про категории для программистов. Он как будто мои мысли прочитал, точнее, я его ;) когда пытался своим школьникам объяснить, зачем это всё надо программистам.
источник
15:24пожаловаться#4

E

Eduard in Haskell
Где искать работу или фирмы которые используют функциональное программирование?
источник
17:08пожаловаться#5

A

Andrey in Haskell
Eduard
Где искать работу или фирмы которые используют функциональное программирование?
@haskell_cv
источник
17:09пожаловаться#6

A

Andrey in Haskell
(если хаскель)
источник
17:09пожаловаться#7

JS

Jerzy Syrowiecki in Haskell
https://functionaljobs.com/jobs, если всё остальное
Functionaljobs
Jobs -  Functional Jobs
Functional programming jobs available now. Software engineering oles involving Haskell, Clojure, Scala, F#, and more at top companies.
источник
18:03пожаловаться#8

E

Eduard in Haskell
Отлично
источник
18:03пожаловаться#9

JS

Jerzy Syrowiecki in Haskell
Andrey
@haskell_cv
@haskell_job же
источник
18:03пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
хотя лучше на оба подписаться/вступить
источник
18:04пожаловаться#11

A

Andrey in Haskell
да, я их иногда путаю
источник
18:04пожаловаться#12

M

Maxim in Haskell
Подскажите пожалуйста. Есть возможность кросскомпиляции бинарника? Хотел запустить скомпилированное  servant приложение на свежих glibs , а запустить на более старых. Dockerом не могу воспользоваться
источник
19:00пожаловаться#13

A

Aleksandr Khristenko in Haskell
Maxim
Подскажите пожалуйста. Есть возможность кросскомпиляции бинарника? Хотел запустить скомпилированное  servant приложение на свежих glibs , а запустить на более старых. Dockerом не могу воспользоваться
Не можешь для запуска или не можешь для компиляции?
источник
19:02пожаловаться#14

M

Maxim in Haskell
Запустить не могу. На другом компе жалуется на версиб glibs. И я так понял у меня dynamic linked,  а наверное нужна static компиляция. Для меня это темный лес
источник
19:03пожаловаться#15

YP

Yuriy Pachin in Haskell
Знакомлюсь с typr family, не очень понимаю мотивацию вместо

class C c t where
  …

делать

class C c where
 type t :: *
 …
источник
19:07пожаловаться#16

MK

Maxim Koltsov in Haskell
Выглядит часто аккуратнее
источник
19:07пожаловаться#17

MK

Maxim Koltsov in Haskell
Это более явный синтаксис как минимум
источник
19:07пожаловаться#18

YP

Yuriy Pachin in Haskell
Не самый сильный аргумент.
источник
19:09пожаловаться#19

AA

A64m AL256m qn<co... in Haskell
менее явный же
источник
19:09пожаловаться#20