जटिलता सिद्धांत में मौजूद व्यापक पदानुक्रमों से प्रेरित होकर, मैंने सोचा कि क्या इस तरह के पदानुक्रम भी प्रकार की प्रणालियों के लिए मौजूद थे। हालाँकि, अब तक मैंने जो दो उदाहरण पाए हैं, वे दोनों पदानुक्रम (क्रमिक सुविधाओं के साथ) के बजाय चेकलिस्ट (क्रमिक रूप से अधिक और अधिक अभिव्यंजक प्रकार के साथ) जैसे हैं।
मुझे जो दो उदाहरण मिले हैं, वे हैं लंबा क्यूब और के -रैंक पॉलिमोर्फिज्म की अवधारणा । पहला तीन विकल्पों के साथ एक चेकलिस्ट है, दूसरा एक वास्तविक पदानुक्रम है (हालांकि कश्मीर के विशिष्ट मूल्यों के लिए के-रैंक असामान्य है मुझे विश्वास है)। अन्य सभी प्रकार की प्रणाली की विशेषताएँ मुझे पता है कि ज्यादातर ऑर्थोगोनल हैं।
मुझे इन अवधारणाओं में दिलचस्पी है क्योंकि मैं अपनी भाषा डिजाइन कर रहा हूं और मैं बहुत उत्सुक हूं कि यह वर्तमान में मौजूदा प्रकार की प्रणालियों में कैसे रैंक करता है (मेरा प्रकार प्रणाली कुछ अपरंपरागत है, जहां तक मुझे पता है)।
मुझे एहसास है कि 'अभिव्यंजना' की अवधारणा थोड़ी अस्पष्ट हो सकती है, जो यह बता सकती है कि टाइप सिस्टम मेरे लिए चेकलिस्ट की तरह क्यों लगते हैं।