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

V2EX = way to explore

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

已注册用户请登录

这是一个创建于 1483 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

Agda

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

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

1 条回复 • 2020-05-04 14:25:35 +08:00

YadongZhang

2020-05-04 14:25:35 +08:00 via Android

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

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

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