5
Fonksiyonel programlamada kişi matematiksel yasalarla modülerliğe nasıl ulaşır?
Bu soruda , işlevsel programcıların programlarının düzgün çalıştığından emin olmak için matematiksel kanıt kullanma eğiliminde olduklarını okudum . Bu, birim testinden çok daha kolay ve hızlı geliyor, ancak bir OOP / Birim Testi arka planından geldiğini hiç görmedim. Bana açıklayabilir ve bana bir örnek verebilir misiniz?