Type Inference Zooa year ago#programming#type inference#developer toolshttps://zoo.cuichen.cc/Copy Link交互式学习平台允许直接在浏览器中尝试类型推断示例并探索算法。统一语法与实现为多种类型推断算法提供一致的语法，节省构建新解析器或格式化工具的时间。对语言实现者友好，代码比论文符号更清晰明确，更易于理解。