DOCSLIB.ORG

Programming Languages and Techniques Lecture Notes for CIS 120

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Programming Languages and Techniques Lecture Notes for CIS 120 Programming Languages and Techniques Lecture Notes for CIS 120 Steve Zdancewic Stephanie Weirich University of Pennsylvania March 22, 2016 2 CIS 120 Lecture Notes Draft of March 22, 2016 Contents 1 Overview and Program Design 9 1.1 Introduction and Prerequisites . .9 1.2 Course Philosophy . .9 1.3 How the different parts of CIS 120 fit together . 13 1.4 Course History . 15 1.5 Program Design . 15 2 Introductory OCaml 21 2.1 OCaml in CIS 120 . 21 2.2 Primitive Types and Expressions . 21 2.3 Value-oriented programming . 23 2.4 let declarations . 25 2.5 Local let declarations . 27 2.6 Function Declarations . 29 2.7 Types . 31 2.8 Failwith . 33 2.9 Commands . 34 2.10 A complete example . 37 2.11 Notes . 39 3 Lists and Recursion 41 3.1 Lists . 41 3.2 Recursion . 45 4 Tuples and Nested Patterns 55 4.1 Tuples . 55 4.2 Nested patterns . 57 4.3 Exhaustiveness . 58 4.4 Wildcard (underscore) patterns . 58 4.5 Examples . 59 CIS 120 Lecture Notes Draft of March 22, 2016 4 CONTENTS 5 User-defined Datatypes 61 5.1 Atomic datatypes: enumerations . 61 5.2 Datatypes that carry more information . 63 5.3 Type abbreviations . 65 5.4 Recursive types: lists . 66 6 Binary Trees 69 7 Binary Search Trees 73 7.1 Creating Binary Search Trees . 75 8 Generic Functions and Datatypes 79 8.1 User-defined generic datatypes . 81 8.2 Why use generics? . 82 9 First-class Functions 83 9.1 Partial Application and Anonymous Functions . 84 9.2 List transformation . 86 9.3 List fold . 88 10 Modularity and Abstraction 91 10.1 A motivating example: finite sets . 91 10.2 Abstract types and modularity . 92 10.3 Another example: Finite Maps . 99 11 Partial Functions: option types 103 12 Unit and Sequencing Commands 107 12.1 The use of ‘;’................................. 108 13 Records of Named Fields 111 13.1 Immutable Records . 111 14 Mutable State and Aliasing 113 14.1 Mutable Records . 114 14.2 Aliasing: The Blessing and Curse of Mutable State . 117 15 The Abstract Stack Machine 121 15.1 Parts of the ASM . 122 15.2 Values and References to the Heap . 123 15.3 Simplification in the ASM . 126 15.4 Reference Equality . 134 CIS 120 Lecture Notes Draft of March 22, 2016 5 CONTENTS 16 Linked Structures: Queues 137 16.1 Representing Queues . 138 16.2 The Queue Invariants . 140 16.3 Implementing the basic Queue operations . 142 16.4 Iteration and Tail Calls . 144 16.5 Loop-the-loop: Examples of Iteration . 147 16.6 Infinite Loops . 149 17 Local State 151 17.1 Closures . 152 17.2 Objects . 153 17.3 The generic ’a ref type . 155 17.4 Reference (==) vs. Structural Equality (=)................. 156 18 Wrapping up OCaml: Designing a GUI Library 159 18.1 Taking Stock . 159 18.2 The Paint Application . 160 18.3 OCaml’s Graphics Library . 160 18.4 Design of the GUI Library . 162 18.5 Localizing Coordinates . 163 18.6 Simple Widgets & Layout . 167 18.7 The widget hierarchy and the run function . 170 18.8 The Event Loop . 171 18.9 GUI Events . 173 18.10Event Handlers . 173 18.11Stateful Widgets . 176 18.12Listeners and Notifiers . 177 18.13Buttons (at last!) . 180 18.14Building a GUI App: Lightswitch . 181 19 Transition to Java 185 19.1 Farewell to OCaml . 185 19.2 Three programming paradigms . 186 19.3 Functional Programming in OCaml . 187 19.4 Object-oriented programming in Java . 189 19.5 Imperative programming . 192 19.6 Types and Interfaces . 195 20 Connecting OCaml to Java 199 20.1 Core Java . 199 20.2 Static vs. Dynamic Methods . 201 CIS 120 Lecture Notes Draft of March 22, 2016 6 CONTENTS 21 Arrays 205 21.1 Arrays . 205 22 The Java ASM 211 22.1 Differences between OCaml and Java Abstract Stack Machines . 211 23 Subtyping, Extension and Inheritance 217 23.1 Interface Recap . 217 23.2 Subtyping . 219 23.3 Multiple Interfaces . 219 23.4 Interface Extension . 222 23.5 Inheritance . 223 23.6 Object .................................... 227 23.7 Static Types vs. Dynamic Classes . 227 24 The Java ASM and dynamic methods 231 24.1 Refinements to the Abstract Stack Machine . 232 24.2 The revised ASM in action . 233 25 Generics, Collections, and Iteration 247 25.1 Polymorphism and Generics . 248 25.2 Subtyping and Generics . 249 25.3 The Java Collections Framework . 250 25.4 Iterating over Collections . 253 26 Overriding and Equality 257 26.1 Method Overriding and the Java ASM . 257 26.2 Overriding and Equality . 262 26.2.1 When to override equals . 263 26.2.2 How to override equals . 264 26.3 Equals and subtyping . 268 26.3.1 Restoring symmetry . 269 27 Exceptions 271 27.1 Ways to handle failure . 272 27.2 Exceptions in Java . 273 27.3 Exceptions and the abstract stack machine . 274 27.4 Catching multiple exceptions . 275 27.5 Finally . 276 27.6 The Exception Class Hierarchy . 277 27.7 Checked exceptions . 278 27.8 Undeclared exceptions . 279 CIS 120 Lecture Notes Draft of March 22, 2016 7 CONTENTS 27.9 Good style for exceptions . 280 28 IO 283 28.1 Working with (Binary) Files . 284 28.2 PrintStream . 286 28.3 Reading text . 287 28.4 Writing text . ..
Load more

