2
Чи монади є життєздатною (можливо, кращою) альтернативою ієрархіям спадкування?
Я буду використовувати мовно-агностичний опис монад на кшталт цього, спочатку опишу моноїди: Моноїд це (приблизно) набір функцій , які приймають певний тип в якості параметра і повертають один і той же тип. Монада є (приблизно) набір функцій , які приймають обгортки типу в якості параметра і повертає один і той …