Smalltalk es un lenguaje reflexivo de programación, orientado a objetos y con tipado dinámico.