PPT-CSE341: Programming Languages

Lecture 27 Generics vs Subtyping Bounded Polymorphism Dan Grossman Fall 2011 Today Compare generics and subtyping What each is good for Combine generics and subtyping to get even more benefit. Lecture 11. Closures-. ish. Java & . C. Dan Grossman. Fall 2011. Higher-order programming. Higher-order programming, e.g., with . map. and . filter. , is great. Language support for closures makes it very pleasant. Lecture 18. Static vs. Dynamic Typing. Dan Grossman. Fall 2011. Static vs. dynamic typing. A big, juicy, essential, topic about how to think about PLs. Conversation usually overrun with half-informed opinions . Lecture 9. Function-Closure Idioms. Dan Grossman. Fall 2011. More idioms. We know the rule for lexical scope and function closures. Now what is it good for. A partial but wide-ranging list:. Pass functions with private data to iterators: Done. Classification of programming languages. “There are only two kinds of programming languages: those people always bitch about and those nobody uses.”. --. Bjarne. . Stroustrup. 1. . Generated using wordle.net from the text of this ppt file. Introduction To Ruby; Dynamic OOP; "Duck Typing". Alan Borning. Autumn 2012. (slides borrowed from Dan Grossman). The plan. Lecture materials may not recount every little language feature we use. Thomas book . 1. A Type Is A Set. When you declare that a variable has a certain type, you are saying that the values the variable can have are elements of a certain set. A type is a set of values. plus a low-level representation. CS 170b. Benjamin Gaska, much help from William Mitchell. What is a programming language. A simple definition:. A system for describing computation.. It is generally agreed that in order for a language to be . CS 170b. Benjamin Gaska, much help from William Mitchell. What is a programming language. A simple definition:. A system for describing computation.. It is generally agreed that in order for a language to be . Lecture 14. Thunks. , Laziness, Streams, . Memoization. Dan Grossman. Winter 2013. Delayed evaluation. For each language construct, the semantics specifies when . subexpressions. get evaluated. In ML, Racket, Java, C:. Lecture 24. Subtyping . Dan Grossman. Autumn . 2018. Last major topic: Subtyping. Build up key ideas from first principles. In . pseudocode. because:. No time for another language. Simpler . to first show subtyping without objects. Lecture 18. Static vs. Dynamic Typing. Dan Grossman. Autumn . 2018. Key differences. Racket and ML have . much. . . in common. Key differences. Syntax. Pattern-matching vs. . struct. -tests and . accessor. Lecture 22. OOP . vs. Functional Decomposition; Adding Operators & Variants; . Double-Dispatch . Dan Grossman. Autumn . 2018. Breaking things down. In functional (and procedural) programming, break programs down into . Lecture . 6. Tail Recursion, Accumulators, Exceptions. Dan Grossman. Fall 2011. Two unrelated topics. Tail recursion. Exceptions. Fall 2011. 2. CSE341: Programming Languages. Recursion. Should now be comfortable with recursion:. Lecture 26. Course Victory Lap. Dan Grossman. Winter 2013. Final Exam. As also indicated in class-list . email:. Next . Thursday. , . 8:30-10:20. Intention is . to focus primarily on material since the midterm.