Io — простой, эффективный, хорошо спроектированный, основанный на прототипах язык программирования. Язык был разработан Стивом Декорте и стал широко доступен в 2002 году.
Io принадлежит к числу динамичных интерпретируемых, чистo объектно-ориентированных языков программирования (подобно Perl, PHP, Python и Руби). Абсолютно каждая сущность является объектом. Реализация является кросплатформенной. Интересные отличительные особенности Io: всё основанно на передаче сообщений, даже простые операции и присваивание — это передача сообщения объекту, красивый простой читабельный универсальный синтаксис, параллелизм, основанный на активных объектах.