Higher-Order Functions Using Naive Substitutions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 1 of 3

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.