2011-10-11 12 views
7

क्या कोई हास्केल दुभाषिया है जो टाइप परिभाषाओं या अधिमानतः सभी प्रकार के बयान स्वीकार करता है?एक हास्केल दुभाषिया/डब्ल्यू प्रकार परिभाषा

मैंने पहले ही ghci और hugs को आजमाया है और इनमें से कोई भी ऐसा नहीं करता है। क्या कोई विशेष कारण है कि यह कठिन/असंभव है?

+0

आप क्या करने की कोशिश कर रहे हैं? हालांकि मुझे लगता है कि एचबीसी मनमाने ढंग से हास्केल बयान स्वीकार करने में सक्षम था। ध्यान दें कि आप केवल ghci में अपनी तरह की परिभाषा प्रदान नहीं कर सकते क्योंकि इसके लिए एक संलग्न कार्य नहीं होगा, हालांकि 'fx = x + 1 :: (संख्या ए) => ए -> ए' चाहिए काम। – ivanm

+0

मैं आपका दर्द साझा करता हूं। मेरे पास चारों ओर लटकने वाले 'test.hs' हैं। इससे भी बदतर, ghci कंसोल कम से कम मेरे सिस्टम पर (पेस्ट मैंने अभी रिपोर्ट की है) पेस्ट एक्शन से निपट नहीं पाता है। – gawi

+0

@ivanm असल में, इस पल में मैं अभी शुरू कर रहा हूं और अभी तक कुछ भी करने की कोशिश नहीं कर रहा हूं। बस मुझे आश्चर्य हो गया। वास्तव में – julkiewicz

उत्तर

3

परंपरागत रूप से, यह करने के लिए जवाब है कि कोड आईओ इकाई के अंदर एक इंटरैक्टिव शीघ्र जीवन पर लिखा गया है। ऐसा लगता है कि Prelude> के पीछे छिपाने वाली छाया main = do है। इस तरह के बारे में सोचें, और प्रकार की घोषणाओं की अनुपस्थिति और शीर्ष स्तर की घोषणा वाक्यविन्यास समझ में आता है, जैसा कि सभी let कथन करते हैं।

लेकिन पटिवल सही है: ऐसा लगता है कि हमें जल्द ही इसके बारे में चिंता करने की आवश्यकता नहीं होगी।

13

ऐसा लगता है कि यह जल्द ही GHCi में तय किया जाएगा, देखें:

http://hackage.haskell.org/trac/ghc/ticket/4929

+0

। यह HEAD में पहले से ही संभव है, और यह सुविधा 7.4 में होगी। –

संबंधित मुद्दे