PL 공부하기

[20chan]

1. • [ ] KOCW 인강
2. • [ ] Practical Foundations for Programming Language

인강 공부했던 곳 - phillyai/TIL 책은 #34 에서 언급했었다

[20chan]

인강을 전부 다 보고 나서 책을 공부하기로 한다. 인강은 하루에 하나씩, 책은 하루에 소챕터 하나씩 하고 체크리스트에 체크하는게 나쁘지 않은 것 같다

[20chan]

수학

• [ ] Introduction to Mathematical Thinking

타입 이론

• [ ] PFPL

PL

컴파일러

[20chan]

기초지식을 쌓자 인강은 좀 더 별개일지 모르겠지만 수학 노테이션부터 알아야 할 것 같다 PL 책 보니까 외계어만 적혀있더라