From bdb0a42001769d204058651dcadee000d22edf65 Mon Sep 17 00:00:00 2001 From: hyesungoh Date: Mon, 3 Jun 2024 19:42:21 +0900 Subject: [PATCH] =?UTF-8?q?=EC=B1=95=ED=84=B0=2019?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../\354\230\244\355\230\234\354\204\261.md" | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 "\354\261\225\355\204\260_19/\354\230\244\355\230\234\354\204\261.md" diff --git "a/\354\261\225\355\204\260_19/\354\230\244\355\230\234\354\204\261.md" "b/\354\261\225\355\204\260_19/\354\230\244\355\230\234\354\204\261.md" new file mode 100644 index 0000000..762ccb8 --- /dev/null +++ "b/\354\261\225\355\204\260_19/\354\230\244\355\230\234\354\204\261.md" @@ -0,0 +1,28 @@ +# 함수형 프로그래밍 여행에 앞서 + +## 꼭 기억해야 할 것 + +* 어떤 경우에는 액션에 계산이 숨어 있음 + + 계산은 액션보다 재사용하기 좋고, 테스트하거나 이해하기 쉬움 + +* 고차 함수를 사용하면 추상화에 대한 개념이 넓어짐 + +* 코드에서 시간의 의미는 마음대로 바꿀 수 있음 + + 액션은 실행 순서와 횟수가 중요 + +## 타입 + +* 타입 시스템은 수학적 논리에 기반해 일관성이 있다는 것이 증명됨 + + 타입은 오류를 막는 것 이상의 역할을 함 + + 더 좋은 소프트웨어 설계로 안내함 + +## 수학적 지식을 얻기 + +- 람다 대수 +- 콤비네이터 +- 타입 이론 +- 카테고리 이론 +- 이펙트 시스템 + - 모나드, 어플리커티브 펑터 + +