Io é uma linguagem de programação puramente orientada a objetos inspirada por Smalltalk, Self, Lua, Lisp, Act1, e NewtonScript. Io tem a prototype-based object model similar aos de Self e NewtonScript, eliminando a distinção entre instância e classe. Como em Smalltalk, tudo é um objeto, e usa tipagem dinâmica. Como Lisp, os programas são só uma árvore de dados. Io usa atores para concorrência, uma técnica raramente utilizada em linguagem de programação modernas.