Czytam w tym pytaniu, że programiści funkcjonalni używają matematycznych dowodów, aby upewnić się, że ich program działa poprawnie. Brzmi to o wiele łatwiej i szybciej niż testy jednostkowe, ale pochodzące z tła OOP / testów jednostkowych Nigdy tego nie widziałem. Czy możesz mi to wyjaśnić i...