编程语言的设计原理.PDF

编程语言的设计原理 Design Principles of Programming Languages Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, 胡振江 熊英飞 赵海燕 Peking University, Spring, 2017 1 Chapter 0+: Implementation A quick tour of OCaml Utilities in Ocaml system An Implementation for Arithmetic Expression A Quick Tour of OCaml Resources • Overview – /learn/tutorials/basics.html • Tutorials – /learn/tutorials/ • Download – http://caml.inria.fr/download.en.html • MOOC – https: //www.fun- mooc.fr/courses/ parisdiderot/56002/session01/about Why OCaml? What we learn in this course, is mostly conceptual and mathematical. However: – Some of the ideas are easier to grasp if you can see them work; – Experimenting with small implementations of programming languages is an excellent way to deepen intuitions. OCaml language is chosen for these purposes – General programming language with an emphasis on expressiveness and safety. OCaml used in the Course Concentrates just on the “core” of the language, ignoring most of its features, like modules or objects. For – some of the ideas in the course are easier to grasp if you can “see them work” – experimenting with small implementations of programming languages is an excellent way to deepen intuitions Quick fact sheet • Some facts about Caml (Categorical Abstract Machine Language ) – Created in 1987 by INRIA - France’s national research institute for computer science (Haskell 1.0 is from 1990) – Originated from ML but was intended for in house projects of INRIA – Short timeline: Caml (1987)  Caml Light (1990)  OCaml (1995) – Currently at version 4.04.0 (released in Nov 4, 2016) OCaml A large and powerful