AA
конечно не удалось пропихнуть ее
Size: a a a
2021 June 16
АХ
AdditiveMonoid, AdditiveGroup, Ring, Field, IEEE754 угар
B
Я иногда https://hackage.haskell.org/package/semirings использую. Там даже RebindableSyntax можно иметь для литералов.
DM
Это как минимум неплохо так повысит порог входа
DM
Не в плане сложно, а в плане "ну нахер"
N
как в purescript
DM
К сожалению не знаком(
[
я знаю, что такое Num
Что такое аддитивный моноид?
Что такое аддитивный моноид?
N
моноид по +
DM
Надо бы изучить, раньше думал что это просто клон хаскелля, компилирубщийся в жс
N
Я сейчас найду граф взаимодействия их классов типов, где-то в PR у них было
АХ
На этом нормальную экосистему (уровня numpy) не построить. Базовые вещи должны всё таки жить в базе
[
чем он отличается от аддитивной группы?
АХ
тем же чем моноид от группы. Нет вычитания
[
(и почему абстрактному мне нужно это изучать для вхождения в язык?)
АХ
Будет зато куда входить!
DM
И не говорите)
АХ
type Num a = (Ring a, OtherNumStuff a, FromInteger a)[
я знаю теоркат на уровне "полугруппа это моноид без mempty"
DM
Это вроде как алгебра)