Lambda Calculus에 대해 알아보자
남영환 컬리 · 컬리 기술 블로그
AI 핵심 요약
익명 함수로만 여겨지기 쉬운 람다 표현식의 바탕을 설명하기 위해, 글은 가격과 개수를 추상화하고 값을 치환하는 예에서 출발해 람다 대수의 표현 방식을 소개한다. 람다식의 이름·함수·적용 구조와 베타 축약을 설명하고, 치환 과정에서 생기는 이름 충돌은 알파 변환으로 해결하는 방법을 보여준다. 이어 Church 수로 숫자를 함수의 반복 적용으로 나타내고 SUCC, PLUS, MULT를 정의해 가격과 개수의 곱셈을 구성한다. 람다 대수를 익히면 숫자나 연산자처럼 당연하게 쓰던 개념도 함수와 조합으로 표현할 수 있으며, 추상화와 함수 조합을 바라보는 관점이 넓어진다는 점을 강조한다.
- 람다식은 이름, 함수 추상화, 함수 적용이라는 세 요소로 구성된다.
- 베타 축약은 함수에 인자를 적용해 본문에서 해당 변수를 치환하는 과정이다.
- 치환할 때 자유 변수와 이름이 겹치면 알파 변환으로 바운드 변수 이름을 바꿔 충돌을 막는다.
- Church 수는 숫자를 함수의 반복 적용 횟수로 표현하며, 이를 바탕으로 SUCC·PLUS·MULT를 정의할 수 있다.
소개
그만 알아보자
비슷한 학습 자료
책 오가사와라 시게타카 예스24
그림으로 이해하는 AWS 구조와 기술
책 오가사와라 시게타카 예스24
읽는 것만으로 충분하다! 쉽고 빠르게 이해하는 AWS 개념과 서비스! AWS는 웹 관련 기능뿐만 아니라 회사 시스템이나 머신러닝, 인프라와 관련된 기능까지 폭넓은 서비스를 제공하며, 단순한 임대 서버의 대용품을 넘어 시스템이나 인프라를 구축하는 데 꼭 필요한 서비스로 자리매김했다. 이 책은 클라우드와 네트워크의 기본 구조, 관리 콘솔 활용법 같은 기초 지식은 물론, 아마존EC2, S3, VPC, RDS 등 핵심 서비스의 환경 구조와 사용 절차, 요금을 일목요연하게 정리했다. 특히 이번 개정판은 아마존 Bedrock, 아마존 Q 등 생성형 AI와 데브옵스, 데이터 분석 서비스를 대폭 강화해 최신 트렌드를 반영했다. 또한 AWS 서비스가 확장된 만큼 이 책에서도 다루는 서비스를 100개 이상으로 늘렸다. 이에 일러스트 또한 226개를 수록해 사전지식이 없어도 기초부터 차근차근 배울 수 있도록 돕는다. 이 책을 덮을 때쯤이면 복잡했던 AWS의 전체 그림이 머릿속에 선명하게 그려질 것이다....
데브옵스 · 인프라 클라우드
문서 남영환, 이종립
왜 폴 그레이엄은 회사 이름을 Y Combinator라고 지었을까
문서 김효원
React 이해하기
문서 이지훈
잘못 작성된 람다 코드를 삭제하기까지의 여정
책 가와카미 아키히사 예스24
배워서 바로 쓰는 14가지 AWS 구축 패턴
책 가와카미 아키히사 예스24
실무에 유용한 14가지 서비스를 효과적으로 구현하는 비법 대방출 사실상 클라우드 업계 표준인 AWS는 제공하는 서비스와 기능이 방대하다. AWS 관리자가 EC2, S3 같은 개별 서비스 기능을 이해하는 것은 어렵지 않다. 하지만 각 서비스를 조합해 특정 요구 사항을 만족하는 시스템을 만드는 능력은 쉽게 길러지지 않는다. 이런 능력은 서비스를 완벽하게 이해해 거시적으로 통찰해야 갖출 수 있다. 저자는 AWS 초창기부터 AWS의 다양한 서비스를 적용해 고객의 요구 사항을 만족하는 사이트를 구축해왔다. 이 책은 저자가 다양한 실무 경험을 토대로 정립한 14가지 설계 패턴을 소개한다. 또한 구축한 시스템의 문제를 해결하는 방법도 함께 알려준다. 인터넷 검색으로는 절대 찾을 수 없는, 실전 경험을 빼곡히 담은 AWS 비급서라 불러도 손색 없다.
클라우드