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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

F# Flood: Avalonia crusade

252 membersпожаловаться на группу
2021 April 28

DS

Doge Shibu in F# Flood: Avalonia crusade
Я тут скорее про то, что с помощью списка можно любому нужному типу добавить моноидальные операции, примерно тем же трюком, как это делается во фри монадах.

Что просто достаточно красивый факт относительно категорийных моноидов.
источник
20:27пожаловаться#1

SB

S B in F# Flood: Avalonia crusade
а, да. главное чтоб "пустой список" имел смысл в этом контексте.
источник
20:27пожаловаться#2

DS

Doge Shibu in F# Flood: Avalonia crusade
Вообще свободные конструкции - это дико клевая тема, жаль только, что обычно все пляшут вокруг фри монад, которые даже не самые интересные из подобных структур.
источник
20:27пожаловаться#3

DS

Doge Shibu in F# Flood: Avalonia crusade
Свободные аппликативы могут куда больше пользы принести, потому что с ними, в отличие от фри монад, можно эффективно работать.

(Ну это в целом справедливо для практически всех тайпклассов подобного плана, которые слабее монад)
источник
20:28пожаловаться#4

SB

S B in F# Flood: Avalonia crusade
как по мне, самый полезный примитив это функтор. то есть, много годного прода можно написать, полагаясь на функтор классический и придумки хаскеля вокруг функторов, которые в чистой математике уже не особо и нужны.
источник
20:29пожаловаться#5

SB

S B in F# Flood: Avalonia crusade
они же апликативы
источник
20:29пожаловаться#6

DS

Doge Shibu in F# Flood: Avalonia crusade
Ну да, я вот выше как раз про это
источник
20:29пожаловаться#7

SB

S B in F# Flood: Avalonia crusade
ага, люто плюсую
источник
20:29пожаловаться#8

SB

S B in F# Flood: Avalonia crusade
еще и оптимизацию легко навернуть.
источник
20:30пожаловаться#9

DS

Doge Shibu in F# Flood: Avalonia crusade
А ещё же сейчас набирают популярность селективные функторы, которые мощнее аппликативных, но тем не менее свободная версия которого всё равно эффективно работает.

https://hackage.haskell.org/package/selective
источник
20:33пожаловаться#10

SB

S B in F# Flood: Avalonia crusade
это же уточнение апликативных, насколько я помню?
источник
20:33пожаловаться#11

SB

S B in F# Flood: Avalonia crusade
видимо я плохо помню )
источник
20:33пожаловаться#12

SB

S B in F# Flood: Avalonia crusade
а нет, похоже что хорошо
источник
20:34пожаловаться#13

SB

S B in F# Flood: Avalonia crusade
lass Applicative f => Selective f
источник
20:34пожаловаться#14

I

IdiocyAcceptance in F# Flood: Avalonia crusade
Из описания это Result.map?
источник
20:46пожаловаться#15

SB

S B in F# Flood: Avalonia crusade
это похоже частный случай. в общем случае у тебя вариантов может быть больше, чем два.
источник
20:50пожаловаться#16

I

IdiocyAcceptance in F# Flood: Avalonia crusade
Хотя не, это что-то аля defaultWith.
источник
20:51пожаловаться#17

IC

Ilya Chernoudov in F# Flood: Avalonia crusade
Сегодня снова стал слушать подкасты на английском и было выражение: my dogs are barking. Кто угадает, что это значит?
источник
20:51пожаловаться#18

SB

S B in F# Flood: Avalonia crusade
мои собаки гавкают. попробуй переубеди.
источник
20:51пожаловаться#19

S

Sergey in F# Flood: Avalonia crusade
Дети гавкают?
источник
20:52пожаловаться#20