Recommended publications
  • Higher-Order Functions 15-150: Principles of Functional Programming – Lecture 13
    Higher-order Functions 15-150: Principles of Functional Programming { Lecture 13 Giselle Reis By now you might feel like you have a pretty good idea of what is going on in functional program- ming, but in reality we have used only a fragment of the language. In this lecture we see what more we can do and what gives the name functional to this paradigm. Let's take a step back and look at ML's typing system: we have basic types (such as int, string, etc.), tuples of types (t*t' ) and functions of a type to a type (t ->t' ). In a grammar style (where α is a basic type): τ ::= α j τ ∗ τ j τ ! τ What types allowed by this grammar have we not used so far? Well, we could, for instance, have a function below a tuple. Or even a function within a function, couldn't we? The following are completely valid types: int*(int -> int) int ->(int -> int) (int -> int) -> int The first one is a pair in which the first element is an integer and the second one is a function from integers to integers. The second one is a function from integers to functions (which have type int -> int). The third type is a function from functions to integers. The two last types are examples of higher-order functions1, i.e., a function which: • receives a function as a parameter; or • returns a function. Functions can be used like any other value. They are first-class citizens. Maybe this seems strange at first, but I am sure you have used higher-order functions before without noticing it.
    [Show full text]
  • C++ Programming: Program Design Including Data Structures, Fifth Edition
    C++ Programming: From Problem Analysis to Program Design, Fifth Edition Chapter 5: Control Structures II (Repetition) Objectives In this chapter, you will: • Learn about repetition (looping) control structures • Explore how to construct and use count- controlled, sentinel-controlled, flag- controlled, and EOF-controlled repetition structures • Examine break and continue statements • Discover how to form and use nested control structures C++ Programming: From Problem Analysis to Program Design, Fifth Edition 2 Objectives (cont'd.) • Learn how to avoid bugs by avoiding patches • Learn how to debug loops C++ Programming: From Problem Analysis to Program Design, Fifth Edition 3 Why Is Repetition Needed? • Repetition allows you to efficiently use variables • Can input, add, and average multiple numbers using a limited number of variables • For example, to add five numbers: – Declare a variable for each number, input the numbers and add the variables together – Create a loop that reads a number into a variable and adds it to a variable that contains the sum of the numbers C++ Programming: From Problem Analysis to Program Design, Fifth Edition 4 while Looping (Repetition) Structure • The general form of the while statement is: while is a reserved word • Statement can be simple or compound • Expression acts as a decision maker and is usually a logical expression • Statement is called the body of the loop • The parentheses are part of the syntax C++ Programming: From Problem Analysis to Program Design, Fifth Edition 5 while Looping (Repetition)
    [Show full text]
  • Compiler Construction Assignment 3 – Spring 2018
    Compiler Construction Assignment 3 { Spring 2018 Robert van Engelen µc for the JVM µc (micro-C) is a small C-inspired programming language. In this assignment we will implement a compiler in C++ for µc. The compiler compiles µc programs to java class files for execution with the Java virtual machine. To implement the compiler, we can reuse the same concepts in the code-generation parts that were done in programming assignment 1 and reuse parts of the lexical analyzer you implemented in programming assignment 2. We will implement a new parser based on Yacc/Bison. This new parser utilizes translation schemes defined in Yacc grammars to emit Java bytecode. In the next programming assignment (the last assignment following this assignment) we will further extend the capabilities of our µc compiler by adding static semantics such as data types, apply type checking, and implement scoping rules for functions and blocks. Download Download the Pr3.zip file from http://www.cs.fsu.edu/~engelen/courses/COP5621/Pr3.zip. After unzipping you will get the following files Makefile A makefile bytecode.c The bytecode emitter (same as Pr1) bytecode.h The bytecode definitions (same as Pr1) error.c Error reporter global.h Global definitions init.c Symbol table initialization javaclass.c Java class file operations (same as Pr1) javaclass.h Java class file definitions (same as Pr1) mycc.l *) Lex specification mycc.y *) Yacc specification and main program symbol.c *) Symbol table operations test#.uc A number of µc test programs The files marked ∗) are incomplete. For this assignment you are required to complete these files.
    [Show full text]
  • PDF Python 3
    Python for Everybody Exploring Data Using Python 3 Charles R. Severance 5.7. LOOP PATTERNS 61 In Python terms, the variable friends is a list1 of three strings and the for loop goes through the list and executes the body once for each of the three strings in the list resulting in this output: Happy New Year: Joseph Happy New Year: Glenn Happy New Year: Sally Done! Translating this for loop to English is not as direct as the while, but if you think of friends as a set, it goes like this: “Run the statements in the body of the for loop once for each friend in the set named friends.” Looking at the for loop, for and in are reserved Python keywords, and friend and friends are variables. for friend in friends: print('Happy New Year:', friend) In particular, friend is the iteration variable for the for loop. The variable friend changes for each iteration of the loop and controls when the for loop completes. The iteration variable steps successively through the three strings stored in the friends variable. 5.7 Loop patterns Often we use a for or while loop to go through a list of items or the contents of a file and we are looking for something such as the largest or smallest value of the data we scan through. These loops are generally constructed by: • Initializing one or more variables before the loop starts • Performing some computation on each item in the loop body, possibly chang- ing the variables in the body of the loop • Looking at the resulting variables when the loop completes We will use a list of numbers to demonstrate the concepts and construction of these loop patterns.
    [Show full text]
  • Typescript Language Specification
    TypeScript Language Specification Version 1.8 January, 2016 Microsoft is making this Specification available under the Open Web Foundation Final Specification Agreement Version 1.0 ("OWF 1.0") as of October 1, 2012. The OWF 1.0 is available at http://www.openwebfoundation.org/legal/the-owf-1-0-agreements/owfa-1-0. TypeScript is a trademark of Microsoft Corporation. Table of Contents 1 Introduction ................................................................................................................................................................................... 1 1.1 Ambient Declarations ..................................................................................................................................................... 3 1.2 Function Types .................................................................................................................................................................. 3 1.3 Object Types ...................................................................................................................................................................... 4 1.4 Structural Subtyping ....................................................................................................................................................... 6 1.5 Contextual Typing ............................................................................................................................................................ 7 1.6 Classes .................................................................................................................................................................................
    [Show full text]
  • 7. Control Flow First?
    Copyright (C) R.A. van Engelen, FSU Department of Computer Science, 2000-2004 Ordering Program Execution: What is Done 7. Control Flow First? Overview Categories for specifying ordering in programming languages: Expressions 1. Sequencing: the execution of statements and evaluation of Evaluation order expressions is usually in the order in which they appear in a Assignments program text Structured and unstructured flow constructs 2. Selection (or alternation): a run-time condition determines the Goto's choice among two or more statements or expressions Sequencing 3. Iteration: a statement is repeated a number of times or until a Selection run-time condition is met Iteration and iterators 4. Procedural abstraction: subroutines encapsulate collections of Recursion statements and subroutine calls can be treated as single Nondeterminacy statements 5. Recursion: subroutines which call themselves directly or indirectly to solve a problem, where the problem is typically defined in terms of simpler versions of itself 6. Concurrency: two or more program fragments executed in parallel, either on separate processors or interleaved on a single processor Note: Study Chapter 6 of the textbook except Section 7. Nondeterminacy: the execution order among alternative 6.6.2. constructs is deliberately left unspecified, indicating that any alternative will lead to a correct result Expression Syntax Expression Evaluation Ordering: Precedence An expression consists of and Associativity An atomic object, e.g. number or variable The use of infix, prefix, and postfix notation leads to ambiguity An operator applied to a collection of operands (or as to what is an operand of what arguments) which are expressions Fortran example: a+b*c**d**e/f Common syntactic forms for operators: The choice among alternative evaluation orders depends on Function call notation, e.g.
    [Show full text]
  • Scala Tutorial
    Scala Tutorial SCALA TUTORIAL Simply Easy Learning by tutorialspoint.com tutorialspoint.com i ABOUT THE TUTORIAL Scala Tutorial Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. Scala has been created by Martin Odersky and he released the first version in 2003. Scala smoothly integrates features of object-oriented and functional languages. This tutorial gives a great understanding on Scala. Audience This tutorial has been prepared for the beginners to help them understand programming Language Scala in simple and easy steps. After completing this tutorial, you will find yourself at a moderate level of expertise in using Scala from where you can take yourself to next levels. Prerequisites Scala Programming is based on Java, so if you are aware of Java syntax, then it's pretty easy to learn Scala. Further if you do not have expertise in Java but you know any other programming language like C, C++ or Python, then it will also help in grasping Scala concepts very quickly. Copyright & Disclaimer Notice All the content and graphics on this tutorial are the property of tutorialspoint.com. Any content from tutorialspoint.com or this tutorial may not be redistributed or reproduced in any way, shape, or form without the written permission of tutorialspoint.com. Failure to do so is a violation of copyright laws. This tutorial may contain inaccuracies or errors and tutorialspoint provides no guarantee regarding the accuracy of the site or its contents including this tutorial. If you discover that the tutorialspoint.com site or this tutorial content contains some errors, please contact us at [email protected] TUTORIALS POINT Simply Easy Learning Table of Content Scala Tutorial ..........................................................................
    [Show full text]
  • Repetition Structures
    24785_CH06_BRONSON.qrk 11/10/04 9:05 M Page 301 Repetition Structures 6.1 Introduction Goals 6.2 Do While Loops 6.3 Interactive Do While Loops 6.4 For/Next Loops 6.5 Nested Loops 6.6 Exit-Controlled Loops 6.7 Focus on Program Design and Implementation: After-the- Fact Data Validation and Creating Keyboard Shortcuts 6.8 Knowing About: Programming Costs 6.9 Common Programming Errors and Problems 6.10 Chapter Review 24785_CH06_BRONSON.qrk 11/10/04 9:05 M Page 302 302 | Chapter 6: Repetition Structures The applications examined so far have illustrated the programming concepts involved in input, output, assignment, and selection capabilities. By this time you should have gained enough experience to be comfortable with these concepts and the mechanics of implementing them using Visual Basic. However, many problems require a repetition capability, in which the same calculation or sequence of instructions is repeated, over and over, using different sets of data. Examples of such repetition include continual checking of user data entries until an acceptable entry, such as a valid password, is made; counting and accumulating running totals; and recurring acceptance of input data and recalculation of output values that only stop upon entry of a designated value. This chapter explores the different methods that programmers use to construct repeating sections of code and how they can be implemented in Visual Basic. A repeated procedural section of code is commonly called a loop, because after the last statement in the code is executed, the program branches, or loops back to the first statement and starts another repetition.
    [Show full text]
  • Smalltalk Smalltalk
    3/8/2008 CSE 3302 Programming Languages Smalltalk Everyygthing is obj ect. Obj ects communicate by messages. Chengkai Li Spring 2008 Lecture 14 – Smalltalk, Spring Lecture 14 – Smalltalk, Spring CSE3302 Programming Languages, UT-Arlington 1 CSE3302 Programming Languages, UT-Arlington 2 2008 ©Chengkai Li, 2008 2008 ©Chengkai Li, 2008 Object Hierarchy Object UndefinedObject Boolean Magnitude Collection No Data Type. True False Set … There is only Class. Char Number … Fraction Integer Float Lecture 14 – Smalltalk, Spring Lecture 14 – Smalltalk, Spring CSE3302 Programming Languages, UT-Arlington 3 CSE3302 Programming Languages, UT-Arlington 4 2008 ©Chengkai Li, 2008 2008 ©Chengkai Li, 2008 Syntax • Smalltalk is really “small” – Only 6 keywords (pseudo variables) – Class, object, variable, method names are self explanatory Sma llta lk Syn tax is Simp le. – Only syntax for calling method (messages) and defining method. • No syntax for control structure • No syntax for creating class Lecture 14 – Smalltalk, Spring Lecture 14 – Smalltalk, Spring CSE3302 Programming Languages, UT-Arlington 5 CSE3302 Programming Languages, UT-Arlington 6 2008 ©Chengkai Li, 2008 2008 ©Chengkai Li, 2008 1 3/8/2008 Expressions Literals • Literals • Number: 3 3.5 • Character: $a • Pseudo Variables • String: ‘ ’ (‘Hel’,’lo!’ and ‘Hello!’ are two objects) • Symbol: # (#foo and #foo are the same object) • Variables • Compile-time (literal) array: #(1 $a 1+2) • Assignments • Run-time (dynamic) array: {1. $a. 1+2} • Comment: “This is a comment.” • Blocks • Messages Lecture 14 – Smalltalk, Spring Lecture 14 – Smalltalk, Spring CSE3302 Programming Languages, UT-Arlington 7 CSE3302 Programming Languages, UT-Arlington 8 2008 ©Chengkai Li, 2008 2008 ©Chengkai Li, 2008 Pseudo Variables Variables • Instance variables.
    [Show full text]
  • Python Functions
    PPYYTTHHOONN FFUUNNCCTTIIOONNSS http://www.tutorialspoint.com/python/python_functions.htm Copyright © tutorialspoint.com A function is a block of organized, reusable code that is used to perform a single, related action. Functions provide better modularity for your application and a high degree of code reusing. As you already know, Python gives you many built-in functions like print, etc. but you can also create your own functions. These functions are called user-defined functions. Defining a Function You can define functions to provide the required functionality. Here are simple rules to define a function in Python. Function blocks begin with the keyword def followed by the function name and parentheses ( ). Any input parameters or arguments should be placed within these parentheses. You can also define parameters inside these parentheses. The first statement of a function can be an optional statement - the documentation string of the function or docstring. The code block within every function starts with a colon : and is indented. The statement return [expression] exits a function, optionally passing back an expression to the caller. A return statement with no arguments is the same as return None. Syntax def functionname( parameters ): "function_docstring" function_suite return [expression] By default, parameters have a positional behavior and you need to inform them in the same order that they were defined. Example The following function takes a string as input parameter and prints it on standard screen. def printme( str ): "This prints a passed string into this function" print str return Calling a Function Defining a function only gives it a name, specifies the parameters that are to be included in the function and structures the blocks of code.
    [Show full text]
  • Foundations of Computer Science I
    Foundations of Computer Science I Dan R. Ghica 2014 Contents 1 Introduction 2 1.1 Basic concepts . .2 1.2 Programming the machine, a historical outlook . .2 1.3 Abstraction . .3 1.4 Functional programming: a historical outlook . .4 2 \Formal" programming: rewrite systems 6 2.0.1 \Theorems" . .7 2.1 Further reading . .8 3 Starting with OCaml/F# 9 3.1 Predefined types . .9 3.2 Toplevel vs. local definition . 11 3.3 Type errors . 11 3.4 Defined types: variants . 12 4 Functions 13 4.1 Pattern-matching and if . 14 5 Multiple arguments. Polymorphism. Tuples. 18 5.1 Multiple arguments . 18 5.2 Polymorphism . 18 5.3 Notation . 19 5.4 Tuples . 20 5.5 More on pattern-matching . 21 5.6 Some comments on type . 22 6 Isomorphism of types 23 6.1 Quick recap of OCaml syntax . 24 6.2 Further reading . 24 7 Lists 25 7.1 Arrays versus lists . 25 7.2 Getting data from a list. 26 8 Recursion. 28 8.0.1 Sums . 28 8.0.2 Count . 29 8.1 Creating lists . 30 8.2 Further reading . 32 8.3 More on patterns . 32 1 1 Introduction 1.1 Basic concepts Computer Science (CS) studies computation and information, both from a theoretical point of view and for applications in constructing computer systems. It is perhaps not very helpful to try and define these two basic, and deeply connected, notions of \computation" and \information", but it is perhaps helpful to talk about some properties they enjoy. Information is what is said to be exchanged in the course of communication.
    [Show full text]
  • An Introduction to Programming in Simula
    An Introduction to Programming in Simula Rob Pooley This document, including all parts below hyperlinked directly to it, is copyright Rob Pooley ([email protected]). You are free to use it for your own non-commercial purposes, but may not copy it or reproduce all or part of it without including this paragraph. If you wish to use it for gain in any manner, you should contact Rob Pooley for terms appropriate to that use. Teachers in publicly funded schools, universities and colleges are free to use it in their normal teaching. Anyone, including vendors of commercial products, may include links to it in any documentation they distribute, so long as the link is to this page, not any sub-part. This is an .pdf version of the book originally published by Blackwell Scientific Publications. The copyright of that book also belongs to Rob Pooley. REMARK: This document is reassembled from the HTML version found on the web: https://web.archive.org/web/20040919031218/http://www.macs.hw.ac.uk/~rjp/bookhtml/ Oslo 20. March 2018 Øystein Myhre Andersen Table of Contents Chapter 1 - Begin at the beginning Basics Chapter 2 - And end at the end Syntax and semantics of basic elements Chapter 3 - Type cast actors Basic arithmetic and other simple types Chapter 4 - If only Conditional statements Chapter 5 - Would you mind repeating that? Texts and while loops Chapter 6 - Correct Procedures Building blocks Chapter 7 - File FOR future reference Simple input and output using InFile, OutFile and PrintFile Chapter 8 - Item by Item Item oriented reading and writing and for loops Chapter 9 - Classes as Records Chapter 10 - Make me a list Lists 1 - Arrays and simple linked lists Reference comparison Chapter 11 - Like parent like child Sub-classes and complex Boolean expressions Chapter 12 - A Language with Character Character handling, switches and jumps Chapter 13 - Let Us See what We Can See Inspection and Remote Accessing Chapter 14 - Side by Side Coroutines Chapter 15 - File For Immediate Use Direct and Byte Files Chapter 16 - With All My Worldly Goods..
    [Show full text]