PPT-CSE341: Programming Languages
Author : dunchpoi | Published Date : 2020-06-22
Lecture 12 Equivalence Dan Grossman Autumn 2018 Last Topic of Unit More careful look at what two pieces of code are equivalent means Fundamental softwareengineering
Presentation Embed Code
Download Presentation
Download Presentation The PPT/PDF document "CSE341: Programming Languages" is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
CSE341: Programming Languages: Transcript
Lecture 12 Equivalence Dan Grossman Autumn 2018 Last Topic of Unit More careful look at what two pieces of code are equivalent means Fundamental softwareengineering idea Made easier with . 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 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 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. Chapter One. Modern Programming Languages, 2nd ed. . 1. Outline. What makes programming languages an interesting subject? . The amazing variety. The odd controversies. The intriguing evolution. The connection to programming practice. 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 . 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. Spring . 2017. Delayed evaluation. For each language construct, the semantics specifies when . subexpressions. get evaluated. In ML, Racket, Java, C:. 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. 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 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. 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.
Download Document
Here is the link to download the presentation.
"CSE341: Programming Languages"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.
Related Documents