संभवतः PL में रैखिक प्रकारों का सबसे आम अनुप्रयोग उन भाषाओं को देने के लिए उपयोग करना है जो अलियासिंग को नियंत्रित करते हैं (यानी, एक रैखिक मान इसके लिए एक एकल सूचक है, कम या ज्यादा)।
लेकिन इस उपयोग और रैखिक तर्क के विशिष्ट संप्रदाय मॉडल के बीच एक मामूली बेमेल है। IIRC, बेंटन ने दिखाया कि यदि कार्टेशियन बंद श्रेणी में एक मजबूत कम्यूटेट मोनाड है, तो इसके बीजगणित की श्रेणी सममित मोनोएडल बंद हो जाएगी (यानी, रैखिक तर्क का एक मॉडल)। लेकिन यह प्रमेय अलियास-नियंत्रण के उपयोग पर लागू नहीं होता है, क्योंकि राज्य मोनाड सराहनीय नहीं है। और वास्तव में, पिछले कुछ वर्षों में सिम्पसन और उनके सहकर्मियों ने सामान्य मजबूत मठों के लिए गणना की है, जो कि रैखिक तर्क के लिए गणनात्मक नहीं हैं।
तो मेरा प्रश्न यह है कि राज्य के साथ रैखिक भाषाओं का शब्दार्थ शब्दार्थ क्या है? क्या एक गैर-अध: पतन (यानी, टेंसर एक कार्टेशियन उत्पाद नहीं है) सममित मौद्रिक बंद श्रेणी है जिसमें आवंटन, पढ़ने और रैखिक अद्यतन को मॉडल किया जा सकता है?