Home
Posts
Books
About
EN
논리학
타입 시스템은 왜 증명처럼 동작하는가
타입 검사를 컴파일 통과로만 보던 시선에서, 논리로 읽는 타입 시스템까지
Jan 25, 2026
개발자는 수학을 잘해야할까?
수학을 잘해야 좋은 개발자가 되는 건 아니지만
Jul 17, 2019
