Đang chuẩn bị liên kết để tải về tài liệu:
Ebook Programming languages and techniques: Part 1

(BQ) Part 1 book "Programming languages and techniques" has contents: Overview and program design, introductory ocaml, tuples and nested patterns, binary trees, binary search trees, generic functions and datatypes,. and other contents. | Programming Languages and Techniques Lecture Notes for CIS 120 Steve Zdancewic Stephanie Weirich University of Pennsylvania November 10, 2017 2 CIS 120 Lecture Notes Draft of November 10, 2017 Contents 1 2 Overview and Program Design 1.1 Introduction and Prerequisites . . . . . . . . . 1.2 Course Philosophy . . . . . . . . . . . . . . . . 1.3 How the different parts of CIS 120 fit together 1.4 Course History . . . . . . . . . . . . . . . . . . 1.5 Program Design . . . . . . . . . . . . . . . . . . Introductory OCaml 2.1 OCaml in CIS 120 . . . . . . . . . 2.2 Primitive Types and Expressions 2.3 Value-oriented programming . . 2.4 let declarations . . . . . . . . . . 2.5 Local let declarations . . . . . . 2.6 Function Declarations . . . . . . 2.7 Types . . . . . . . . . . . . . . . . 2.8 Failwith . . . . . . . . . . . . . . . 2.9 Commands . . . . . . . . . . . . . 2.10 A complete example . . . . . . . 2.11 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 9 9 13 15 15 . . . . . . . . . . . 23 23 23 25 28 31 34 36 38 39 42 43 3 Lists and Recursion 45 3.1 Lists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.2 Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 4 Tuples and Nested Patterns 4.1 Tuples . . . . . . . . . . . . . . . 4.2 Nested patterns . . . . . . . . . 4.3 Exhaustiveness . . . . . . . . . 4.4 .