คำถามติดแท็ก template-haskell

Template Haskell สามารถค้นหาชื่อและ / หรือการประกาศคำพ้องความหมายประเภทที่เกี่ยวข้องที่ประกาศไว้ในคลาสประเภทได้หรือไม่ ฉันคาดว่าreifyจะทำสิ่งที่ฉันต้องการ แต่ดูเหมือนจะไม่ได้ให้ข้อมูลที่จำเป็นทั้งหมด มันทำงานเพื่อรับลายเซ็นประเภทฟังก์ชั่น: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help ... Prelude> -- I'll be inserting line breaks and whitespace for clarity Prelude> -- in all GHCi output. Prelude> :set -XTemplateHaskell Prelude> import Language.Haskell.TH Prelude Language.Haskell.TH> class C a where f :: a …

257 haskell  template-haskell  type-families  reify  associated-types 

ดูเหมือนว่าแม่แบบ Haskell มักถูกมองโดยชุมชน Haskell ว่าเป็นความสะดวกสบายที่โชคร้าย เป็นการยากที่จะพูดออกมาอย่างชัดเจนถึงสิ่งที่ฉันสังเกตเห็นในเรื่องนี้ แต่พิจารณาตัวอย่างเล็ก ๆ น้อย ๆ เหล่านี้ เทมเพลต Haskell แสดงรายการภายใต้ "The Ugly (แต่จำเป็น)" เพื่อตอบคำถามที่ผู้ใช้ควรใช้ / หลีกเลี่ยง Haskell (GHC) ส่วนขยายใด เทมเพลต Haskell ถือว่าเป็นวิธีการแก้ปัญหาชั่วคราว / ที่ด้อยกว่าในUnboxed Vectors ของ newtype'd values thread (รายการส่งเมลของไลบรารี) Yesod มักถูกวิพากษ์วิจารณ์ว่าต้องอาศัยเทมเพลต Haskell มากเกินไป (ดูโพสต์บล็อกเพื่อตอบสนองต่อความรู้สึกนี้) ฉันได้เห็นโพสต์บล็อกต่าง ๆ ที่ผู้คนทำสิ่งต่าง ๆ เรียบร้อยด้วยเทมเพลตแฮสเค็ลล์ทำให้เปิดใช้งานไวยากรณ์ที่สวยกว่าซึ่งไม่สามารถทำได้ในแฮสเค็ลล์ปกติ ดังนั้นทำไมเทมเพลตแฮสเคลล์จึงถูกมองลงไปด้วยวิธีนี้? อะไรทำให้ไม่พึงปรารถนา เทมเพลต Haskell ควรหลีกเลี่ยงสถานการณ์ใดและเพราะอะไร

252 haskell  template-haskell