함수형 프로그래밍의 기초와 이점 (순수 함수, 불변성, 모나드 개념)
카테고리
6 페이지
컴퓨터 과학
비잔틴 장군 문제와 합의 알고리즘의 심연: Paxos, Raft, BFT의 구조
정보 이론과 섀넌의 엔트로피: 데이터 압축과 통신의 한계 탐구
람다 대수(Lambda Calculus)와 함수형 프로그래밍의 기원: 알론조 처치의 이론에서 Lisp, Haskell까지
튜링 머신과 계산 가능성 이론: 앨런 튜링의 사고 실험과 '정지 문제'
콘웨이의 생명 게임: 단순한 규칙에서 생명과 같은 복잡성이 창발하는 셀룰러 오토마타
