文件列表:

.prettierrc (43, 2023-11-28)
LICENSE (1067, 2023-11-28)
careers/ (0, 2023-11-28)
careers/chromium-engineer-browser-company.pdf (117648, 2023-11-28)
careers/groq-compiler-engineer.pdf (333220, 2023-11-28)
careers/javascript-virtual-machine-compiler-engineer.pdf (169097, 2023-11-28)
careers/modular-ai-compiler-engineer.pdf (139542, 2023-11-28)
careers/mozilla-firefox-senior-software-engineer.pdf (109755, 2023-11-28)
careers/swift-type-system-engineer-apple.pdf (195979, 2023-11-28)
careers/woven-by-toyota.pdf (378752, 2023-11-28)
language-learning/ (0, 2023-11-28)
language-learning/clojure/ (0, 2023-11-28)
language-learning/clojure/basics/ (0, 2023-11-28)
language-learning/clojure/basics/boolean.clj (759, 2023-11-28)
language-learning/clojure/basics/control-flow.clj (794, 2023-11-28)
language-learning/clojure/basics/define-functions.clj (977, 2023-11-28)
language-learning/clojure/basics/destructuring.clj (603, 2023-11-28)
language-learning/clojure/basics/keywords.clj (115, 2023-11-28)
language-learning/clojure/basics/let.clj (190, 2023-11-28)
language-learning/clojure/basics/namespaces.clj (605, 2023-11-28)
language-learning/clojure/basics/naming-values.clj (440, 2023-11-28)
language-learning/clojure/basics/recursion.clj (402, 2023-11-28)
language-learning/clojure/clojure_applied/ (0, 2023-11-28)
language-learning/clojure/clojure_applied/model_your_domain/ (0, 2023-11-28)
language-learning/clojure/clojure_applied/model_your_domain/1.modeling-entities.clj (998, 2023-11-28)
language-learning/clojure/clojure_applied/model_your_domain/2.constructing-entities.clj (1387, 2023-11-28)
language-learning/clojure/clojure_applied/model_your_domain/3.apollo.clj (2225, 2023-11-28)
language-learning/clojure/data_structures/ (0, 2023-11-28)
language-learning/clojure/data_structures/atom.clj (98, 2023-11-28)
language-learning/clojure/data_structures/data-structures.clj (548, 2023-11-28)
language-learning/clojure/data_structures/hash-map.clj (195, 2023-11-28)
language-learning/clojure/data_structures/laziness.clj (568, 2023-11-28)
language-learning/clojure/data_structures/lists.clj (133, 2023-11-28)
language-learning/clojure/data_structures/persistent-data-structures.clj (722, 2023-11-28)
language-learning/clojure/data_structures/sets.clj (414, 2023-11-28)
language-learning/clojure/data_structures/vectors.clj (584, 2023-11-28)
language-learning/clojure/functional/ (0, 2023-11-28)
... ...

