hazel

#hazel

双向类型切片

Lobsters Hottest ↗ · 2026-10-06 缓存

本文提出了一种双向类型切片理论：选取一个项并查询其类型信息后，可得到一个足以解释该类型的最小程序切片。该元理论已用 Agda 形式化，并为 Hazel 编程环境实现了一个线性时间的近似算法。

0 人收藏 0 人点赞