ЕИ
это короче берешь эффектор вместо редукса и хуяк хуяк и в прод
К тебе на работу можно?
Size: a a a
2018 October 26
ℝ
К тебе на работу можно?
нельзя
к
но эффектор он не про алгебраические эффекты
AS
ты несешь полную херню
Да ну? А функтор разве не алгебра?
AS
и иже с ним
к
Да ну? А функтор разве не алгебра?
лол нет
ℝ
но эффектор он не про алгебраические эффекты
я слышал обратное
ЕИ
Да ну? А функтор разве не алгебра?
Поясни мысль свою... Не понимаю.
к
алгебру можно кодировать как
f a -> a для некого функтора f, который фиксуется, но это далекая необязательная связьк
ты как будто решил просто рандомных слов назвать
к
с уверенным лицом
AS
Ну у меня в голове на данный момент всё это так уложилось, но я ещё в процессе, буду дальше разбираться, чё.
AS
Ну Maybe то точно ADT, да? :)
к
да, но АДТ не имеет отношения к фп все равно в том плане, в котором ты думаешь
ЕИ
Ну Maybe то точно ADT, да? :)
Да. В смысле алгебраический тип данных.
к
адт это способ строить типы из суммы и произведения других типов, а не набор каких-то типов типа Мейби и (лол) монады
ЗП
адт это способ строить типы из суммы и произведения других типов, а не набор каких-то типов типа Мейби и (лол) монады
👍
AS
Ну монады я типами не назвал, не надо :)
с
а зачем писать на джс-е глубоко функционально