Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!在 YouTube 播放 ↗
档案导读
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.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。