8
คำหลัก "forall" ใน Haskell / GHC ทำอะไรได้บ้าง
ฉันเริ่มเข้าใจวิธีการใช้forallคำหลักใน "ประเภทที่มีอยู่" เช่นนี้: data ShowBox = forall s. Show s => SB s อย่างไรก็ตามนี่เป็นเพียงส่วนย่อยของวิธีการforallใช้งานและฉันก็ไม่สามารถห่อหุ้มใจการใช้งานในสิ่งต่าง ๆ เช่นนี้: runST :: forall a. (forall s. ST s a) -> a หรืออธิบายว่าทำไมสิ่งเหล่านี้จึงแตกต่าง: foo :: (forall a. a -> a) -> (Char, Bool) bar :: forall a. ((a -> a) -> (Char, Bool)) หรือทั้งหมดRankNTypes... ฉันมักจะชอบภาษาอังกฤษที่ชัดเจนและไร้คำศัพท์มากกว่าภาษาที่เป็นเรื่องปกติในสภาพแวดล้อมทางวิชาการ …