Disseminando conhecimento e inovação em desenvolvimento de software corporativo.
Contribuir
How do traditional security approaches scale in Cloud Native architectures? Register Now!
Learn from practitioners driving innovation and change in software. Attend in-person on April 4-6, 2022.
Uncover emerging trends and practices from software leaders. Attend online on May 10-20, 2022.
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.
Início Haskell no InfoQ Brasil
/articles/type-systems-verifying-musical-correctness/pt/smallimage/logo-1561528822846.jpg){kind=logo}
Chris Ford explora o que torna a música precisa e como podemos codificá-la em um sistema de tipos.