5
Як у функціональному програмуванні можна досягти модульності за допомогою математичних законів?
Я читав у цьому запитанні, що функціональні програмісти, як правило, використовують математичні докази, щоб переконатися, що їх програма працює правильно. Це звучить набагато простіше і швидше, ніж тестування одиниць, але виходячи з фону OOP / Unit Testing, я ніколи не бачив цього робити. Ви можете мені це пояснити і навести …