Concept
Fold (higher-order function)
Related lectures (47)
Higher-Order Functions Using Naive Substitutions
Explores higher-order functions, environments, evaluation using substitution, and examples like twice factorial.
Avoiding Variable Capture
Explores variable capture in higher-order functions and the importance of variable renaming.
Functional Programming in Python
Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.
Translation of for
Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.
Programming Concepts: Functions, Inheritance, Code Optimization
Covers advanced programming concepts like higher-order functions and inheritance.
Dynamic Memory Management and Dynamic Dispatch
Explores memory management, safety, automated techniques, garbage collection, dynamic dispatch, and first-class functions.
Higher-Order Functions Using Environments
Demonstrates a metacircular approach to interpreting higher-order functions efficiently using environments and first-class functions.
Finding Fixed Points: Iterative Methods for Convergence
Covers iterative methods for finding fixed points of functions, focusing on square root calculations and the power of functions as return values.
Recursive Functions: Substitution Interpreter
Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.
Program Optimizations and Abstract Interpretation Idea
Covers program optimizations, abstract interpretation, algebraic transformations, and interval analyses.