169 похожих чатов

Ребят, подскажите мысли по следующим вопросам. Есть такое понятие как моноид.

Понимаю законы, которыми он определяется. Но не понимаю зачем. Сейчас для меня он выглядит как очередной класс типов. Однако пользы \ недостатков не ощущаю. В чем ФИЛОСОФСКОЕ его предназначение?

Встречаю в анг источниках слово lift . Однако не совсем понимаю, что это по отношению к типам и опрециями над ними. Можете по русски как-то пояснить, как для маленьких?

2 ответов

21 просмотр

ну дак моноид это просто полугруппа с нулевым элементом, неужели полезность не ясна!

зачем вам ФИЛОСОФСКОЕ? что вы с ним будете делать? что с классом делать, понятно. свёртки сворачивать. а философия программировать не помогает

Похожие вопросы

Обсуждают сегодня

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
в JclConsole объявлено так: function CtrlHandler(CtrlType: DWORD): BOOL; stdcall; - где ваше объявление с stdcall? у вас на картинке нет stdcall
Karagy
8
Ребят в СИ можно реализовать ООП?
Николай
33
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта