This is what is called the study of data types, and it has advanced from focusing on the values themselves and their structure, to a primary concern with the value-forming operations and their structure, as given by certain axioms and algebraic laws, that is, to the algebraic study of data types.
То је оно што се назива студија о врстама података, и то је напредовало од фокусирања са вредности себе и своје структуре, на примарни значај за пословање у вредности формирања  операција и њихових структура, као што је дато од стране неких аксиома и алгебарских закона, која је, алгебарска студија типова података.