NL
Перегрузка это же частное решение. Можно сделать просто тайп классы и символические имена функций — и получить гораздо более универсальное решение.
Size: a a a
2021 April 08
а
Перегрузка функций и тайпклассы -- виды адхок полиморфизма
AF
Зачем высокоуровнeвые абстракции, когда можно гораздо проще?
s
По той же причине, почему unit type это единица.
А
и чтр же это за причина?
s
А
! (never type) — нуль.NL
ты так говоришь, как будто адхок это что-то плохое...
А
а где тогда нуль у строки?
AF
Я все-таки не понимаю, зачем делать Лисп на Си, когда можно заниматься Лиспом напрямую? 😂
Шучу 😝
Шучу 😝
NL
Строка не является кольцом, она моноид по умножению только.
s
Конкретно у строки нуля нет, так как это не кольцо. У *множества* строк есть нуль — это пустое множество.
NL
бро 🤜🤛
s
Когда же единица это множество с пустой строкой.
А
и зачем нам множество строк?
А
если мы работаем со строками
AF
Слушай, все хотел спросить, почему кругом 99, а не, к примеру, 69? 😂
а
Конкатенация строк и "", сложение чисел и 0, умножение чисел и 1, это всё моноиды
а
Конкатенация не является ни сложением, ни умножением, она им параллельна
s
Множество строк образуют алгебру Клини. Более известную необразованным программистам как регулярные выражения.
А
операция в моноиде не обязана называться умножением