javascript - PureScript does not compose `trace` and `show` -


तो निम्न कार्य करता है

  मुख्य = ट्रेस $ $ $ दिखाने   

लेकिन यह नहीं है

  मुख्य = do (ट्रेस। शो) 5   

में psci का प्रकार है

  forall r Prim.String - & gt; Control.Monad.Eff.Eff (trace :: debug.Trace.Trace | r) प्रस्तावना। यूनिट   

और शो का प्रकार है

  forall ए। (प्रील्यू। एक देखें) = & gt; ए - & gt; Prim.String   

क्योंकि शो का रिटर्न वैल्यू Prim.String है और पहले इनपुट में ट्रेस है Prim.String उन्हें चाहिए कंपोज़ योग्य हो इसके आगे यह पता चला है कि ट्रेस $ शो प्रकार जांच से गुजरता है लेकिन इसके बजाय मुझे यह त्रुटि मिलती है:

  त्रुटि 1 लाइन में, कॉलम 10: घोषणा में त्रुटि यह Prim.Function Prim.String के साथ Prim.Object को एकजुट नहीं कर सकता।   

मुझे यहाँ क्या याद आ रही है? अभी मेरा मानसिक मॉडल यह है कि हाससेल में ट्रेस बहुत ही putStrLn जैसा है, और यह निश्चित रूप से शो से बना हो सकता है। (putStrLn। Show) 5 काम करता है।

ट्रेस और शो के रचना परिणाम का अपेक्षित प्रकार:

  एक आर (प्रील्यू। एक देखें) = & gt; ए - & gt; Control.Monad.Eff.Eff (trace :: debug.Trace.Trace | r) प्रस्तावना। यूनिट    

फ़ंक्शन संरचना नहीं है, लेकिन शुद्ध स्क्रिप्ट में, जैसा कि

  मुख्य = शो $ {test:" नमस्कार, स्ट्रिंग प्रॉपर्टी "}   

फ़ंक्शन संरचना ऑपरेटर को & lt; & lt; & lt; कहा जाता है, संभवतः उसके बाद।

Comments

Popular posts from this blog

ios - Adding an SKSpriteNode to SKScene from a child SKSpriteNode -

Matlab transpose a table vector -

c# - Textbox not clickable but editable -