Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On! · 4 개의 HN 추천
동영상 Q&A
AI에게 현재 장면을 설명하거나 동영상 전체를 요약해 달라고 할 수 있습니다. 답변에 타임스탬프가 있으면 선택해 해당 장면으로 이동하세요.
질문 예시: 여기서 발표자는 무엇을 설명하고 있나요?
Google 로그인이 필요합니다. 확정 전에 최대 사용 크레딧을 확인할 수 있습니다.
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.
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.” HN 토론 읽기 ↗