Hub de conteúdo
Este hub reúne 4 artigos publicados pelo Hidra.blog sobre linguagens na área de desenvolvimento, tecnologia. A seleção começa por “Conheça F*, a linguagem funcional desenvolvida pela Microsoft Research e Inria para verificação formal de código.…”. Use os links abaixo para comparar os artigos e continuar a pesquisa por assuntos relacionados.
4 artigos com esta tag
Voltar para todos os artigosNavegue pelo contexto
Conheça F*, a linguagem funcional desenvolvida pela Microsoft Research e Inria para verificação formal de código. Aprenda como provar matematicamente a correção de softwares críticos.
O Go ganhou um garbage collector completamente reescrito nas versões recentes. Entenda como ele percorre o heap, por que a latência caiu tanto e o que isso muda para aplicações Go em produção.
O Wasmtime, runtime de WebAssembly do Bytecode Alliance, adicionou suporte a coleta de lixo (GC) e exceções. Essas funcionalidades eram barreiras para Python e Java rodarem em Wasm de forma eficiente.
Lisp e de 1958 mas ainda aparece na primeira página do Hacker News em 2026. Entenda o que torna a linguagem única, como o sistema de macros funciona e por que aprender Lisp muda a forma como você pensa sobre programação.