D
Size: a a a
2020 August 02
AS
Пиздец, все я спать.
w
Лучше xml, можно теги на кириллице написать и сразу будет читаемо
AG
в смысле
data Const a b = MkConst a?AG
ну если Const, то он функтор и, если a - моноид, то и аппликатив
US
да небось type Const[A] = Unit => A
US
сразу всё работает
AG
но очевидно не монада, т.к. байнд можно определить только проигнорировав функцию, а это сломает законы
GP
он уже вроде не скалист
VE
А законам она подчиняется?
VE
Мышам же закон не писан
AD
А законам она подчиняется?
Физическим
GP
Мышам же закон не писан
писан
GP
некоопаретивная параша всякая
VE
Физическим
А функторным?
AD
Да ладно вам хватит щупать слона
GP
константа это монада или функтор?