А
Кек, подумал, что в хаскель чат случайно зашёл
Size: a a a
2020 January 14
AZ
Кек, подумал, что в хаскель чат случайно зашёл
это известное заблуждение
AZ
ну и потому что Ff это буквально Maybe(f)
AZ
нет причин почему нельзя функу засунуть в функтор
В
потому что функция f ничего не знает про мейби. А maybe f значет что
Ff _ Nothing = NothingЭто просто название или что? Просто
maybe a, я понял как Option<A>, а что значит maybe f, пока ещё нетА⚙
Так раст для этого куда лучше подходит
P
нет причин почему нельзя функу засунуть в функтор
ну просто он же двойственный, работает и на домен/кодомен и на сам морфизм
AZ
Это просто название или что? Просто
maybe a, я понял как Option<A>, а что значит maybe f, пока ещё нетOption<F: (A) -> B>
AZ
ну просто он же двойственный, работает и на домен/кодомен и на сам морфизм
не понял к чему это. Любой морфизм можно запихнуть в любой функтор, это собственно и есть функториальность
p
Здравствуйте а у вас не найдётся минутки поговорить о боге?
Интересно что богу нравится больше, Раст или го?
В
Интересно что богу нравится больше, Раст или го?
Бог художник, ему вообще параллельно
P
не понял к чему это. Любой морфизм можно запихнуть в любой функтор, это собственно и есть функториальность
ну, функтор определён и для параметров/результатов и ддя самого морфизма, типа для f: a -> b функтор F определяет F(f): F(a) - > F(b), тоесть если ты его решишь написать сам, то тебе надо будет определить его для a, b и f,
В
Option<F: (A) -> B>
И если
Наверное я понял. Просто было не очевидно почему maybe сразу в трёх местах появился, а не в двух...
f: a -> b, то maybe f: maybe a -> maybe b?Наверное я понял. Просто было не очевидно почему maybe сразу в трёх местах появился, а не в двух...
А⚙
Довольно иронично, что ты smart pointers называешь высокоуровневыми абстракциями
P
и сказать, что он тождественен F(a) -> F(b)
А⚙
> Охуенные возможности для лоу-левела
Это какие (кроме asm-вставок с нестандартизированным синтаксисом)?
Это какие (кроме asm-вставок с нестандартизированным синтаксисом)?
P
> Охуенные возможности для лоу-левела
Это какие (кроме asm-вставок с нестандартизированным синтаксисом)?
Это какие (кроме asm-вставок с нестандартизированным синтаксисом)?
охуенные и лоулевельные, офк
AZ
И если
Наверное я понял. Просто было не очевидно почему maybe сразу в трёх местах появился, а не в двух...
f: a -> b, то maybe f: maybe a -> maybe b?Наверное я понял. Просто было не очевидно почему maybe сразу в трёх местах появился, а не в двух...
Это нормально
А⚙
*слабая часть C. C++ это дерьмо унаследовал во имя обратной совместимости
AZ
И если
Наверное я понял. Просто было не очевидно почему maybe сразу в трёх местах появился, а не в двух...
f: a -> b, то maybe f: maybe a -> maybe b?Наверное я понял. Просто было не очевидно почему maybe сразу в трёх местах появился, а не в двух...
в трех местах потому что из Nothing нужно сделать Nothing, а сама f про это ничего не знает