Typing environment
પ્રકાર સિદ્ધાંતમાં ટાઇપિંગ વાતાવરણ (અથવા ટાઇપિંગ સંદર્ભ) ચલ નામો અને ડેટા પ્રકારો વચ્ચેના જોડાણને રજૂ કરે છે. વધુ ઔપચારિક રીતે પર્યાવરણ એ જોડીનો સમૂહ અથવા ક્રમબદ્ધ સૂચિ છે, જે સામાન્ય રીતે ચલ અને તેના પ્રકાર તરીકે લખવામાં આવે છે. ચુકાદાને "સંદર્ભમાં પ્રકાર છે" તરીકે વાંચવામાં આવે છે. દરેક કાર્ય માટે બોડી પ્રકાર તપાસોઃ ટાઇપિંગ નિયમો ઉદાહરણોઃ સ્થિર રીતે ટાઇપ કરેલી પ્રોગ્રામિંગ ભાષાઓમાં આ વાતાવરણનો ઉપયોગ આપેલ પ્રોગ્રામ અથવા અભિવ્યક્તિને તપાસવા માટે ટાઇપિંગ નિયમો દ્વારા કરવામાં આવે છે અને જાળવવામાં આવે છે. સિસ્ટમ સંદર્ભો પ્રકાર ડેટા પ્રકારો કાર્યક્રમ વિશ્લેષણ પ્રકાર સિદ્ધાંત પણ જુઓ.