ฉันไม่แน่ใจว่าจะลบวงจรออกจากรายการประเภทที่ไม่แน่นอนได้อย่างไร: type 'a m_list = Nil | Cons of 'a * (('a m_list) ref) เช่น. ถ้าผมมีรายการ 3,2,2,1,2,1,2,1,..... ผมอยากได้ 3,2,2,1. สิ่งที่คิดไม่ออก คือตำแหน่งของการวนซ้ำครั้งแรก -...

ในแบบฝึกหัดฉันต้องการใช้ต้นไม้นิ้ว 2-3 นั่นควรเป็นโอกาสอันดีที่จะลองใช้การทดสอบตามแบบจำลองของ FsCheck ฉันตัดสินใจลองใช้ เวอร์ชันทดลอง ที่ใหม่กว่า จนถึงตอนนี้ ฉันเขียนโค้ดเพียงคำสั่งเดียวสำหรับเครื่องทดสอบเพราะฉันล้มเหลวในการทำงานนั้น...