Monads: Concepts and Applications

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Functional Programming Principles

Covers the principles and benefits of functional programming, emphasizing immutable data and functions.

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.

American Options: Pricing and Strategies

Explores American options, including pricing methods, exercise boundaries, and replicating strategies.

Functional Reactive Programming: Signals and Transformations

Explores functional reactive programming using signals to simplify state changes and event reactions in a more functional and clean approach.

Records and Variants

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Combinatorial Search: For-Expressions

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

Exceptional Monads

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

Polymorphism and Proofs

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

Principles of Finance: Options in Corporate Finance

Explores options in corporate finance, covering graphical representations, option pricing, call-put parity, early exercise, and volatility estimation.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.