# 프로그래밍 언어 ## 하위문서 ### 주제 - [[rust]] - [[typescript]] - [[kotlin]] - [[abstract-syntax-tree]] - [[effect-system]] - [[structural-typing]] - [[functional-programming]] - [[variance]] - [[compiler]] - [[dynamic-language-vs-static-language]] - [[jscodeshift]] ### 문헌 - [[introduction-to-programming-languages]] - [[functional-programming-in-kotlin]] - [[the-rust-programming-language]] - [[robust-with-types-flexible-with-polymorphism]]