imperative-programming पर टैग किए गए जवाब

कार्यात्मक प्रोग्रामिंग में लैम्ब्डा कैलकुलस और कॉम्बिनेटरी लॉजिक में एक सैद्धांतिक आधार है । जैसा कि कोई सांख्यिकीय कंप्यूटिंग से जुड़ा है, मुझे लगता है कि ये अवधारणाएँ मॉडलिंग के लिए बहुत उपयोगी हैं। क्या अनिवार्य प्रोग्रामिंग का एक समान गणितीय आधार है , या क्या यह मशीन की भाषा …

48 imperative-programming  pl.programming-languages 

संभवतः PL में रैखिक प्रकारों का सबसे आम अनुप्रयोग उन भाषाओं को देने के लिए उपयोग करना है जो अलियासिंग को नियंत्रित करते हैं (यानी, एक रैखिक मान इसके लिए एक एकल सूचक है, कम या ज्यादा)। लेकिन इस उपयोग और रैखिक तर्क के विशिष्ट संप्रदाय मॉडल के बीच एक …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

शब्दार्थ पर एंथोनी ऐबी के "प्रोग्रामिंग भाषाओं का परिचय" खंड में , वह निम्नलिखित अवलोकन करते हैं: प्रोग्रामिंग भाषाओं के शब्दार्थ में अधिकांश कार्य अनिवार्य कार्यक्रमों के निर्माण और समझने की समस्याओं में प्रेरित होते हैं --- असाइनमेंट कमांड के साथ प्रोग्राम। चूंकि असाइनमेंट कमांड वेरिएबल्स के मानों को पुन: …

19 imperative-programming  semantics  big-picture 

मैं साइमन पेटन जोन्स के कार्यात्मक प्रोग्रामिंग भाषाओं के कार्यान्वयन को पढ़ रहा हूं और एक बयान है जिसने मुझे थोड़ा आश्चर्यचकित किया है (पृष्ठ 39 पर): की तुलना में बहुत अधिक हद तक अनिवार्य भाषाओं के लिए मामला है, कार्यात्मक भाषाएं मोटे तौर पर एक-दूसरे के रूपात्मक रूप से …

17 functional-programming  semantics  imperative-programming 

अनिवार्य भाषाओं के लिए प्रकार प्रणालियों के बारे में शोध पत्रों के लिए मेरी खोज में, मैं केवल परस्पर संदर्भों के साथ एक भाषा के लिए समाधान ढूंढता हूं, लेकिन यौगिक ऑपरेटरों, छोरों या सशर्त जैसे वास्तविक अनिवार्य नियंत्रण संरचनाओं के बिना। इसलिए यह स्पष्ट नहीं है कि कैसे एक …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming