TypeScript structurally typed है। व्यवहार में इसका क्या मतलब है, और यह कहां काटता है?

structural typing का मतलब है कि मेल शक्ल से तय होता है, घोषित नाम से नहीं, तो सही properties वाला कोई भी object उस type पर खरा उतरता है। इससे types सस्ते और जोड़ने लायक बनते हैं, पर इसका यह भी मतलब है कि एक जैसी शक्ल वाले दो असंबंधित concepts आपस में बदले जा सकते हैं, तो जहां orderId string चाहिए वहां userId string चला जा सकता है। इसका आम इलाज है branded type या कोई छोटा wrapper जो value को अलग शक्ल दे दे।

इसका मतलब है कि TypeScript नाम नहीं, शक्ल की तुलना करता है, तो अगर किसी चीज़ में सही properties हैं तो वह assign हो जाएगी, चाहे वह कहीं से भी आई हो। यह ज़्यादातर वरदान है, क्योंकि इससे types रस्म की जगह दस्तावेज़ जैसे लगते हैं। यह वहां काटता है जहां दो types की शक्ल एक है पर concept अलग। मेरी सारी ids सादी strings थीं, तो order id की उम्मीद करने वाले function में user id भेजना बिल्कुल ठीक compile हुआ और प्रोडक्शन में फेल हुआ। मैंने इसे branded types से ठीक किया, यानी एक अनोखे tag के साथ intersection जिसे सिर्फ एक constructor function बना सकता है, ताकि compiler उन्हें एक जैसा मानना बंद कर दे। दूसरा जाल यह है कि types मिट जाते हैं, तो runtime पर API के response को कोई नहीं जांचता। सीमा पार करने वाली हर चीज़ को मैं schema validator से parse करता हूं और उसी से निकला type आगे बहने देता हूं, जिसका मतलब है कि type और असली डेटा एक दूसरे से हट नहीं सकते। और मुझे पता है कि excess property checking सिर्फ ताज़ा object literals पर लगती है, जिससे यह उलझन काफी हद तक साफ हो जाती है कि कोई अतिरिक्त field कभी error क्यों होती है और कभी नहीं।