6 ms·Type checked state is known as "typestate". A Google search will bring up the typestate paper.by drmajormccheese 11y agoType checked state is known as "typestate". A Google search will bring up the typestate paper.