Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On! · 4 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em créditos antes de confirmar.
Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.
Por que o HN recomenda: Recommended as the best demo of interactive, compiler-assisted dependently typed programming in action.
“Watch Edwin Brady's demo of Idris 2 [2] to see this form of interactive development in action.” Ler no HN ↗