Concept

Purely functional programming

Related lectures (32)

Conc-Trees: Parallel Programming in Scala

Covers the implementation of Conc-Trees in Scala for parallel programming.

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

Blocks and Lexical Scopes

Explores nested functions, blocks, visibility rules, and lexical scoping in Scala.

Type Rules: Progress and Preservation

Covers Amyli, a tiny functional language, type rules, and soundness.

Exceptional Monads

Covers exceptions in Scala, handling them with try/catch and scala.util.Try, and discusses whether Try is a monad.

Purely Functional Priority Queue Log in to Mediaspace to watch this video

Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Smart Composites: Materials and Applications Log in to Mediaspace to watch this video

Covers the concept, types, and applications of smart composites, including self-sensing H2 storage vessels and active skis.

Intermediate Representations: CPS/L3 Log in to Mediaspace to watch this video

Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.

Functional Reactive Programming Log in to Mediaspace to watch this video

Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.

Python for Engineers: Basics and Functions Log in to Mediaspace to watch this video

Covers Python basics, functions, and practical applications for engineers, emphasizing data manipulation, functional programming, and data structures.