일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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
- 로버트마틴
- Eclipse
- 함수형 프로그래밍
- javscript
- solid
- 람다 칼큘러스
- exception
- Collections
- 스택
- Pattern
- Collection
- 큐
- 파이썬
- Python
- 프로그래머스
- JavaScript
- Spring
- DesignPattern
- Java
- functional programming
- tcp
- Rails
- 겨울카카오인턴
- 백준
- Network
- lambda calculus
- design-pattern
- JDBC
- 자바
- 디자인패턴
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