พฤติกรรมปัจจุบัน

Prelude> show _

<interactive>:7:6:
    Found hole ‘_’ with type: a0
    Where: ‘a0’ is an ambiguous type variable
    Relevant bindings include it :: String (bound at <interactive>:7:1)
    In the first argument of ‘show’, namely ‘_’
    In the expression: show _
    In an equation for ‘it’: it = show _

พฤติกรรมที่ต้องการ

คงจะดีไม่น้อยถ้า GHC บอกฉันด้วยว่ารูที่พิมพ์มีShowข้อ จำกัด ประเภทคลาส

อื่น ๆ

GHC เวอร์ชัน 7.8.1.1

ตอนนี้ได้รับการแก้ไขแล้วใน GHC 8.0 ด้วยตั๋ว GHCของ @ DominiqueDevrieseตั๋ว

เนื่องจากการผิดนัดประเภทเพิ่มเติมสิ่งนี้จึงไม่ชัดเจนใน GHCi ในทันที ด้วยตัวอย่างของคุณ

> show _

  <interactive>:7:6: error:
    • Found hole: _h :: ()
      Or perhaps ‘_h’ is mis-spelled, or not in scope
    • In the first argument of ‘show’, namely ‘_h’
      In the expression: show _h
      In an equation for ‘it’: it = show _h
    • Relevant bindings include
        it :: String (bound at <interactive>:7:1)

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

อย่างไรก็ตามหากคุณคอมไพล์ด้วย GHC หรือปิดใช้งานกฎเริ่มต้นเพิ่มเติมใน GHCi (via :set -XNoExtendedDefaultRules) เราจะเห็นผลลัพธ์ของการปรับปรุง:

<interactive>:3:1: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘show’
      prevents the constraint ‘(Show a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        instance Show Ordering -- Defined in ‘GHC.Show’
        instance Show Integer -- Defined in ‘GHC.Show’
        instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
        ...plus 22 others
        ...plus 11 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the expression: show _
      In an equation for ‘it’: it = show _

<interactive>:3:6: error:
    • Found hole: _ :: a0
      Where: ‘a0’ is an ambiguous type variable
    • In the first argument of ‘show’, namely ‘_’
      In the expression: show _
      In an equation for ‘it’: it = show _
    • Relevant bindings include
        it :: String (bound at <interactive>:3:1)

ไม่มีในขณะนี้เป็นไปไม่ได้ แต่อาจมีการเพิ่ม GHC ตามการคาดเดา

ลองit :: _ => _ใน GHC 8.8+