मार्टिन-लोफ प्रकार सिद्धांत पूर्णांक, सूचियों, इत्यादि जैसे आगमनात्मक संरचनाओं को परिभाषित करने के लिए डब्ल्यू-प्रकार का उपयोग करता है, हालांकि, आगमनात्मक निर्माणों की गणना उन्हें उसी तरह से उपयोग नहीं करती है, आगमनात्मक प्रकार वहाँ अधिक हैं जैसे कि स्वयंसिद्ध स्कीमा।
क्या ये दोनों दृष्टिकोण समान हैं (वे प्रतीत होते हैं)? क्या कोई दार्शनिक कारण है कि क्यों एक दूसरे से बेहतर है (मेरे लिए, डब्ल्यू-प्रकार अधिक सहज महसूस करते हैं, क्योंकि विशेष संरचना के पेड़ हैं)? कार्यान्वयन के दृष्टिकोण से यह आसान है (आगमनात्मक प्रकार मेरे लिए बेहतर प्रतीत होता है, क्योंकि डब्ल्यू-प्रकार उपयोगी होने के लिए हमें कम से कम परिमित प्रकार और उत्पादों को सिस्टम के कोर में उपलब्ध होने की आवश्यकता है)