Io — это язык программирования на основе прототипов, вдохновленный Smalltalk (все значения являются объектами, все сообщения динамические), Self (на основе прототипов), NewtonScript (дифференциальное наследование), Act1 (актеры и фьючерсы для параллелизма), LISP (код — это просматриваемое/модифицируемое во время выполнения дерево) и Lua (маленькое, встраиваемое).