tag: Programming-Languages · 3건
- 근거: 언어/런타임 관심 분야에 해당하는 프로그래밍 언어 이론 기술 해설
- 액션: 블로그 글 읽고 역방향 borrow checking 개념 파악하기
- 근거: 프로그래밍 언어 이론(람다 대수·이퀄리티 새추레이션) 관련 기술 블로그 포스트로, 특정 오픈소스 저장소를 짚기 어려운 이론/해설 글
- 액션: Philip Zucker의 egg(equality saturation) 관련 글 읽고 egg Rust 라이브러리 예제 훑어보기
- 근거: Lisp/Forth 언어 설계 및 상호 관계를 다룬 기술 글로, 개발자 도구 > 언어/런타임 관심 분야에 해당
- 액션: Let Over Lambda 챕터 8 읽으며 Forth 기반 Lisp 구현 원리 파악