PPT-CSE341: Programming Languages

Lecture 6 Nested Patterns Exceptions Tail Recursion Dan Grossman Spring 2013 Nested patterns We can nest patterns as deep as we want Just like we can nest expressions as deep as we want Often avoids hardtoread wordy nested case expressions. 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 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. Lecture 14. Introduction to Racket. Dan Grossman. Fall 2011. Racket. Next 2+ weeks will use the Racket language (not ML) and the . DrRacket. programming environment (not . emacs. ). Installation / basic usage instructions on course website. 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 . 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. Lecture . 9. Function-Closure Idioms. Zach Tatlock. Winter 2018. 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. 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 14. Thunks. , Laziness, Streams, . Memoization. Dan Grossman. Spring . 2017. Delayed evaluation. For each language construct, the semantics specifies when . subexpressions. get evaluated. In ML, Racket, Java, C:. Lecture 17. Implementing Languages Including Closures. Dan Grossman. Autumn . 2018. Typical workflow. Autumn 2018. 2. CSE341: Programming Languages. "(. fn. x => x x) 4". Parsing. Call. Function. 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 19. Introduction to Ruby and OOP. Dan Grossman. Autumn . 2018. Ruby logistics. Next two sections use the Ruby language. http://. www.ruby-lang.org/. Installation / basic usage instructions on course website. 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 17. Implementing Languages Including Closures. Dan Grossman. Spring 2013. Typical workflow. Spring 2013. 2. CSE341: Programming Languages. "(. fn. x => x + x) 4". Parsing. Call. Function.