Type-Driven Development in Idris — Edwin Brady
Scala World在 YouTube 播放 ↗
档案导读
Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language. He shows types being written first and programs derived with interactive editing, then extends beyond simple examples to programs that interact with users and networks.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。