A More Elegant Specification for Functional Reactive Programming • Conal Elliott • YOW! 2015

This presentation was recorded at YOW! 2015. #GOTOcon #YOW https://yowcon.com Conal Elliott - Independent Researcher ABSTRACT This talk serves as a bridge between my keynote talk on Functional Reactive Programming (FRP) and the workshop on Denotational Design. I show how to replace most of FRP’s original denotation (semantic specification) by saying that the meaning function distributes over the abstract interfaces, made precise as simple (and possibly familiar) equations. The resulting denotation is exactly equivalent to FRP’s original, less systematically defined, specification, but didn’t have to be invented specifically for FRP. I call this pattern “denotational design with type class morphisms” and have found it to be applicable to many other library designs as well, some of which appear in the longer workshop. Following this pattern provides simple, precise, and compelling “specifications for free”, while guaranteeing that the usual algebraic laws hold and preventing abstraction leaks. [...] https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.facebook.com/GOTOConferences #DenotationalDesign #ReactiveSystems #SoftwareArchitecture #EventSourcing #ConalElliott #JamesWatson #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1