ilers ▁the ▁float ▁data ▁type , ▁for ▁example , ▁is ▁represented ▁in ▁ 3 2 ▁bits , ▁in ▁accord ▁with ▁the ▁IE EE ▁specification ▁for ▁single - prec ision ▁floating ▁point ▁numbers . ▁They ▁will ▁thus ▁use ▁floating - point - specific ▁micro processor ▁operations ▁on ▁those ▁values ▁( f lo ating - point ▁addition , ▁multiplication , ▁etc .). ▁ ▁The ▁depth ▁of ▁type ▁constraints ▁and ▁the ▁manner ▁of ▁their ▁evaluation ▁affect ▁the ▁typing ▁of ▁the ▁language . ▁A ▁programming ▁language ▁may ▁further ▁associate ▁an ▁operation ▁with ▁various ▁resolution s ▁for ▁each ▁type , ▁in ▁the ▁case ▁of ▁type ▁polym orphism . ▁Type ▁theory ▁is ▁the ▁study ▁of ▁type ▁systems . ▁The ▁concrete ▁types ▁of ▁some ▁programming ▁languages , ▁such ▁as ▁integers ▁and ▁strings , ▁depend ▁on ▁practical ▁issues ▁of ▁computer ▁architecture , ▁compiler ▁implementation , ▁and ▁language ▁design . ▁ ▁Fund ament als ▁ ▁Form ally , ▁type ▁theory ▁studies ▁type ▁systems . ▁A ▁programming ▁language ▁must ▁have ▁occurrence ▁to ▁type ▁check ▁using ▁the ▁type ▁system ▁whether ▁at ▁compile ▁time ▁or ▁runtime , ▁manually ▁annot ated ▁or ▁automatically ▁infer red . ▁As ▁Mark ▁Man asse ▁conc is ely ▁put ▁it : ▁ ▁Ass ign ing ▁a ▁data ▁type , ▁term ed ▁typing , ▁gives ▁meaning ▁to ▁a ▁sequence ▁of ▁bits ▁such ▁as ▁a ▁value ▁in ▁memory ▁or ▁some ▁object ▁such ▁as ▁a ▁variable . ▁The ▁hardware ▁of ▁a ▁general ▁purpose ▁computer ▁is ▁unable ▁to ▁disc rim inate ▁between ▁for ▁example ▁a ▁memory ▁address ▁and ▁an ▁instruction ▁code , ▁or ▁between ▁a