5
함수형 프로그래밍에서 수학 법칙을 통해 어떻게 모듈성을 달성합니까?
내가 읽어 이 질문에 기능적인 프로그래머가 자신의 프로그램이 제대로 작동하는지 확인 증명을 사용하는 경향이있다. 이것은 단위 테스트보다 훨씬 쉽고 빠르지 만 OOP / 단위 테스트 배경에서 나온 것입니다. 설명해 주시고 예를 들어 주시겠습니까?
해당 시스템의 예상 동작과 비교하여 소프트웨어 시스템의 동작 확인