jadi, hari ini saya pikir saya menemukan cara untuk menghitung hanya istilah linier sambil tetap memangkas cabang mati dengan malas. itu akan menjadi percepatan besar di SupGen, tetapi tidak berhasil :( Jadi kita kembali menghitung istilah-λ lengkap di sisi baiknya, saya belajar bahwa kita dapat menghitung semua istilah tipe data sewenang-wenang, tanpa perlu membagi label, hanya dengan membangunnya sebagai akumulator dengan lubang. sepertinya tidak terlalu berguna, tetapi, bagaimanapun, inilah sumber HVM3: