Purely functional programming

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Functional Programming in Python

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

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Conc-Trees: Parallel Programming in Scala

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

Combinatorial Search: For-Expressions

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.

Programming Paradigms: Functional, OOP, Polymorphism

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

Smart Composites: Materials and Applications

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

Type Rules: Progress and Preservation

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

Intermediate Representations: CPS/L3

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

Exceptional Monads

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

Functional Reactive Programming

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

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

Page 2 of 2