컬
컬리
June 16, 20201회
Lambda Calculus에 대해 알아보자
간단 소개
람다 대수의 기본 개념, 추상화 방법, 문제 해결 방식, 그리고 실제 프로그래밍에서의 응용 가능성을 설명합니다.
AI Summary
- 람다 대수 소개
- 람다 대수는 함수형 프로그래밍의 근간이며, 세상을 추상화하는 새로운 방식을 제시한다.
- 람다 표현식은 추상화의 대상, 추상화 대상을 식에 소개하는 부분, 함수를 적용하기 위한 형태로 구성된다.
- 람다 대수를 통해 개발자는 함수를 만들고 조합할 때 더 자유로운 사고를 할 수 있다.
- 람다 대수의 핵심 개념
- Beta reduction은 람다 대수에서 추상화된 문제를 풀어내는 방식이다.
- Name clash는 beta reduction 적용 시 동일한 이름 충돌로 발생하는 문제이며, alpha conversion을 통해 방지할 수 있다.
- Church numeral을 사용하여 숫자를 람다로 표현하고, 이를 통해 덧셈, 곱셈 등의 연산을 람다 대수로 구현할 수 있다.
- 실습 및 응용
- 사과 문제를 람다 대수로 표현하는 실습을 통해 람다 대수의 활용을 이해할 수 있다.
- SUCC 함수를 통해 숫자에 1을 더하는 연산을 람다 대수로 구현할 수 있다.
- 람다 대수는 추상화 정도가 강력한 도구를 가려내는 척도가 될 수 있다.
Next Feeds
코드 악취를 맡는 후각 훈련의 시간
컬리 물류 시스템의 리팩토링 과정을 공유하며, 코드 개선, 팀 협업, 개발 역량 향상에 대한 경험을 담고 있습니다.
리팩토링코드 개선테스트 코드팀 협업개발 문화
2020. 6. 8.
컬리
EKS에서 쿠버네티스 포드의 IAM 권한 제어하기: Pod Identity Webhook
EKS 환경에서 Pod Identity Webhook을 사용하여 쿠버네티스 포드의 IAM 권한을 제어하는 방법과 동작 원리를 설명합니다.
EKSPod Identity WebhookIAMKubernetesAWS
2020. 6. 2.
데브시스터즈
안드로이드 개발자의 서버 개발기
안드로이드 개발자가 서버 개발에 도전하며 겪은 경험과 버즈빌의 개발 문화, 개발 과정을 소개합니다.
서버 개발안드로이드 개발버즈빌GoDevOps
2020. 5. 29.
버즈빌
Database Driven Development에서 진짜 DDD로의 선회, 이벤트 스토밍 -2-
이벤트 스토밍 방법론을 소개하고, 실제 적용 시 어려움과 주의사항을 설명하며, DDD 실천을 위한 첫걸음임을 강조한다.
이벤트 스토밍DDD도메인 이벤트애그리게잇브레인스토밍
2020. 5. 21.
컬리
PHP Development Roadmap In 2020 At Kurly
컬리 PHP 개발 로드맵은 개발자의 학습 가이드라인을 제시하고, 컬리의 기술 스택 및 개발 문화를 소개하며, PHP 개발자 채용을 장려합니다.
PHPLaravelDockerMSACI/CD
2020. 5. 5.
컬리
마켓컬리에서의 PHP 이야기
마켓컬리에서 PHP를 활용한 개발 과정과 MSA 환경에서의 PHP 적용 사례, 그리고 향후 PHP 개발 방향에 대한 이야기입니다.
PHP마켓컬리MSALaravelSpring Cloud Netflix
2020. 4. 30.
컬리