PPT-CSE341: Programming Languages

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 12. Modules. Dan Grossman. Fall 2011. Modules. For larger programs, one “top-level” sequence of bindings is poor. Especially because a binding can use . all. earlier (non-shadowed) bindings. 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 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 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 . 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 25. Subtyping for OOP;. Comparing/Combining Generics and Subtyping . Dan Grossman. Winter 2013. Now…. Use what we learned about subtyping for records and functions to understand subtyping for class-based OOP. 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 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 7. First-Class Functions. Dan Grossman. Spring 2019. What is functional programming?. “. Functional programming. ” can mean a few different things:. Avoiding mutation in most/all cases (done and ongoing). 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 hard-to-read, wordy nested case expressions. Lecture . 22. OOP . vs. Functional Decomposition; Adding Operators & Variants; . Double-Dispatch . Dan Grossman. Winter 2013. Breaking things down. In functional (and procedural) programming, break programs down into . 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.