Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On! · 4 recomendaciones en HN
Preguntas sobre el video
Pide a la IA que explique esta escena o resuma el video completo. Si la respuesta incluye marcas de tiempo, selecciona una para ir al fragmento.
Prueba a preguntar: ¿Qué está explicando aquí la persona que habla?
Inicia sesión con Google. Consulta el costo máximo en 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 qué lo recomienda HN: 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.” Leer en HN ↗