Functional Reactive Programming

Related lectures (28)

Page 1 of 3

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

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Covers discrete event simulation using digital circuits, base components, complex components, and simulation implementation.

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.

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

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Introduces the widely used Observer Pattern for views to react to model changes, with examples of Publisher, Subscriber, and a Consolidator.

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

Explores imperative programming limitations, theories without mutation, functional programming principles, and the history of functional languages.

Explores recursion in programming, discussing its benefits, challenges, and impact on algorithm complexity.