Agda 在前端开发领域中的实践

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

For Existing Member Sign In

This topic created in 2192 days ago, the information mentioned may be changed or developed.

很多大佬都对 Agda 和前端同时有交集，昨天正好又发现了这样一个页面：

Agda

然后在类型推断上，目前正在做的比较火的就是 TypeScript TNG

我想问的 Agda 在正常前端业务开发上能提供多大帮助，比如说 edge/corner case 推断，纯属好奇

1 replies • 2020-05-04 14:25:35 +08:00

zhyd1997

May 4, 2020 via Android

找到答案了，果然比单元测试更严格

https://www.zhihu.com/answer/164882054

这样是不是就不用愁找测试数据了