Artigo: Não é bem assim: exploração de sistemas para verificar a precisão musical

Willian Rodrigues Blogs/sites TI Sem Comentários

Chris Ford explora o que torna a música precisa e como podemos codificá-la em um sistema de tipos. By Chris Ford Translated by Adonias Santos Veja mais em: InfoQ

https://www.infoq.com/br/articles/type-systems-verifying-musical-correctness/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=global

Você será redirecionado em 10 segundo(s).

Conteúdo relacionado:

  1. Artigo: Correção ou mudança – qual é mais importante?
  2. Artigo: Java: Inferência de tipos para variável local
  3. Patterns em sistemas distribuídos: desacoplamento, segurança e event sourcing

Deixe um comentário

O seu endereço de e-mail não será publicado.

Esse site utiliza o Akismet para reduzir spam. Aprenda como seus dados de comentários são processados.