आमतौर पर टाइपिंग भाषाओं के रूप में क्या सोचा जाएगा, इसके साथ दिलचस्प चीजें करना संभव है। उदाहरण के लिए, आप पोस्टस्क्रिप्ट का उपयोग करके मैंडलब्रॉट सेट का निर्माण कर सकते हैं ।
इस MathOverflow प्रश्न में यह सुझाव दिया गया है कि LaTeX ट्यूरिंग-पूर्ण हो सकता है । इसका मतलब है कि मनमाने ढंग से प्रोग्राम लिखने की क्षमता (हालांकि यह आसान नहीं हो सकता है!)। क्या किसी को LaTeX में इस तरह के कार्यक्रम के किसी भी ठोस उदाहरण के बारे में पता है, जो भाषा के साथ कुछ अत्यधिक असामान्य करता है?
जवाबों:
द मोनाड रीडर के अंक 13 में , स्टीफन हिक्स मैक्रोज़ के प्रचुर उपयोग के साथ, TeX में ICFP प्रतियोगिता (मार्स रोवर नेविगेशन को शामिल करने) के समाधान को लागू करने के बारे में लिखते हैं। जाहिर है, टाइपसेट का आउटपुट जब टाइपसेट रोवर के पथ का एक पोस्टस्क्रिप्ट मानचित्र होता है।
वैकल्पिक रूप से, एंड्रयू ग्रीन ने TeX ( अधिक विवरण ) में एक बेसिक दुभाषिया लिखा । यह थोड़ा विकृत रूप में गिना जा सकता है।
pgfmathपुस्तकालय अभी भी मुझे आश्चर्य होता। लेकिन अधिक ट्यूरिंग से संबंधित नोट पर: http://en.literateprograms.org/Turing_machine_simulator_(LaTeX) के अनुसार, TeX में एक वास्तविक ट्यूरिंग मशीन लिखना संभव है । यह TeX में विस्तार का उपयोग करने का सिर्फ एक निफ्टी तरीका है।
पोस्टस्क्रिप्ट पूरी तरह से ट्यूरिंग है, यदि आप मैनुअल पढ़ेंगे तो आप इसकी सामान्य प्रोग्रामिंग क्षमताओं से आश्चर्यचकित होंगे (कम से कम, मैं तो था)।
\ def \ K # 1 # 2 {# 2}
\ def # एस # 1 # 2 # 3 {# 1 # 3 {# 2 # 3}}
मुझे यकीन नहीं है कि अगर यह प्रति प्रोग्रामिंग के रूप में अर्हता प्राप्त करता है, लेकिन मैंने हाल ही में LaTeX में ऑब्जेक्ट ओरिएंटेड सामान की तरह कुछ करना शुरू कर दिया है। (आपको निम्नलिखित का पालन करने के लिए किसी गणित को जानने की आवश्यकता नहीं है।) हाल के पत्रों में, मैं उन श्रेणियों के बारे में लिख रहा हूं , जिनमें ऑब्जेक्ट और मॉर्फिज़म हैं । चूँकि उनमें से बहुत कुछ हो चुका है, मैं एक सुसंगत शैली चाहता था ताकि, कहूँ कि, object विशिष्ट वस्तु सी और विशिष्ट आकारिकी सी के साथ एक श्रेणी थी । तो मैं भी डी और डी के साथ 𝒟 होगा। तो मैं एक "वर्ग" को परिभाषित करता हूं, "श्रेणी" कहता हूं (आपको वहां मजाक को समझने के लिए एक गणितज्ञ होने की आवश्यकता है), और घोषित करें कि सी इस वर्ग का एक उदाहरण है, और फिर \ ccat, \ cobj, \ cmor तक पहुंच है इत्यादि। \ Cat {c}, \ obj {c}, और \ mor {c}, और इसके आगे नहीं करने का कारण यह है कि कभी-कभी इन श्रेणियों के विशेष नाम होते हैं और इसलिए उदाहरण घोषित करने के बाद, मैं इसे संशोधित कर सकता हूं यह नाम बहुत आसानी से है (बस \ ccat को फिर से परिभाषित करें - वास्तव में, \ mathcat \ ccat एक आवरण है जो गणित मोड में \ mathccat और पाठ मोड में \ textccat का चयन करता है)। (बेशक, यह उपरोक्त सुझावों की तुलना में थोड़ा अधिक जटिल है और ओओ सामान वास्तव में उपयोगी है जब मैं एक पुरानी श्रेणी के संस्करण के रूप में एक नई श्रेणी को परिभाषित करना चाहता हूं (यह उस मामले से भी निपट सकता है जहां पुराना एक नहीं है ' टी अभी तक मौजूद है।))
यद्यपि यह वास्तविक प्रोग्रामिंग के रूप में योग्य नहीं हो सकता है, मैं इसे कागजों में उपयोग कर रहा हूं और इसे उपयोगी पाता हूं - अन्य उत्तर (अब तक) में एक व्यावहारिक समस्या के लिए एक समझदार समाधान की तुलना में लाटेक्स की क्षमताओं को दिखाने की भावना अधिक है।
मैं किसी ऐसे व्यक्ति के बारे में जानता हूं जिसने LaTeX में एक ACM प्रतियोगिता समस्या का उत्तर लिखा है ।