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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1592 membersпожаловаться на группу
2021 June 25

MK

Maxim Koltsov in Haskell
да чтоб вас
источник
18:32пожаловаться#1

MK

Maxim Koltsov in Haskell
опять минус педагогика
источник
18:32пожаловаться#2

KV

Kirill Valyavin in Haskell
ПоДуМай эТо ХороШая ЗаДачКа
источник
18:32пожаловаться#3

[

[BRM]White Rabbit in Haskell
а, анкарри, точно
источник
18:32пожаловаться#4

KV

Kirill Valyavin in Haskell
Законы пускай сам докажет. Вот это хорошая задачка
источник
18:32пожаловаться#5

MK

Maxim Koltsov in Haskell
да можно и без анкарри, лямбдой
источник
18:33пожаловаться#6

MK

Maxim Koltsov in Haskell
даже нагляднее
источник
18:33пожаловаться#7

[

[BRM]White Rabbit in Haskell
я так понимаю, там по сути должна быть не тупля, а hlist ?
источник
18:33пожаловаться#8

[

[BRM]White Rabbit in Haskell
хотя это одно и то же
источник
18:34пожаловаться#9

KV

Kirill Valyavin in Haskell
Ну как бы если можешь тупль, то можешь любой конечный гетерогенный набор, по индукции
источник
18:34пожаловаться#10

[

[BRM]White Rabbit in Haskell
ну, да-да, я ступил
источник
18:35пожаловаться#11

AM

A M in Haskell
А к моноидальности разве не должны прилагаться ассоциаторы?
источник
19:15пожаловаться#12

KV

Kirill Valyavin in Haskell
Там видимо Monoidal — это сокращение от Lax Monoidal
источник
19:16пожаловаться#13

JS

Jerzy Syrowiecki in Haskell
кто тут хотел попрактиковать Хаскель на реальном продакшене?
https://github.com/ruHaskell/ruhaskell/issues/114

у нашего сайта есть нужда в обновлении
GitHub
update Hakyll · Issue #114 · ruHaskell/ruhaskell
/Users/cblp/dev/ruhaskell/src/Markup/About.hs:15:17: error: [-Wdeprecations, -Werror=deprecations] In the use of ‘readTemplate’ (imported from Hakyll.Web.Template, but defined in Hakyll.Web.Templat...
источник
20:05пожаловаться#14

к

кана in Haskell
да, действительно, моноидальный функтор внезапно должен иметь эти морфизмы изоморфизмами, очень странно
источник
20:30пожаловаться#15

к

кана in Haskell
через такое определение понять аппликативы имхо намного проще
источник
20:31пожаловаться#16

[

[BRM]White Rabbit in Haskell
У него законы от моноидов
источник
20:31пожаловаться#17

к

кана in Haskell
мне было очень сложно понять аппликативы, пока мне не показали это https://ncatlab.org/nlab/show/monoidal+functor
источник
20:31пожаловаться#18

к

кана in Haskell
да, это и есть моноид, просто не значений, а "эффектов"
источник
20:32пожаловаться#19

[

[BRM]White Rabbit in Haskell
Возможно, проблема в том что я изначально смотрю на всё с точки зрения программирования?
источник
20:33пожаловаться#20