챕터 19

챕터_19/오혜성.md

@@ -0,0 +1,28 @@
+# 함수형 프로그래밍 여행에 앞서
+
+## 꼭 기억해야 할 것
+
+* 어떤 경우에는 액션에 계산이 숨어 있음
+  + 계산은 액션보다 재사용하기 좋고, 테스트하거나 이해하기 쉬움
+
+* 고차 함수를 사용하면 추상화에 대한 개념이 넓어짐
+
+* 코드에서 시간의 의미는 마음대로 바꿀 수 있음
+  + 액션은 실행 순서와 횟수가 중요
+
+## 타입
+
+* 타입 시스템은 수학적 논리에 기반해 일관성이 있다는 것이 증명됨
+  + 타입은 오류를 막는 것 이상의 역할을 함
+  + 더 좋은 소프트웨어 설계로 안내함
+
+## 수학적 지식을 얻기
+
+- 람다 대수
+- 콤비네이터
+- 타입 이론
+- 카테고리 이론
+- 이펙트 시스템
+  - 모나드, 어플리커티브 펑터
+
+