EntityQ865760· pop 36· linked from 906 articlestype systemSign in to saveset of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modulesConnectionsfloating pointEntitysafe typingEntitytagged unionEntityinterpreterEntityarray data structureEntityclassEntitysubroutineEntityhalting problemEntitymodular programmingEntitysyntaxEntityexpressionEntityinference typingEntityexecutionEntityRacketEntitycompile timeEntitySystem FEntitysubtypingEntityrecursive data typeEntitynominative typingEntitylanguage constructEntityCategoriesData typesProgram analysisType systemsType theory