क्यों: स्प्रिंट हमेशा एक "_" प्रिंट करता है?

Question

Prelude> let a = 3 
Prelude> :sprint a 
a = _ 
Prelude> let c = "ab" 
Prelude> :sprint c 
c = _ 

यह हमेशा _ क्यों प्रिंट करता है? मुझे कमांड के अर्थशास्त्र नहीं मिलते हैं।

Answer 1

हास्केल एक आलसी भाषा है। यह तब तक परिणामों का मूल्यांकन नहीं करता जब तक वे "आवश्यक" न हों।

अब, प्रिंटिंग एक मूल्य यह सब "आवश्यक" होने का कारण बनता है। दूसरे शब्दों में, यदि आप जीएचसीआई में एक अभिव्यक्ति टाइप करते हैं, तो यह परिणाम प्रिंट करने का प्रयास करेगा, जिसके कारण इसका मूल्यांकन किया जा सकता है। आमतौर पर यही वही है जो आप चाहते हैं।

sprint कमांड (जो एक जीएचसीआई सुविधा है, जो हास्केल भाषा का हिस्सा नहीं है) आपको यह देखने की अनुमति देता है कि इस बिंदु पर कितना मूल्य मूल्यांकन किया गया है।

उदाहरण के लिए:

Prelude> let xs = [1..] 
Prelude> :sprint xs 
xs = _ 

तो, हम सिर्फ xs की घोषणा की, और यह वर्तमान में unevaluated है। आइए पहले तत्व को प्रिंट करें:

Prelude> head xs 
1 
Prelude> :sprint xs 
xs = 1 : _ 

अब जीएचसीआई ने सूची के प्रमुख का मूल्यांकन किया है, लेकिन कुछ भी नहीं।

Prelude> take 10 xs 
[1,2,3,4,5,6,7,8,9,10] 
Prelude> :sprint xs 
xs = 1 : 2 : 3 : 4 : 5 : 6 : 7 : 8 : 9 : 10 : _ 

अब पहले 10 तत्वों का मूल्यांकन किया जाता है, लेकिन अधिक रहते हैं। (xs के बाद से एक अनंत सूची है, कि आश्चर्य की बात नहीं है।)

आप अन्य भाव का निर्माण और देखने के लिए क्या हो रहा है एक समय में उन्हें थोड़ा मूल्यांकन कर सकते हैं। यह वास्तव में जीएचसीआई डीबगर का हिस्सा है, जो आपको एक समय में अपने कोड को एक बिट से आगे बढ़ने देता है। विशेष रूप से यदि आपका कोड एक अनंत लूप में पकड़ा जा रहा है, तो आप print कुछ भी नहीं चाहते हैं, क्योंकि इससे जीएचसीआई लॉक हो सकता है। लेकिन आप अभी भी देखना चाहते हैं कि क्या हो रहा है ... इसलिए sprint, जो आपको यह देखने देता है कि अब तक क्या मूल्यांकन किया गया है।

Answer 2

हास्केल आलसी है। यह तब तक चीजों का मूल्यांकन नहीं करता जब तक उनकी आवश्यकता न हो।

जीएचसीआई sprint कमांड (हास्केल का हिस्सा नहीं, केवल दुभाषिया का डिबगिंग कमांड) मूल्यांकन को मजबूर किए बिना अभिव्यक्ति के मूल्य को प्रिंट करता है।

जब आप

let a = 3 

बारे में आप दाएँ हाथ की ओर अभिव्यक्ति के लिए एक नया नाम a बाध्य है, लेकिन अभी तक हास्केल उस चीज़ का मूल्यांकन नहीं होंगे। इसलिए, जब आप sprint करते हैं, तो यह _ प्रिंट करता है यह दर्शाता है कि अभिव्यक्ति का अभी तक मूल्यांकन नहीं हुआ है।

इस प्रयास करें:

let a = 3 
:sprint a -- a has not been evaluated yet 
print a -- forces evaluation of a 
:sprint a -- now a has been evaluated 

Answer 3

मैं देर से एक सा है, लेकिन मैं एक ऐसी ही समस्या हुई:

λ: let xs = [1,2,3] 
xs :: Num t => [t] 
λ: :sprint xs 
xs = _ 
λ: print xs 
λ: :sprint xs 
xs = _ 

यह समस्या बहुरूपी मूल्यों के लिए विशिष्ट है।आप -XNoMonomorphismRestriction सक्षम GHCi है, तो वास्तव में मूल्यांकन कभी नहीं होगा/बल xs, यह केवल का मूल्यांकन करेंगे/बल विशेषज्ञताओं:

λ: :set -XMonomorphismRestriction 
λ: let xs = [1,2,3] 
xs :: [Integer] 
λ: print xs 
λ: :sprint xs 
xs = [1,2,3]