Programming with Types
Проектирование надёжного кода через систему типов
सारांश:
परिचय
पुस्तक «Programming with Types» (हिंदी अनुवाद में — «प्रोग्रामिंग विद टाइप्स») के लेखक व्लादिस्लाव रिस्कुटिया (Vlad Riscutia) हैं, जो 2019 में प्रकाशित हुई और तुरंत उन डेवलपर्स का ध्यान आकर्षित किया जो गहराई से समझना चाहते हैं कि type system कोड की गुणवत्ता को कैसे बेहतर बना सकता है। 312 पृष्ठों पर, लेखक C# भाषा और .NET प्लेटफॉर्म के उदाहरणों के माध्यम से static typing की शक्ति को उजागर करता है। यह सिंटैक्स पर एक और संदर्भ पुस्तक नहीं है, बल्कि विश्वसनीय, self-documenting और आसानी से बनाए रखने योग्य प्रोग्राम डिजाइन करने के लिए एक व्यावहारिक मार्गदर्शिका है।
पुस्तक किस बारे में है
पुस्तक compilation stage पर त्रुटियों को रोकने के लिए types को एक उपकरण के रूप में उपयोग करने पर केंद्रित है। लेखक पाठक को सरल अवधारणाओं (बेसिक types, casting, overloading) से जटिल (generic types, functional patterns, algebraic data types) तक क्रमिक रूप से ले जाता है। प्रत्येक अध्याय में C# में उदाहरण हैं जो स्पष्ट रूप से दिखाते हैं कि सही type का चुनाव कैसे बग्स की पूरी श्रेणियों को समाप्त कर सकता है। व्यावहारिक तकनीकों पर विशेष ध्यान दिया गया है: type-safe APIs बनाना, discriminated unions का उपयोग, nullable types के साथ काम करना और pattern matching।
यह पुस्तक किसके लिए है
पुस्तक उन डेवलपर्स के लिए है जो पहले से ही C# या किसी अन्य statically typed language की मूल बातों से परिचित हैं। यह उपयोगी होगी:
- उन प्रोग्रामर्स के लिए जो बिना अतिरिक्त tests के अधिक विश्वसनीय कोड लिखना चाहते हैं;
- उन team leads और architects के लिए जो कोडबेस की गुणवत्ता में सुधार करना चाहते हैं;