很多大佬都对 Agda 和前端同时有交集，昨天正好又发现了这样一个页面：
然后在类型推断上，目前正在做的比较火的就是 TypeScript TNG
我想问的 Agda 在正常前端业务开发上能提供多大帮助，比如说 edge/corner case 推断，纯属好奇
This topic created in 2212 days ago, the information mentioned may be changed or developed.
1 replies • 2020-05-04 14:25:35 +08:00
 |
1
zhyd1997 OP |
Select Language