मैं टाइपिंग एल्गोरिदम पर एक व्यक्तिगत ग्रंथ सूची अनुसंधान शुरू कर रहा हूं और कुछ सुझाव चाहता हूं। सबसे अधिक उपयोग किए जाने वाले टाइप-चेक एल्गोरिदम, रणनीति और सामान्य तकनीक क्या हैं?
मुझे विशेष रूप से जटिल टाइप-चेकिंग एल्गोरिदम में दिलचस्पी है जो व्यापक रूप से ज्ञात स्थिर टाइप की भाषाओं में लागू किए गए थे, उदाहरण के लिए, C ++, जावा 5+, स्काला या अन्य। IE, टाइपिंग-एल्गोरिदम जो अंतर्निहित भाषा (जैसे जावा 1.4 और नीचे) की बहुत सरल टाइपिंग के कारण बहुत सरल नहीं हैं।
मैं किसी विशिष्ट भाषा X, Y या Z में दिलचस्पी नहीं रखता हूं। मैं उस भाषा की परवाह किए बिना टाइप-चेक एल्गोरिदम में दिलचस्पी रखता हूं, जो वे लक्ष्य करते हैं। यदि आप "भाषा एल जैसा उत्तर देते हैं, जिसके बारे में आपने कभी नहीं सुना है, जो दृढ़ता से टाइप किया गया है और टाइपिंग जटिल है, तो एक प्रकार की जाँच एल्गोरिथ्म है जो ए और बी को एल्गोरिथ्म जेड का उपयोग करके जाँचता है", "या"। रणनीति X और Y का उपयोग स्काला के लिए किया जाता है और A का C के लिए उपयोग किया जाने वाला A का वेरिएंट Z, R, S और T सुविधाओं के कारण अच्छा है जो उस तरह से काम करता है ", तो उत्तर अच्छे हैं।