Início TypeTheory no InfoQ Brasil
Notícias
Feed RSS-
Java: Protótipo de aprimoramento do Generics
Apesar do Java 8 ter sido lançado no ano passado e com o Java 9 previsto para o meio de 2016, um primeiro protótipo das funcionalidades esperadas para o Java 10 começou a aparecer incluindo uma inspeção nos generics.
-
Facebook Flow fornece uma verificação estática de tipos para JavaScript
Anunciada durante o evento @Scale 2014, o Facebook abriu o código fonte do Flow, um validador estático para tipos em Javascript. O Flow se une ao TypeScript da Microsoft e ao ATScript do Google com objetivo de fornecer aos programadores web uma ferramenta destinada a detectar bugs no código antes que eles se apareçam em tempo de execução.