Lecture

Higher-Order Functions Using Naive Substitutions

Related lectures (30)

Functional Programming: Concepts and Implementation

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

Recursive Functions: Substitution Interpreter

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

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.

Safe Mutation in Practice

Explores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.

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.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Python Basics: Functions and Types

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

Python Programming: List Comprehensions and Higher Order Functions

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.