ทำไมตัวสร้างข้อมูลที่มีชื่อเดียวกันไม่อนุญาตในตัวสร้างประเภทอื่น

การประกาศต่อไปนี้ให้ข้อผิดพลาด:

type Vec2d = (Float, Float)
type Vec3d = (Float, Float, Float)
-- Rect x y defines a rectangle spanning from (0,0) to (x,y)
data Obj2d = Rect Float Float
           | Translate Vec2d Obj2d
-- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z)
data Obj3d = Cuboid Float Float Float
           | Translate Vec3d Obj3d

Multiple declarations of 'Translate'คือ

ตอนนี้ฉันสงสัยว่าทำไมข้อ จำกัด นี้ถูกนำมาใช้?

หากไม่มีข้อ จำกัด ใครก็สามารถเขียนได้

Translate (1, 1) Rect 2 2 และ Translate (1, 2, 3) Cuboid 1 1 1ซึ่งฟังดูเป็นธรรมชาติ

ฉันไม่ (ทันที) ดูว่าสิ่งนี้อาจส่งผลให้เกิดปัญหาในการแยกวิเคราะห์การเสนอราคาเพื่อไม่อนุญาตให้ใช้ชื่อเดียวกันได้หรือไม่ประเภทสามารถสรุปได้โดยอาร์กิวเมนต์ ( Rect 2 2คือ an Obj2d, Cuboid 1 1 1คือObj3d)

ฉันแน่ใจว่ามีเหตุผลที่ดีที่นักออกแบบภาษาเลือกที่จะไม่อนุญาตให้ใช้ชื่อเดียวกันกับตัวสร้างข้อมูลประเภทต่าง ๆ แต่ฉันต้องการที่จะเรียนรู้: ทำไมเมื่อไม่จำเป็นอย่างเห็นได้ชัด?

(และประเภทความเข้าใจผิดเป็นธุรกิจขนมปังและเนยของ Haskell!)

นั่นเป็นเพราะตัวสร้างข้อมูลเป็นเพียงฟังก์ชั่นและไม่อนุญาตให้ใช้การโอเวอร์โหลดของฟังก์ชันใน Haskell อาจชัดเจนกว่านี้ถ้าคุณใช้ไวยากรณ์ GADT เพื่อกำหนดประเภทของคุณ:

{-# LANGUAGE GADTs #-}
data Obj2d where
    Rect :: Float -> Float -> Obj2d   -- a function from floats to obj2d's
    Translate :: Vec2d -> Obj2d       -- a function from vec2d's to Obj2d's

ฉันเชื่อว่าพวกเขา (GHC devs) กำลังทำงานเพื่อแก้ไขปัญหาที่เป็นไปได้เกี่ยวกับการแนะนำสิ่งใหม่type classสำหรับทุกประเภทที่ใช้ตัวสร้างข้อมูลเดียวกันหรือสิ่งที่คล้ายกัน โปรดคอยติดตามการแก้ไขปัญหาของคุณในเร็ว ๆ นี้! (ฉันหวังว่า)