Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a revolutionary approach to user interface development through this 21-minute conference talk that demonstrates how profunctors from category theory can be applied to create entirely declarative user interfaces. Learn about the theoretical foundations of profunctors and their relationship to optics (lenses, prisms) and arrows, which provide a common basis for encoding both data and computation structures. Discover how various profunctor instances - including strong profunctor, choice profunctor, semigroupoid profunctor, sum profunctor, and zero profunctor - combined with semigroup and monoid instances can enable rich UI development with an excellent developer experience. Examine the practical implementation of these concepts through Bambik, a PureScript library prototype that creates Web UIs using Material Design Components, showcasing how profunctor encoding can handle both the static structure and dynamic behavior of user interfaces in a purely functional programming paradigm.
