这是一个创建于 1699 天前的主题，其中的信息可能已经有所发展或是发生改变。
很多大佬都对 Agda 和前端同时有交集，昨天正好又发现了这样一个页面：
然后在类型推断上，目前正在做的比较火的就是 TypeScript TNG
我想问的 Agda 在正常前端业务开发上能提供多大帮助，比如说 edge/corner case 推断，纯属好奇
1 条回复 • 2020-05-04 14:25:35 +08:00
 |
1
YadongZhang OP |
Select Language