คำถามในหัวข้อ 'algebraic-data-types'

เหตุใดในประเภทข้อมูลพีชคณิต หากฉันสามารถกำหนดฟังก์ชัน `from` และ `to` พิเศษสำหรับสองประเภทได้ ทั้งสองประเภทก็ถือว่าเท่าเทียมกันได้
ฉันกำลังอ่านบล็อกนี้: http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ มันบอกว่า: อย่างไรก็ตาม เมื่อฉันพูดถึงความเท่าเทียมกัน ฉันไม่ได้หมายถึงความเท่าเทียมกันของ Haskell ในแง่ของฟังก์ชัน (==)...
285 มุมมอง
schedule 05.11.2023