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. [...]
/ gotocon
/ goto-
/ 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/GotoConf...