很多大佬都对 Agda 和前端同时有交集，昨天正好又发现了这样一个页面：
然后在类型推断上，目前正在做的比较火的就是 TypeScript TNG
我想问的 Agda 在正常前端业务开发上能提供多大帮助，比如说 edge/corner case 推断，纯属好奇
这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.