일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
Tags
- Eclipse
- JavaScript
- tcp
- Collections
- lambda calculus
- Python
- design-pattern
- DesignPattern
- 파이썬
- Collection
- functional programming
- Network
- Spring
- JDBC
- 큐
- 스택
- 겨울카카오인턴
- 로버트마틴
- 프로그래머스
- Rails
- 백준
- 함수형 프로그래밍
- Java
- javscript
- 자바
- Pattern
- 디자인패턴
- solid
- exception
- 람다 칼큘러스
Archives
- Today
- Total
목록lambda-calculus (1)
개발자 노트
lambda calculus - boolean 연산
출처 https://www.youtube.com/watch?v=3VQ382QG-y4 lambda calculus, boolean으로 표현! 이번 글에서는 lambda calculus가 어떻게 boolean 연산으로 전환될 수 있는지에 대해 알아보는 시간을 갖도록 하겠습니다. 출처에 적힌 내용을 바탕으로 설명드리도록 하겠습니다. 위키에 있는 내용만으로는 이해가 잘 되지 않아서 해당 유튜브를 참고했네요. 글의 구성 이 글은 총 2편에 걸쳐 작성할 것입니다. 첫 편에서는 lambda calculus에서 쓰이는 용어 대신 새의 이름으로 치환하여 함수를 소개할 것입니다. 그러면 선입견과 위화감을 줄이는데 큰 도움이 되거든요~ 그리고 다음 글에서는 어떻게 새의 이름을 실제 lambda calculus의 boolea..
컴퓨터 언어/함수형 프로그래밍
2021. 3. 21. 18:56