Source: https://x.com/josevalim/status/2108663976855052797 · auto-transcribed with Whisper, unedited
[0:00] Hey, everyone, so there has been many discussions on unit testing lately. And I think part of the discussion is that we likely understand different things about what unit testing is and what it is as a practice. So I thought I would record a video of a project that I'm working on and how I am writing tasks for it, okay? So this project, I'm working on it with the help of coding agents, right? I am not writing the code, but I am reviewing the code and I'm providing design directions. And in order to understand what the project does, so it is, you can write laws about Erlang and Elixir programs and you can prove them in me.
[0:49] So I'm going to give a little bit of context because that's going to be really helpful to understand the design of the project, okay? So imagine that like, so a RtypeSystem is coming to Elixir, right? So imagin