คำถามในหัวข้อ '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