Agda 在前端开发领域中的实践
資深大佬 : YadongZhang 10
很多大佬都对 Agda 和前端同时有交集，昨天正好又发现了这样一个页面：
然后在类型推断上，目前正在做的比较火的就是 TypeScript TNG
我想问的 Agda 在正常前端业务开发上能提供多大帮助，比如说 edge/corner case 推断，纯属好奇
大佬有話說 (1)
Agda 在前端开发领域中的实践
-
主 資深大佬 : YadongZhang找到答案了，果然比单元测试更严格
https://www.zhihu.com/answer/164882054
这样是不是就不用愁找 测试 数据 了
-