Daily OSS
즉시조치
백로그
학습
완료
태그
tag: Formal-Methods · 1건
학습
완료
람다 계산법과 이퀄리티 새추레이션(egg) 결합 탐구 블로그
2026-09-21 · Lobsters ·
원문 ↗
#programming-languages
#formal-methods
#lambda-calculus
근거:
프로그래밍 언어 이론(람다 대수·이퀄리티 새추레이션) 관련 기술 블로그 포스트로, 특정 오픈소스 저장소를 짚기 어려운 이론/해설 글
액션:
Philip Zucker의 egg(equality saturation) 관련 글 읽고 egg Rust 라이브러리 예제 훑어보기