# Programming Language Research [Research](https://github.com/imteekay/programming-language-research/blob/master/./research) on programming languages, compilers, functional programming, devtools. ## Courses - [ 301 - Organization of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=j2pYeKjq_60&list=PLB1enDd0fV0i5SWGe-A1YjmD8MmlGavIj&ab_channel=JayMcCarthy) - [ Benjamin Pierce - Software foundations](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWSoefQ40gTOz89) - [ CIS352 - Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=2jrwXpUZW7k&list=PLXaqTeMx01E_eK1ZEpKvKL5KwSaj7cJW9&ab_channel=KristopherMicinski) - [ CMSC 430: Design and Implementation of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=KTWq1XAfuMQ&list=PLsg0tbEwZlcz0Xzv1rACy7xcQZiBcQ_iE&ab_channel=cmsc430) - [ CS 3520/6520 - Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/@matthewflatt489/playlists) - [ CS3110 - Functional Data Structures](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=MUcka_SvhLw&list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU&ab_channel=MichaelRyanClarkson) - [ CS3MI3 - Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLF7ZhwvkczzM3tTaJTVYIcsGsX8uyIeXA) - [ CS520 - Theories Of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLvV9DPeJV9xx0NegrG4gNu8WXSXibDICu) - [ CSE340 - Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLK06XT3hFPzilgF1mi_hHqcXO1-o_8OEe) - [ LINFO1131 - Advanced programming language concepts](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLw454N-VXALROTZ_phkQ-D4QDU5w3x4R8) - [ Accelerated 1](https://github.com/imteekay/programming-language-research/blob/master/https://course.ccs.neu.edu/cs2500accelf17/index.html) - [ All the courses Matthias Felleisen teach](https://github.com/imteekay/programming-language-research/blob/master/https://felleisen.org/matthias/teaching.html) - [ Building a Parser from scratch](https://github.com/imteekay/programming-language-research/blob/master/https://dmitrysoshnikov.teachable.com/p/parser-from-scratch) - [ CMSC330 - Organization of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.umd.edu/class/spring2022/cmsc330/#schedule) - [ CMU - CS6120 - Advanced Compilers](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.cornell.edu/courses/cs6120/2022sp/lesson) - [ Compilers — Stanford](https://github.com/imteekay/programming-language-research/blob/master/https://online.stanford.edu/courses/soe-ycscs1-compilers) - [ Compilers Design Recipe](https://github.com/imteekay/programming-language-research/blob/master/https://soft.vub.ac.be/compilers/book_sec_recipe.html) - [ Compilers: Theory and Practice — Udacity](https://github.com/imteekay/programming-language-research/blob/master/https://www.udacity.com/course/compilers-theory-and-practice--ud168) - [ Concepts in Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.cl.cam.ac.uk/teaching/1617/ConceptsPL/materials.html) - [ COP 4020 - Programming Languages I](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.ucf.edu/~leavens/COP4020/resources.shtml) - [ COS 326 - Functional Programming](https://github.com/imteekay/programming-language-research/blob/master/https://mediacentral.princeton.edu/channel/COS+326+Functional+Programming/174748251) - [ CS 242: Programming Languages, Fall 2019](https://github.com/imteekay/programming-language-research/blob/master/https://stanford-cs242.github.io/f19) - [ CS019 - Accelerated Introduction to Computer Science](https://github.com/imteekay/programming-language-research/blob/master/https://cs.brown.edu/courses/cs019/2018/index.html) - [ CS164 Programming Languages and Compilers](https://github.com/imteekay/programming-language-research/blob/master/https://www.bilibili.com/video/BV1NW411b79N?p=1) - [ CS242 - Programming Languages - Stanford](https://github.com/imteekay/programming-language-research/blob/master/https://web.stanford.edu/class/cs242/coursework.html) - [ CS2500 - Fundamentals of Computer Science](https://github.com/imteekay/programming-language-research/blob/master/https://www.ccs.neu.edu/home/nderbinsky/fundies1/m1.html) - [ CIS 341 - Compilers](https://github.com/imteekay/programming-language-research/blob/master/https://www.seas.upenn.edu/~cis3410/20sp/) - [ CSCI1730 - Programming Languages - Application and Interpretation](https://github.com/imteekay/programming-language-research/blob/master/https://cs.brown.edu/courses/cs173/2012/Videos) - [ CSE 131 - Compiler Construction](https://github.com/imteekay/programming-language-research/blob/master/https://podcast.ucsd.edu/watch/SP17/cse131_sp17/23) - [ CSE230 - Principles/Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://podcast.ucsd.edu/watch/fa18/cse230_b00/24) - [ Essentials of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/http://proglang.informatik.uni-freiburg.de/teaching/proglang/2020ws) - [ Fundamentals 1](https://github.com/imteekay/programming-language-research/blob/master/https://course.ccs.neu.edu/cs2500f16/index.html) - [ Fundamentals 2](https://github.com/imteekay/programming-language-research/blob/master/https://course.ccs.neu.edu/cs2510) - [ Hack Your Own Language](https://github.com/imteekay/programming-language-research/blob/master/https://felleisen.org/matthias/4620-s18/index.html) - [ History of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://felleisen.org/matthias/7480-s17/index.html) - [ Indiana University Compiler Course](https://github.com/imteekay/programming-language-research/blob/master/https://iu.mediaspace.kaltura.com/media/Compiler+Course/1_hwlujpzd) - [ Introduction to Compiler Construction](https://github.com/imteekay/programming-language-research/blob/master/https://www.students.cs.ubc.ca/~cs-411/2020w2/index.html) - [ Jay McCarthy - 406 Compiler Construction](https://github.com/imteekay/programming-language-research/blob/master/https://youtu.be/4tUj8BuC0qM) - [ Matthias Felleisen - Intensive Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://felleisen.org/matthias/7400-s14/Problem_Sets.html) - [ Matthias Felleisen - Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://felleisen.org/matthias/4400-s20/lectures.html) - [ Principles of Compiler Design](https://github.com/imteekay/programming-language-research/blob/master/https://www.bilibili.com/video/BV1qt41167uU?p=1) - [ Programming Language Foundations in Agda](https://github.com/imteekay/programming-language-research/blob/master/https://cs.uwaterloo.ca/~plragde/747/notes/index.html) - [ Programming Languages and Logic](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.cornell.edu/courses/cs4110/2021fa) - [ Programming Languages Course given by DCC-UFMG](https://github.com/imteekay/programming-language-research/blob/master/https://hanielb.github.io/2021.2-lp) - [ Programming Languages Ⅰ](https://github.com/imteekay/programming-language-research/blob/master/https://www.coursera.org/learn/programming-languages-1) - [ Programming Languages Ⅱ](https://github.com/imteekay/programming-language-research/blob/master/https://www.coursera.org/learn/programming-languages2) - [ Ray Total Courses](https://github.com/imteekay/programming-language-research/blob/master/https://cs.lmu.edu/~ray) - [ Theory of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/http://staff.ustc.edu.cn/~yuzhang/tpl/2020s/index.html#reading) ## Books - [ Compiler Construction](https://github.com/imteekay/programming-language-research/blob/master/https://c9x.me/compile/bib/wirthcc.pdf) - [ Compiler Design](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/5205564-compiler-design-mar-15-2006-chattopadhyay-santanu) - [ Compiling with Continuations](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/2079575.Compiling_with_Continuations) - [ Concepts of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/603257.Concepts_of_Programming_Languages) - [ Discrete Mathematics for Computing](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/gp/product/0230216110/ref=sw_img_1?smid=ATVPDKIKX0DER&psc=1) - [ Engineering a Compiler](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/Engineering-Compiler-Keith-D-Cooper/dp/0128154128/ref=sr_1_1?keywords=Engineering+a+Compiler&qid=1675768541&s=books&sr=1-1) - [ Homotopy Type Theory](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/18106978-homotopy-type-theory) - [ How to Design Programs: An Introduction to Programming and Computing](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/1119079.How_to_Design_Programs) - [ HTDP](https://github.com/imteekay/programming-language-research/blob/master/https://htdp.org/2020-8-1/Book/index.html) - [ Human-Centered Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://bookish.press/hcpl) - [ Introduction to Compilers and Language Design](https://github.com/imteekay/programming-language-research/blob/master/https://www3.nd.edu/~dthain/compilerbook/compilerbook.pdf) - [ Modern Compiler Design](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/Modern-Compiler-Design-Dick-Grune/dp/1461446988/ref=sr_1_1?crid=7JFBNCBOHIW9&keywords=Modern+Compiler+Design&qid=1675768609&s=books&sprefix=modern+compiler+design%2Cstripbooks-intl-ship%2C228&sr=1-1) - [ Modern Compiler Implementation in C](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/Modern-Compiler-Implementation-Andrew-Appel/dp/0521607655) - [ Parsing Techniques: A Practical Guide](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/en/book/show/1756599) - [ Parsing Techniques. A Practical Guide](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/Parsing-Techniques-Practical-Monographs-Computer-ebook/dp/B0017AMLL8/ref=sr_1_1?crid=1W94M9OYZ6MH8&keywords=Parsing+Techniques.+A+Practical+Guide&qid=1675768574&s=books&sprefix=parsing+techniques.+a+practical+guide%2Cstripbooks-intl-ship%2C211&sr=1-1) - [ Practical Foundations for Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/Practical-Foundations-Programming-Languages-Professor/dp/1107029570) - [ Programming Languages: Application and Interpretation](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/10580126-programming-languages) - [ SICP — Structure and Interpretation of Computer](https://github.com/imteekay/programming-language-research/blob/master/./research/books/sicp) - [ The Elements Of Computing Systems](https://github.com/imteekay/programming-language-research/blob/master/https://www.amazon.com/Elements-Computing-Systems-second-Principles/dp/0262539802/ref=sr_1_1?crid=2CZ8FBOMQ0X7C&keywords=The+Elements+Of+Computing+Systems&qid=1675768639&s=books&sprefix=the+elements+of+computing+systems%2Cstripbooks-intl-ship%2C463&sr=1-1) - [ Thinking with Types: Type-Level Programming in Haskell](https://github.com/imteekay/programming-language-research/blob/master/https://leanpub.com/thinking-with-types) - [ Type Theory and Formal Proof: An Introduction](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/21442441-type-theory-and-formal-proof) - [ Type Theory and Functional Programming](https://github.com/imteekay/programming-language-research/blob/master/https://www.goodreads.com/book/show/11364683-type-theory-and-functional-programming) ## Learning Paths - [Advanced Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/http://di002.edv.uniovi.es/~labra/APL.html) - [Compiler Engineer Path](https://github.com/imteekay/programming-language-research/blob/master/http://dmitrysoshnikov.com/courses/compiler-engineer-path) - [Learn Type Theory](https://github.com/imteekay/programming-language-research/blob/master/https://github.com/jozefg/learn-tt) - [PLR & Compiler Learning Path](https://github.com/imteekay/programming-language-research/blob/master/learning-path.md) - [Programming Language Theory Path](https://github.com/imteekay/programming-language-research/blob/master/https://steshaw.org/plt) - [So You Want to Be a (Compiler) Wizard](https://github.com/imteekay/programming-language-research/blob/master/https://belkadan.com/blog/2016/05/So-You-Want-To-Be-A-Compiler-Wizard) ## Experiments - [A miniature model of the Typescript compiler](https://github.com/imteekay/programming-language-research/blob/master/https://github.com/imteekay/mini-typescript) - [An interpreter for the Lox programming language](https://github.com/imteekay/programming-language-research/blob/master/./research/experiments/lox.ts) - [An interpreter for the Monkey programming language](https://github.com/imteekay/programming-language-research/blob/master/https://github.com/imteekay/crafting-an-interpreter) - [How the TypeScript compiler works](https://github.com/imteekay/programming-language-research/blob/master/https://www.iamtk.co/series/the-typescript-compiler) ### Papers - [10 papers that all PhD students in programming languages ought to know](https://github.com/imteekay/programming-language-research/blob/master/https://github.com/nuprl/10PL) - [ A syntactic approach to type soundness](https://github.com/imteekay/programming-language-research/blob/master/https://web.eecs.umich.edu/~weimerw/2008-615/reading/wright92syntactic.pdf) - [ A Theory of Type Polymorphism in Programming](https://github.com/imteekay/programming-language-research/blob/master/https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/milner-type-polymorphism.pdf) - [ Abstracting Gradual Typing](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.ubc.ca/~rxg/agt.pdf) - [ An Axiomatic Basis for Computer Programming](https://github.com/imteekay/programming-language-research/blob/master/http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf) - [ Call-by-name, call-by-value, and the λ-calculus](https://github.com/imteekay/programming-language-research/blob/master/https://www.sciencedirect.com/science/article/pii/0304397575900171?ref=pdf_download&fr=RR-2&rr=795ba8dc2acd4edd) - [ Classic Papers in Programming Languages and Logic](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.cmu.edu/~crary/819-f09) - [ Efficient Gradual Typing](https://github.com/imteekay/programming-language-research/blob/master/https://arxiv.org/pdf/1802.06375.pdf) - [ Fundamental concepts in programming languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.math.pku.edu.cn/teachers/qiuzy/plan/lits/FundamentalConceptOfPL.pdf) - [ Gradual Type Theory](https://github.com/imteekay/programming-language-research/blob/master/https://arxiv.org/pdf/1811.02440.pdf) - [ Gradual Typing for Functional Languages](https://github.com/imteekay/programming-language-research/blob/master/https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b7ca4b0e6d3119aa341af73964dbe38d341061dd) - [ Gradual Typing: A New Perspective](https://github.com/imteekay/programming-language-research/blob/master/https://www.irif.fr/~gc/papers/popl19.pdf) - [ How Statically-Typed Functional Programmers Write Code](https://github.com/imteekay/programming-language-research/blob/master/./research/papers/how-statically-typed-functional-programmers-write-code) - [ Migrating Gradual Types](https://github.com/imteekay/programming-language-research/blob/master/https://dl.acm.org/doi/pdf/10.1145/3158103) - [ On Model Subtyping](https://github.com/imteekay/programming-language-research/blob/master/https://hal.inria.fr/hal-00695034/document) - [ On Understanding Types, Data Abstraction, and Polymorphism](https://github.com/imteekay/programming-language-research/blob/master/http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf) - [ Papers on programming languages: ideas from 70's for today](https://github.com/imteekay/programming-language-research/blob/master/https://medium.com/@mikhail.barash.mikbar/papers-on-programming-languages-ideas-from-70s-for-today-2931891d4dbd) - [ Papers to read](https://github.com/imteekay/programming-language-research/blob/master/https://github.com/haskellcamargo/papers-to-read) - [ Pluggable Type Systems](https://github.com/imteekay/programming-language-research/blob/master/https://bracha.org/pluggableTypesPosition.pdf) - [ Programming in Homotopy Type Theory](https://github.com/imteekay/programming-language-research/blob/master/http://dlicata.web.wesleyan.edu/pubs/lh122tttalks/lh12wg2.8.pdf) - [ Refined Criteria for Gradual Typing](https://github.com/imteekay/programming-language-research/blob/master/https://drops.dagstuhl.de/opus/volltexte/2015/5031/pdf/21.pdf) - [ Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.ics.uci.edu/~lopes/teaching/inf212W12/readings/rdl04meijer.pdf) - [ The Behavior of Gradual Types: A User Study](https://github.com/imteekay/programming-language-research/blob/master/https://cs.brown.edu/~sk/Publications/Papers/Published/tgpk-beh-grad-types-user-study/paper.pdf) - [ The Design Principles of the Elixir Type System](https://github.com/imteekay/programming-language-research/blob/master/https://arxiv.org/pdf/2306.06391.pdf) - [ The Next 700 Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf) - [ Towards a theory of type structure](https://github.com/imteekay/programming-language-research/blob/master/https://www.cis.upenn.edu/~stevez/cis670/pdfs/Reynolds74.pdf) - [ Towards Practical Gradual Typing](https://github.com/imteekay/programming-language-research/blob/master/https://www2.ccs.neu.edu/racket/pubs/ecoop2015-takikawa-et-al.pdf) - [ Type Inference Algorithms](https://github.com/imteekay/programming-language-research/blob/master/http://www.win.tue.nl/~hzantema/semssm.pdf) - [ Type Inference for Records in a Natural Extension of ML](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.cmu.edu/~aldrich/courses/819/row.pdf) - [ Type Systems for Object-Oriented Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/http://i.stanford.edu/pub/cstr/reports/cs/tr/98/1602/CS-TR-98-1602.pdf) - [ Type Systems](https://github.com/imteekay/programming-language-research/blob/master/http://lucacardelli.name/papers/typesystems.pdf) - [ What every compiler writer should know about programmers](https://github.com/imteekay/programming-language-research/blob/master/https://www.complang.tuwien.ac.at/kps2015/proceedings/KPS_2015_submission_29.pdf) - [ Why Dependent Types Matter](https://github.com/imteekay/programming-language-research/blob/master/http://www.cs.nott.ac.uk/~psztxa/publ/ydtm.pdf) ## Programming Language Design / PLT - [ A Language Creators' Conversation: Guido van Rossum, James Gosling, Larry Wall & Anders Hejlsberg](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=csL8DLXGNlU&ab_channel=PyCascades) - [ A Tale of Two Asyncs: Open Source Language Design in Rust and Node.js](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=aGJTXdXQN2o) - [ Another Go at Language Design](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=7VcArS4Wpqk) - [ Concepts of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLgybIyDbLkEQUTX00Mazlcb7KhX1UzpXs) - [ CS520 Theories of Programming Languages — KAIST](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLvV9DPeJV9xx0NegrG4gNu8WXSXibDICu) - [ Delimited Continuations, Demystified by Alexis King](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=TE48LsgVlIU&ab_channel=CodeSync) - [ Going beyond JavaScript](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=VwisE497Nsg&ab_channel=Intelligence.ai%3AConcepts-FirstPodcast) - [ Growing a Language, by Guy Steele](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=_ahvzDzKdB0) - [ How Rust does OSS](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=m0rakUuPXFM) - [ JavaScript Static Analysis for Evolving Language Specifications](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=3Jlu_jnHB8g&ab_channel=PLRGKAIST) - [ Linguistics and Compilers](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=Ix6M9Nj_Dug&ab_channel=FunctionalSC) - [ On understanding types, data abstraction and effects](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=3Cdw5x72k_g&ab_channel=MicrosoftResearch) - [ Principles of Programming Languages by Robert M. Siegfried](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLTo1TmBz2ekof8VsYaoTxP-9VgJ9P-dTO) - [ Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLK06XT3hFPzilgF1mi_hHqcXO1-o_8OEe) - [ So many programming languages so little time](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=FEjH5VxmDoY&ab_channel=MicrosoftDeveloper) - [ Stephanie Weirich speaks about Programming Language Design](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=gLTDyrAY4Hk) - [ The Economics of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=XZ3w_jec1v8&ab_channel=StrangeLoopConference) - [ The Mess We're In](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=lKXe3HUG2l4) - [ The Next Programming Language - Douglas Crockford](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=R2idkNdKqpQ&ab_channel=code%3A%3Adiveconference) - [ What's Next for Our Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=q3XcQh0cNZM&ab_channel=InfoQ) - [ Why Programming Languages Matter](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=JqYCt9rTG8g&ab_channel=StrangeLoopConference) - [ Programming language semantics: It’s easy as 1,2,3](https://github.com/imteekay/programming-language-research/blob/master/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EC2C046CF94382B3B408036B84475DC7/S0956796823000072a.pdf/programming-language-semantics-its-easy-as-123.pdf) - [ Programming Language Semantics](https://github.com/imteekay/programming-language-research/blob/master/http://www.cs.nott.ac.uk/~pszgmh/123.pdf) - [ A Frontend Programmer's Guide to Languages](https://github.com/imteekay/programming-language-research/blob/master/https://thatjdanisso.cool/programming-languages) - [ Building a Debugger: Code Analysis](https://github.com/imteekay/programming-language-research/blob/master/https://nan.fyi/debugger) - [ Concepts of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.ime.usp.br/~alvaroma/ucsp/proglang/book.pdf) - [ Grammars for programming languages](https://github.com/imteekay/programming-language-research/blob/master/https://medium.com/@mikhail.barash.mikbar/grammars-for-programming-languages-fae3a72a22c6) - [ How To Create Your Own Programming Language](https://github.com/imteekay/programming-language-research/blob/master/https://dev.to/jasonsbarr/how-to-create-your-own-programming-language-2642) - [ Language-oriented software engineering](https://github.com/imteekay/programming-language-research/blob/master/https://parametri.city/blog/2018-12-23-language-oriented-software-engineering/index.html) - [ Let’s Build a Programming Language](https://github.com/imteekay/programming-language-research/blob/master/https://medium.com/hackernoon/lets-build-a-programming-language-2612349105c6) - [ Minimalism in Programming Language Design](https://github.com/imteekay/programming-language-research/blob/master/https://pointersgonewild.com/2022/05/23/minimalism-in-programming-language-design) - [ Panel: The Future of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://learn.microsoft.com/en-us/events/pdc-pdc08/tl57) - [ Principles of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://www.cs.toronto.edu/~david/course-notes/csc324.pdf) - [ Programming and Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://papl.cs.brown.edu/2018/index.html) - [ Programming Language and Compilers Reading List](https://github.com/imteekay/programming-language-research/blob/master/https://www.jntrnr.com/programming-language-and-compilers-reading-list) - [ Programming Language Foundations in Agda](https://github.com/imteekay/programming-language-research/blob/master/https://plfa.github.io/beta) - [ Programming language theory and practice in ReScript](https://github.com/imteekay/programming-language-research/blob/master/https://bobzhang.github.io/rescript-pl-course) - [ Shriram Krishnamurthi and Joe Gibbs Politz - Programming Languages: Application and Interpretation](https://github.com/imteekay/programming-language-research/blob/master/http://papl.cs.brown.edu/2015) - [ The Programming Language Enthusiast](https://github.com/imteekay/programming-language-research/blob/master/http://www.pl-enthusiast.net) - [ The Study of Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://cs.lmu.edu/~ray/notes/plstudy) - [ Why Study Programming Languages](https://github.com/imteekay/programming-language-research/blob/master/https://rachit.pl/post/why-study-programming-languages) ## Compiler - [ Anders Hejlsberg on Modern Compiler Construction](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=wSdV1M7n4gQ) - [ Building a parser in C#, from first principles](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=klHyc9HQnNQ&ab_channel=NDCConferences) - [ Compiler Design course](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLDAE55AEE0731D729&feature=plcp) - [ How To Build A Programming Language From Scratch](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=8VB5TY1sIRo&list=PL_2VhOvlMk4UHGqYCLWc6GO8FaPl8fQTh&ab_channel=tylerlaceby) - [ How would compilers change in the next 10 years?](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=p15qRHZ_Leg&ab_channel=CompilerConstruction) - [ Implementing a bignum calculator](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=PXoG0WX0r_E) - [ JavaScript ∩ WebAssembly](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=PP5r_b3Ws8s&ab_channel=ReactEurope) - [ JavaScript implementation in SpiderMonkey](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLo3w8EB99pqJVPhmYbYdInBvAGarDavh-) - [ KAIST CS420: Compiler Design](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PL5aMzERQ_OZ8RWqn-XiZLXm1IJuaQbXp0) - [ Lexical Scanning in Go](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=HxaD_trXwRE) - [ Mozilla Hacks Compiler Compiler](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/playlist?list=PLo3w8EB99pqKF1FQllRsxyQh3sA7V2Hc-) - [ Quick look at the TypeScript Compiler API](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=AnjfW633e8o%E2%80%8E.%E2%80%8Edev) - [ Rethinking compiler technology in a heterogeneous world](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=6Ncnx0bT4lk&ab_channel=HiPEACTV) - [ The business of selling compilers](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=JRyv2oyWIbA&ab_channel=HiPEACTV) - [ Typescript Compiler explained by the Author Anders Hejlsberg](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=f6TCB61fDwY) - [ Understanding compiler optimization](https://github.com/imteekay/programming-language-research/blob/master/https://www.youtube.com/watch?v=haQ2cijhvhE) - [ A miniature model of the Typescript compiler](https://github.com/imteekay/programming-language-research/blob/master/https://github.com/sandersn/mini-typescript) - [ Alias analysis](https://github.com/imteekay/programming-language-research/blob/master/https://en.wikipedia.org/wiki/Alias_analysis) - [ An Incremental Approach to Compiler Construction](https://github.com/imteekay/programming-language-research/blob/master/http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf) - [ An Introduction to Interpreters and JIT Compilation](https://github.com/imteekay/programming-language-research/blob/master/https://stefan-marr.de/2023/09/pliss-summer-school) - [ An Introduction to Interpreters and JIT Compilation](https://github.com/imteekay/programming-language-research/blob/master/https://stefan-marr.de/2023/09/pliss-summer-school) - [ AST (Abstract Syntax Tree)](https://github.com/imteekay/programming-language-research/blob/master/https://medium.com/@dinis.cruz/ast-abstract-syntax-tree-538aa146c53b) - [ Bob Nystrom - Expression Parsing Made Easy](https://github.com/imteekay/programming-language-research/blob/master/http://journal.stuffwithstuff.com/2011/03/19/pratt-parsers-expression-parsing-made-easy) - [ Building a Parser from scratch](https://github.com/imteekay/programming-language-research/blob/master/https://www.dmitrysoshnikov.education/p/parser-from-scratch) - [ Compilers and Interpreters](https://github.com/imteekay/programming-language-research/blob/master/https://medium.com/hackernoon/compilers-and-interpreters-3e354a ... ...

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：