A More Elegant Specification for Functional Reactive Programming

Explore a refined approach to Functional Reactive Programming (FRP) in this 30-minute conference talk from YOW! 2015. Delve into Conal Elliott's presentation on replacing FRP's original denotation with a more systematic specification using type class morphisms. Learn how this method, called "denotational design with type class morphisms," provides precise and compelling specifications while ensuring algebraic laws hold and preventing abstraction leaks. Discover how this pattern can be applied to various library designs beyond FRP, bridging concepts from Elliott's keynote talk on FRP and his workshop on Denotational Design. Gain insights into creating more elegant and robust specifications for reactive systems and software architecture.