摘要:
Software Foundations Vol.I : 多態(tài)與高階函數(shù)(Poly) 多態(tài) 多態(tài)列表 在上一章中只使用了包含數(shù)的列表。很明顯,程序還需要能夠處理其它元素類型的列表 Inductive boollist : Type := | bool_nil | bool_cons (b : boo 閱讀全文
posted @ 2025-10-07 17:58
Mesonoxian
閱讀(8)
評(píng)論(0)
推薦(0)

浙公網(wǎng)安備 33010602011771號(hào)