स्टेटिक टाइपिंग के लिए जरूरी नहीं कि समारोह हों

अनुवादक का ध्यान दें: मैं वर्तमान में भिक्षुओं पर दिए गए लेख के लिए सामग्री तैयार कर रहा हूं। दुर्भाग्य से, इसमें बहुत समय लगता है, इस तथ्य का उल्लेख नहीं करने के लिए कि मुझे अभी भी मुख्य काम करना है और परिवार को समय देना है, लेकिन प्रक्रिया जारी है। इस बीच, मैं आपके लिए एक अद्भुत कॉमरेड मार्क सेमैन के एक छोटे से ताजा नोट का अनुवाद प्रस्तुत करता हूं, जिसे मैंने उत्सुक पाया ।

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

समारोह

जो लोग गतिशील रूप से टाइप की गई भाषाओं को गतिशील रूप से टाइप की गई भाषा पसंद करते हैं, अक्सर इस तथ्य पर जोर देते हैं कि समारोह की कमी उन्हें अधिक उत्पादक बनाती है। यह तर्कसंगत लगता है, हालांकि, यह एक गलत द्विभाजन है।

एक समारोह वह है जो आप करने से पहले करते हैं जो आप वास्तव में करने जा रहे थे।

वेंकट सुब्रमण्यम

डायनामिक रूप से टाइप की गई भाषाएं यह आभास देती हैं कि उन्हें विशेष समारोहों की आवश्यकता नहीं है, लेकिन इससे यह निष्कर्ष नहीं निकाला जा सकता है कि सांख्यिकीय रूप से टाइप की गई भाषाओं के लिए उनकी आवश्यकता होती है। दुर्भाग्य से, सभी मुख्य धाराएं सांख्यिकीय रूप से टाइप की गई भाषाएं एक ही परिवार की हैं, और उन्हें समारोह की आवश्यकता होती है। मुझे लगता है कि लोग उनके बारे में जो कुछ भी जानते हैं उसे एक्सेप्ट करते हैं, यह झूठा निष्कर्ष निकालते हैं कि सभी सांख्यिकीय रूप से टाइप की गई भाषाएं आवश्यक रूप से एक ओवरहेड समारोह के साथ आती हैं।

इससे मुझे यह विचार आया कि एक दुर्भाग्यपूर्ण सेरेमोनियल जोन है :

बेशक, यह आरेख सिर्फ एक सरलीकरण है, लेकिन मुझे उम्मीद है कि यह सार को प्रदर्शित करता है। C ++, Java और C♯ ऐसी भाषाएं हैं जिन्हें समारोह की आवश्यकता होती है। उनके अधिकार में ऐसी भाषाएँ हैं जिन्हें हम F H और हास्केल सहित ट्रांस-सेरेमनी कह सकते हैं।

नीचे मैं विभिन्न भाषाओं में कोड दिखाऊंगा। हम समारोह को ऊपर परिभाषित के रूप में विचार करेंगे, तैयारी की मात्रा पर ध्यान देने की आवश्यकता है जो करने की आवश्यकता है, जैसे कि नई फाइलें बनाना, कक्षाएं घोषित करना, प्रकार घोषित करना, और इसी तरह। मैंने उस कोड को छोड़ दिया जो चर्चा के अधीन विषय से संबंधित नहीं है, इस बात पर जोर देने के लिए कि मैं क्या बताना चाहता हूं।

जावास्क्रिप्ट में छोटी संख्या में समारोह

मान लीजिए कि हमारे पास संख्याओं की एक सूची है, और कुछ और संख्याएँ हैं। यह संख्या इंगित करती है कि सूची से कितने आइटम हटाए जाने चाहिए। जब तक हटाए गए संख्याओं का योग इस संख्या से अधिक न हो, आपको बाईं ओर आइटम हटाने की आवश्यकता है। इसका परिणाम बाकी सूची में होगा।

> consume ([1,2,3], 1);
[ 2, 3 ]
> consume ([1,2,3], 2);
[ 3 ]
> consume ([1,2,3], 3);
[ 3 ]
> consume ([1,2,3], 4);
[]

, 1, 2, 3, quantity 2 3 . , quantity 4, , . , 1 3.

JavaScript :

JavaScript-, , , , . 17 , . , , , . JavaScript . , , , .

C♯

JavaScript C♯. C♯ :

, . . , , , , .

. int . , long?

:

short? . decimal? . byte? .

, .

F♯

F♯ :

, . , :

quantity: ^a -> (seq< ^b> -> seq< ^b>)
  when ( ^a or  ^b) : (static member ( + ) :  ^a *  ^b ->  ^a) and
        ^a : (static member get_Zero : ->  ^a) and  ^a : comparison

, , , , . , decimal, :

> consume 2 [1;2;3];;
val it : seq<int> = seq [3]

> consume 2m [1m;2m;3m];;
val it : seq<decimal> = seq [3M]

, . consume "foo" [true;false;true] .

F♯ ( , C♯), : . , " ". , , , , - .

Haskell

Haskell:

. . GHCi , :

> :t consume
consume :: (Foldable t, Ord a, Num a) => a -> t a -> [a]

F♯ , . Foldable ( , . ), , Ord Num. Num , Ord — .

, F♯ Haskell , . , , C♯ Java. , .

, C++, Java C♯. , , , , .

, .

, F♯ Haskell. -. : .