AN
моноиды - это теоркат, там свои термины
Size: a a a
2021 February 03
(
моноиды - это теоркат, там свои термины
да так-то нет
I
у моноида операция так-то тоже должна быть коммутативная
RTFM. Ассоциативная должна быть, с нейтральным элементом, а не коммутативная.
AN
да так-то нет
так-то да. В обычной алгебраистике их нету
(
так-то да. В обычной алгебраистике их нету
AN
I
А мы обсуждаем векторные пространства?
AN
А мы обсуждаем векторные пространства?
Мы не конкретизировали. Для меня векторные пространства ближе.
I
Поле - это коммутативная группа по сложению с умножением. От кольца отличается коммутативностью умножения.
(
unrelated:
чят, хочу сделать rebase через идею, че значит "Rebase Current onto Selected"? Че произойдет, я останусь на своей ветке, просто мне до моих коммитов сделают коммиты из другой ветки?
чят, хочу сделать rebase через идею, че значит "Rebase Current onto Selected"? Че произойдет, я останусь на своей ветке, просто мне до моих коммитов сделают коммиты из другой ветки?
I
С точки зрения алгебры - это как раз сложение. На входе строки, на выходе строки. Все, операция есть. Нейтральный элемент по сложению есть - получаешь пространство. Можешь пойти в слак в #mathematics там как раз сейчас дискуссия про это.
А число со строкой?
I
А число со строкой?
Моноид это, а не группа.
I
Строка с числом - это не сложение. То, что один оператор используется и для конкатенации и для сложения - ошибка.
А знаешь где такое по определению не возможно? Думаю знаешь
AN
А число со строкой?
Если алгебра определяет нужные опеарции, то может быть что угодно
(
Там просто есть ещё кнопка "Checkout and rebase onto current" и я бля ни в жизнь не пойму, почему сначала нужно сделать чекаут
I
А знаешь где такое по определению не возможно? Думаю знаешь
В перле и Раку?
I
Моноид это, а не группа.
Даже не моноид, ибо элементы не одного типа.
I
Если алгебра определяет нужные опеарции, то может быть что угодно
Я про котлин конкретно
String + Int -> String
Int + String -> ошибка компиляции
Очень коммутативно и полезно
String + Int -> String
Int + String -> ошибка компиляции
Очень коммутативно и полезно
AG
Там просто есть ещё кнопка "Checkout and rebase onto current" и я бля ни в жизнь не пойму, почему сначала нужно сделать чекаут
А нигде визуального мануала нет, с нарисованными ветками и описанием что случится и схемой?