This article is a write-up of a talk I gave at MinneBar 2022. Instead of reading this, you could also watch the recording or view the slides. The title of this talk is "maintaining software correctness." But what exactly do I mean by “correctness”? Let me set the

I gave a talk this year about functional reactive programming (FRP) that attempted to break down what gives FRP its name and why you should care. Here's a write-up of that talk. -------------------------------------------------------------------------------- Introduction Functional reactive programming has been all the rage in the past few years. But