समान रूप से, क्या संभाव्य उच्चतर-क्रम कार्यात्मक प्रोग्रामिंग भाषाओं के लिए एक ज्ञात संप्रदाय शब्दार्थ है? विशेष रूप से, वहाँ शुद्ध अनिर्दिष्ट -culculus का एक डोमेन मॉडल है जो एक सममित यादृच्छिक बाइनरी पसंद ऑपरेशन द्वारा विस्तारित है।
प्रेरणा
कार्तीय बंद श्रेणियां उच्च-क्रम -culculi को एक शब्दार्थ प्रदान करती हैं। संभाव्य पावरडोमेन स्टोकेस्टिक कार्यक्रमों को शब्दार्थ प्रदान करते हैं। एक संभाव्य पावरडोमेन ऑपरेशन के तहत बंद किया गया CCC स्टोकैस्टिक उच्च-क्रम कार्यात्मक प्रोग्रामिंग भाषा के लिए एक शब्दार्थ प्रदान करेगा।
संबंधित कार्य
टीएक्स, कीमेल, और प्लोटकिन (2004) [1] निचले, ऊपरी और उत्तल- पॉवरडोमेन संचालन के आधुनिक निर्माण देते हैं, लेकिन टिप्पणी करते हैं कि
यह अभी भी एक खुली समस्या है कि क्या निरंतर डोमेन के कार्टेशियन बंद श्रेणी है जो कि संभाव्य पावरडोमेन के निर्माण के तहत बंद है।
मिस्लोव (2013) [2,3] पहले क्रम की भाषा में निरंतर यादृच्छिक चर के लिए शब्दार्थ प्रदान करता है, लेकिन टिप्पणी करता है कि
भले ही संभाव्य शक्ति डोमेन सीसीसी निर्देशित पूर्ण पॉकेट्स (डीसीसीपी, लघु के लिए) और स्कॉट-निरंतर मानचित्र अपरिवर्तनीय छोड़ देता है, फिर भी कोई कार्टेशियन डोमेन की बंद श्रेणी नहीं है - डीसीसीपी जो सामान्य सन्निकटन धारणा को संतुष्ट करता है - जो कि अपरिवर्तनीय के तहत जाना जाता है। यह निर्माण। सबसे अच्छा यह ज्ञात है कि सुसंगत पसंद मोनाद [4] के तहत सुसंगत डोमेन की श्रेणी अपरिवर्तनीय है, लेकिन यह श्रेणी कार्टेशियन बंद नहीं है।
संदर्भ
- रेजिना टीएक्स, क्लाउस कीमेल, और गॉर्डन प्लॉटकिन (2004) "संभावना और गैर-नियतात्मकता के संयोजन के लिए अर्थ डोमेन" ।
- माइकल मिसलोव (2013) "निरंतर यादृच्छिक चर I के एक डोमेन का एनाटॉमी"
- माइकल मिसलोव (2013) "निरंतर यादृच्छिक चर II के एक डोमेन का एनाटॉमी"
- जुंग, ए। और आर। टी। सी। (1998) "द ट्रूबल प्रोबेबिलिस्टिक पॉवरडोमैन"