Quantifiers in Programming
www.composeconf...
In this talk I'll describe quantifiers and how they manifest in programming (at both type and term levels). I'll then go on to show two very different real-world problems that were solved to profound benefit, using quantification.
One of the examples pertains to scalajs-react, a library for type-safe, frontend FP in Scala.JS, which builds on top of React, a pure JS library. When creating scalajs-react, I faced a difficult problem: React itself has a feature that it implements in such a way that confidence in its correctness is difficult and flaky. How would I implement this in Scala and maintain my goal that compilation is proof of correctness (as reasonably as one can in Scala anyway). I ultimately devised what I think is a novel, unique solution, and it has worked tremendously well in practice. scalajs-react now implements React's feature better than React itself will ever be able to without access to more advanced language features. It also leads to the insight that it can be a profoundly valuable technique to solve a problem for universal and existential quantification separately.
About David Barri
David loves to create!
His primary outlet and passion is programming, with music being second. In fact, David has been obsessively coding and creating since the age of 8 and is still just as excited about it. A common theme throughout all his creation of software, is the striving for, and emphasis on quality. Two of the most important tools towards achieving and maintaining high quality software are a strong, expressive, static type-system; and the functional programming universe (as in: beyond just the paradigm).
Over the past 6 years David has been writing pure FP Scala almost exclusively through a mixture of bootstrapping a requirement management SaaS startup, creating and maintaining numerous open-source Scala and Scala.JS FP libraries, consulting, and when time (and family) permit, sharing learnings and experiences to help others up the learning curve.
He moved to Melbourne just under a year ago. Feel free to say hi! You can also find him on twitter at @japgolly .
2 окт 2024
