일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
Tags
- 함수형 프로그래밍
- 디자인패턴
- Network
- 겨울카카오인턴
- Pattern
- functional programming
- Java
- Python
- 백준
- JDBC
- tcp
- 파이썬
- Spring
- Eclipse
- Collections
- exception
- JavaScript
- 스택
- Collection
- lambda calculus
- 로버트마틴
- solid
- Rails
- 람다 칼큘러스
- DesignPattern
- 자바
- design-pattern
- javscript
- 큐
- 프로그래머스
Archives
- Today
- Total
목록Reduction (1)
개발자 노트
Lambda Calculus - Formal 정리 (Reduction)
출처 https://en.wikipedia.org/wiki/Lambda_calculus Reduction reduction의 사전적 정의는 다음과 같습니다. the action or fact of making a specified thing smaller or less in amount, degree, or size. 번역하자면 특정한 것의 양, 차원, 사이즈를 줄이는 행위 또는 사실이라고 말할 수 있습니다. meaning wiki에서 reduction의 도입부에 다음과 같이 말합니다. The meaning of lambda expression is defined by how expressions can be reduced lambda calculus의 의미는 expression이 얼마나 축소되는지에 따..
컴퓨터 언어/함수형 프로그래밍
2021. 2. 7. 22:20