C99 के लिए Algebraic Data Types की शुरुआत

Datatype99

यह एक लाइब्रेरी है जो सुरक्षित और सहज algebraic data types प्रदान करती है, और exhaustive pattern matching तथा compile-time resilience फीचर देती है। यह शुद्ध C99 में इम्प्लीमेंट की गई है, इसलिए किसी बाहरी टूल की ज़रूरत नहीं होती।

मुख्य विशेषताएँ

• टाइप सुरक्षा: गलत टाइप वाले variant, अधूरा pattern matching, अमान्य field access आदि compile time पर पकड़े जाते हैं।
• पोर्टेबिलिटी: सिर्फ standards-compliant C99 compiler होना पर्याप्त है। standard library, compiler/platform-specific फीचर, VLA आदि की आवश्यकता नहीं है.
• पूर्वानुमेयता: औपचारिक code generation semantics परिभाषित हैं, जिससे यह सुनिश्चित होता है कि generated data layout हमेशा एक जैसा रहेगा।
• समझने में आसान errors: गलत कोड के प्रति robust है।
• व्यावहारिक रूप से प्रमाणित: OpenIPC में IP कैमरों के लिए real-time streaming software development में उपयोग हो रहा है। इसमें RTSP 1.0 implementation और लगभग 50,000 पंक्तियों का private code आदि शामिल हैं।

इंस्टॉलेशन

• Datatype99 एक header file datatype99.h और एक dependency Metalang99 से बना है।
• अगर आप CMake का उपयोग करते हैं, तो FetchContent के जरिए इसे लाना recommended है।
• ज़रूरत होने पर precompiled header का उपयोग किया जा सकता है। इससे compile time कम किया जा सकता है.

उपयोग

• Datatype99 tagged union के लिए एक साधारण syntax sugar है। यह अधिक सुरक्षित और संक्षिप्त है।
• binary tree उदाहरण:
  • अगर इसे सीधे C में इम्प्लीमेंट करना हो तो struct, union, enum आदि का उपयोग करना पड़ेगा
  • Datatype99 में इसे बस datatype macro कॉल से परिभाषित किया जा सकता है
  • pattern matching का उपयोग करके tree का sum निकालना भी आसान है
    • compile-time safety: अगर गलत variant के binding को access किया जाए तो compile error होगा
    • flexibility: binding pointer type होते हैं, इसलिए इन्हें बदला जा सकता है और dereference करके मान प्राप्त किया जा सकता है
  • variant constructor functions अपने-आप generate हो जाती हैं
• pattern matching का संक्षिप्त विवरण:
  • default case matching के लिए otherwise
  • binding को ignore करने के लिए _ का उपयोग
  • of, ifLet में top-level break/continue का उपयोग वर्जित है। goto label का उपयोग करें.

व्याकरण और semantics

• EBNF grammar definition और semantics की व्याख्या दी गई है।
• लाइब्रेरी header में macro के postfix version का उपयोग recommended है.

यूनिट टाइप

• UnitT99 और unit_v99 के रूप में उपलब्ध है.

GN⁺ की राय

• Datatype99 का उपयोग करने से C में भी algebraic data types को सुरक्षित और सुविधाजनक तरीके से इस्तेमाल किया जा सकता है, जो एक बड़ा लाभ लगता है। इसे मौजूदा C codebase में integrate करना भी आसान लगेगा.
• हालांकि, अगर इसे C++ में इस्तेमाल किया जाए तो template या constexpr जैसी language features के साथ कुछ हिस्सों में overlap हो सकता है। C की तुलना में इसका लाभ कम हो सकता है.
• compile time पर safety की गारंटी इसका बड़ा फायदा है, लेकिन जहाँ data type dynamically बदलते हों वहाँ इसका उपयोग मुश्किल लग सकता है। यह static typing की सीमा है.
• छोटे प्रोजेक्ट में इसे सीधे इम्प्लीमेंट भी किया जा सकता है, लेकिन codebase बड़ा होने पर Datatype99 जैसी लाइब्रेरी का उपयोग productivity और stability दोनों के लिहाज़ से मददगार लगता है.
• इसी तरह की सुविधाएँ देने वाली लाइब्रेरियों में LibADT, Kitsune, P99 आदि शामिल हैं.