Lenguaje de programación considerado el primero en utilizar el paradigma orientado a objetos (OOP). En Smalltalk absolutamente todo es un objeto, incluso el propio entorno Smalltalk. Se caracteriza por su orientación a objetos pura, tipado dinámico, posee herencia simple, interactúa entre objetos mediante el envío de mensajes y posee un recolector de basura. Es multiplataforma y puede compilar en tiempo de ejecución o interpretado.

Smalltalk tuvo gran influencia en la creación de otros lenguajes como Java o Ruby.