순수함수
사이드 이펙트가 없는 함수
- class의 this? 사이드 이펙트 o
- 함수의 파라미터? 사이드 이펙트 x
순수 함수는 함수 합성에 문제가 없음
g 후 f나
g∘f 나
모나드
순수함수가 아닌 함수(=return type이 사이드 이펙트로 인해 변할 수 있는 함수)
의 return type들을 wrapping을 통해 추상화하는 것
자바의 Optional 같은 느낌이네
반복문
반복은 재귀함수로 처리한다.
- for, while, do, repeat 등은 mutable하다...
고차함수
"함수를 파라미터로 받거나", "함수를 리턴"하는 함수
클로저(비함수형)
함수에 대한 참조에 의해 유지되는 함수의 스코프(mutable)
커링 함수
파라미터가 1개인 함수
