Smalltalks semantikk kan (siden Smalltalk-80) kort oppsummeres ved at . Enhver entitet man arbeider med er et objekt som er en instans av en klasse. (Dette gjelder også klassene selv, som er instanser av spesialiserte underklasser av klassen .) Det finnes ikke noe klart skille mellom program og utviklingsmiljø; typisk er verktøyene man utvikler i også representert ved objekter som bor i samme verden som objektene man selv definerer og lager.