Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQGet clarity from senior software practitioners on today's critical dev priorities. Register Now.
Level up your software skills by uncovering the emerging trends you should focus on. Register now.
Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.
InfoQ Homepage Type Theory Content on InfoQ
/articles/type-systems-verifying-musical-correctness/en/smallimage/logo-1561528822846.jpg){kind=logo}
Chris Ford explores what makes music correct and how we might encode it in a type system.