Понимаю законы, которыми он определяется. Но не понимаю зачем. Сейчас для меня он выглядит как очередной класс типов. Однако пользы \ недостатков не ощущаю. В чем ФИЛОСОФСКОЕ его предназначение?
Встречаю в анг источниках слово lift . Однако не совсем понимаю, что это по отношению к типам и опрециями над ними. Можете по русски как-то пояснить, как для маленьких?
ну дак моноид это просто полугруппа с нулевым элементом, неужели полезность не ясна!
зачем вам ФИЛОСОФСКОЕ? что вы с ним будете делать? что с классом делать, понятно. свёртки сворачивать. а философия программировать не помогает
Обсуждают сегодня