SP
ванильное поведение при недостатке филда в рекорде это падать в рантайме, карл
Size: a a a
2020 March 05
SP
ну вобщем заставить вскод haskelly подсвечивать красненьким что какой то филд не инициирован я так и не смог
AZ
тоесть хочешь сказать иметь возможность создать рекорд без коллизий имен, чтобы редактор сказал что поля какието не проинициированы без -Wpartial-fields это не хелло ворлд?
наверное единственное место котороые вызывает сложности хз
AZ
но да, с филдами хрень
λ
red75prime
Класс - это набор данных с методами, а монада - это моноид в категории эндофункторов.
Монада это конкретный интерфейс.
r
Монада это конкретный интерфейс.
А что тогда значит
Monad в Monad m?λ
red75prime
А что тогда значит
Monad в Monad m?имя интерфейса
r
То есть монада - это конкретная реализация интерфейса монада
r
Наиболее полное и точное описание для "интерфейс монада" - моноид в категории эндофункторов. И никуда от этого не денешься
AZ
red75prime
А что тогда значит
Monad в Monad m?Monad m транслируется на раст как where M : Monadr
Monad m не транслируется на раст.AZ
с чего бы это?
λ
red75prime
Наиболее полное и точное описание для "интерфейс монада" - моноид в категории эндофункторов. И никуда от этого не денешься
не неси чушь, пожалуйста
r
First class конструкторов типов нет, соответственно нет и способов описать их свойства
r
не неси чушь, пожалуйста
Конкретнее. Определение неправильное? "Интерфейс монада" - это не монада из теории категорий?
P
red75prime
Конкретнее. Определение неправильное? "Интерфейс монада" - это не монада из теории категорий?
моё любимое начинается
λ
red75prime
Конкретнее. Определение неправильное? "Интерфейс монада" - это не монада из теории категорий?
нет
λ
скорее class Monad вдохновлён монадой из теории категорий
r
Не нужно понимать, что такое монада из теории категорий, чтобы понять что есть общего между
;, await , = и т.п.?λ
нет, не нужно