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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

F# Flood: я вас категорически приветствую!

198 membersпожаловаться на группу
2020 March 27

M

Mikhail in F# Flood: я вас категорически приветствую!
Артёмка ;)
вроде как давно уже понял что такое монада, но давайте еще разок:
1. что такое монада?
2. что такое моноид?
3. что такое функтор?
4. что такое апликативный функтор?

надеюсь завтра проснусь и увижу тут ответы.
О, синдром бульбазаврика
источник
20:11пожаловаться#1

SN

Shub Niggurath in F# Flood: я вас категорически приветствую!
@Prunkles в общем, перед тем, как каргокультить эти конструкции, доберись сначала до проблемы. пусть проблема сначала манифестирует себя в твоем коде, а уж потом мы будем дискутировать, стоит ли мутить функтор для нее или может задизайнить вокруг проблемы? по крайней мере, у тебя будет сильный аргумент
источник
20:12пожаловаться#2

SN

Shub Niggurath in F# Flood: я вас категорически приветствую!
признаки проблемы - это например вложенные матчи по Choice\Option, развесистая валидация кейсов DU и т.п.
то есть что-то на что ты смотришь и думаешь - "неее, должен быть способ получше"
источник
20:13пожаловаться#3

PD

Prunkles Dreemurr in F# Flood: я вас категорически приветствую!
Shub Niggurath
признаки проблемы - это например вложенные матчи по Choice\Option, развесистая валидация кейсов DU и т.п.
то есть что-то на что ты смотришь и думаешь - "неее, должен быть способ получше"
Да, что-то такое и проявляется. Чётко сформулировать, к сожалению, не могу
источник
20:14пожаловаться#4

SN

Shub Niggurath in F# Flood: я вас категорически приветствую!
ну ты показывай код с проблемой, а не то, как ты скопировал подход с какого-то гайдлайна
источник
20:14пожаловаться#5

SN

Shub Niggurath in F# Flood: я вас категорически приветствую!
время щас такое - никому верить нельзя, особенно в интернете
источник
20:14пожаловаться#6

SN

Shub Niggurath in F# Flood: я вас категорически приветствую!
могут лишить невинности удаленно
источник
20:15пожаловаться#7

PD

Prunkles Dreemurr in F# Flood: я вас категорически приветствую!
Shub Niggurath
время щас такое - никому верить нельзя, особенно в интернете
* говорит человек в интернете
источник
20:15пожаловаться#8

SN

Shub Niggurath in F# Flood: я вас категорически приветствую!
Prunkles Dreemurr
* говорит человек в интернете
я большой любитель парадоксов, да
источник
20:15пожаловаться#9

SB

S B in F# Flood: я вас категорически приветствую!
Doge Shibu
Ну не, функтор ещё ниже сидит на уровне элементарности
Апликативный функтор вообще нетеоркатное понятие ечли так-то.
источник
20:16пожаловаться#10

DS

Doge Shibu in F# Flood: я вас категорически приветствую!
S B
Апликативный функтор вообще нетеоркатное понятие ечли так-то.
Да, но мы тут про код, а не теоркат
источник
20:16пожаловаться#11

DS

Doge Shibu in F# Flood: я вас категорически приветствую!
Т.к. если про теоркат, то функтор там все же ощутимо отличается.

У нас везде в языках эндофункторы в категории типов данного языка, если уж корректно говорить
источник
20:17пожаловаться#12

SB

S B in F# Flood: я вас категорически приветствую!
Doge Shibu
Т.к. если про теоркат, то функтор там все же ощутимо отличается.

У нас везде в языках эндофункторы в категории типов данного языка, если уж корректно говорить
Спорное и скорее всего некорректное утверждение, но да я суть уловил, в общем-то ты прав: "наши" функторы это действительно тень отца Гамлета.
источник
20:19пожаловаться#13

SB

S B in F# Flood: я вас категорически приветствую!
Артёмка ;)
вроде как давно уже понял что такое монада, но давайте еще разок:
1. что такое монада?
2. что такое моноид?
3. что такое функтор?
4. что такое апликативный функтор?

надеюсь завтра проснусь и увижу тут ответы.
1. забудь
источник
20:20пожаловаться#14

DS

Doge Shibu in F# Flood: я вас категорически приветствую!
S B
Спорное и скорее всего некорректное утверждение, но да я суть уловил, в общем-то ты прав: "наши" функторы это действительно тень отца Гамлета.
Некорректное потому что типы данного языка обычно не могут образовать "хорошую" категорию из-за всяких undefined и других bottom типов
источник
20:20пожаловаться#15

SB

S B in F# Flood: я вас категорически приветствую!
Артёмка ;)
вроде как давно уже понял что такое монада, но давайте еще разок:
1. что такое монада?
2. что такое моноид?
3. что такое функтор?
4. что такое апликативный функтор?

надеюсь завтра проснусь и увижу тут ответы.
2. множество + бинарная ассоциативная операция + нулевой элемент
источник
20:20пожаловаться#16

M

Mikhail in F# Flood: я вас категорически приветствую!
S B
2. множество + бинарная ассоциативная операция + нулевой элемент
Зочем ты ему отвечаешь если он вопрос как чорт задал
источник
20:21пожаловаться#17

SB

S B in F# Flood: я вас категорически приветствую!
Артёмка ;)
вроде как давно уже понял что такое монада, но давайте еще разок:
1. что такое монада?
2. что такое моноид?
3. что такое функтор?
4. что такое апликативный функтор?

надеюсь завтра проснусь и увижу тут ответы.
3. забудь. чтобы понять что такое функтор, надо сначала понять что такое категория и посмотреть на другие примеры гомоморфизмов. например, гомоморфизм направленных графов.
источник
20:21пожаловаться#18

SB

S B in F# Flood: я вас категорически приветствую!
Doge Shibu
Некорректное потому что типы данного языка обычно не могут образовать "хорошую" категорию из-за всяких undefined и других bottom типов
это я даже во внимание не принимаю, если так ставить вопрос, то никакой инструментарий теорката неприменим.
источник
20:21пожаловаться#19

SB

S B in F# Flood: я вас категорически приветствую!
Артёмка ;)
вроде как давно уже понял что такое монада, но давайте еще разок:
1. что такое монада?
2. что такое моноид?
3. что такое функтор?
4. что такое апликативный функтор?

надеюсь завтра проснусь и увижу тут ответы.
4. забудь.
источник
20:22пожаловаться#20