함수형 프로그래밍의 요소들.
고계 함수.
일급 함수.
자기 자신만을 부르는 함수를 꼬리 재귀라고 한다.
멱등성 -> 같은 입력에 대해서 계속 동일한 출력이 나온다.
기존의 자바 코드는 선언형보다는 명령형.
즉 코드를 어떻게 할거냐가 포커스고, 무엇을 할거냐가 아니다.
그래서 가독성도 함수형 프로그래밍 언어가 높다. 무엇을 할거냐를 보이기 때문에.
소프트웨어 트랜잭셔널 메모리 -> 멀티 쓰레드 환경에서 일단 락을 거는게 기본 생각이였는데. 락을 걸지 말고 그냥 처리하다가 오류가 발생하면 롤백하자. 이런느낌
패턴매칭??
LISP 언어
HASKELL 한번 공부해보고 싶다.
지연 평가 - f(3 + 5) 라는 수식이 있을 때 자바의 경우 일반적으로 f(8) 의 결과값을 바로 들고 가지만 지연 평가라는 것은 저 수식 자체 f(3 + 5) 라는 것을 얼마나 들고 가느냐를 의미한다고 함.
모나드??
모노이드 - 항등원을 갖고 결합법칙을 따르는 이항연산을 갖춘 집합.