所以，今天我想我找到了一個方法，可以僅枚舉線性項，同時仍然懶惰地修剪死分支。這將大大加快 SupGen 的速度，但它沒有成功 :( 所以我們又回到了枚舉完整的 λ-項。 好的一面是，我瞭解到我們可以枚舉任意數據類型的所有項，而無需拆分標籤，只需將其構建為帶孔的累加器。看起來似乎不是很有用，但無論如何，這裡是 HVM3 源代碼：