Lecture

Higher-Order Functions Using Naive Substitutions

Related lectures (30)

Recursive Functions: Substitution Interpreter

Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Encoding Recursion as Self-Application

Explores lambda calculus, higher-order functions, and recursive function encoding.

Avoiding Variable Capture

Explores variable capture in higher-order functions and the importance of variable renaming.

Combinatorial Search and For-Expressions

Explores combinatorial search and introduces for-expressions as a more intuitive way to manipulate lists in Scala.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

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.

Combinatorial Search: For-Expressions

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Higher-Order Functions: Lambda

Explores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

Functional Programming in Python

Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.

Programming Concepts: Functions, Inheritance, Code Optimization

Covers advanced programming concepts like higher-order functions and inheritance.

Loops: Control Statements and Functions

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.

Python Basics: Functions and Lists

Introduces Python basics, functions, lists, and lambda functions for concise coding.

Higher order list functions

Covers recurring patterns for computations on lists using higher order functions.

Python Basics: Functions and Types

Covers Python basics, including data types, loops, functions, classes, and GUI creation.

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.

Dynamic Memory Management and Dynamic Dispatch

Explores memory management, safety, automated techniques, garbage collection, dynamic dispatch, and first-class functions.