Io

Ao de creacin: 2002.
Paradigma: Orientado a objetos, basado en prototipos (como en JavaScript).
Descripcin: Simple, muy dinmico, introspectivo y concurrente.
Multiplataforma y extensible. Fue diseado para unir la expresividad de
Smalltalk con la velocidad de C.
Inspirado en: Smalltalk (principalmente), Lisp, Lua, Self.
2. Clojure
Ao de creacin: 2007.
Paradigma: Funcional, pero de propsito general.
Descripcin: Compilado, eficiente, robusto, multihilado, con sistema de macros.
Corre sobre dos mquinas virtuales: JVM y CLR.
Inspirado en: Lisp, Haskell.
3. D
Ao de creacin: 1999.
Paradigma: Multiparadigma, pero sobre todo orientado a objetos e imperativo.
Descripcin: Es muy parecido a C/C++, pero intenta ser mucho ms prctico.
Gdc y ldc son compiladores libres para el lenguaje D.
Inspirado en: C++, Java.
4. Go
Ao de creacin: 2009.
Paradigma: Imperativo y concurrente.
Descripcin: Es como C, pero sin declaracin de tipos de datos como en
Python. Su sintaxis es sencilla. La compilacin es, sin exagerar,
excepcionalmente rpida. Ken Thompson, tambin co-creador de C, ayud en
el diseo.
Inspirado en: C, Pascal.
5. Factor
Ao de creacin: 2003.

Paradigma: Orientado a pila, concatenativo (sobre todo) y funcional.

Descripcin: Definicin dinmica de los tipos de datos, manejo automtico de
memoria, compilador o, si se quiere, tambin interactivo.
Inspirado en: Forth, Self.

Kodu
Creado por: Anderson, Cheng y MacLauring, del grupo de Sistemas Creativos
de Microsoft Research.
Ao de creacin: 2009.
Paradigma: Visual.
Descripcin: Kodu no es un lenguaje de programacin visual nicamente,
tambin es un ambiente para disear, construir y jugar tus propios
videojuegos. Los programas estn compuestos de pginas, a su vez
desglosadas en reglas, y luego stas en condiciones y acciones. Los elementos
bsicos del lenguaje son puramente conos. Incluye 20 personajes con
diferentes habilidades.
Inspirado en: Logo y Squeak.
Instalacin: instala para Windows XP, Vista y 7. Tambin para Xbox 360.
Ejemplo:

7. Scala
Creado por: El Dr. Martin Odersky, investigador del pretigioso EPFL.
Ao de creacin: 2003.
Paradigma: Multiparadigma; orientado a objetos (puro), funcional, imperativo.
Descripcin: Fue programado en Java, y puede interactuar directamente con
este lenguaje. Todo es un objeto, incluso los nmeros. Su abstracciones
pretenden ser ms poderosas y uniformes. Fue creado con la idea de que la
programacin sea orientada a componentes.
Inspirado en: Smalltalk, Haskell, Erlang.
8. Ioke

Creado por: Ola Bini, uno de los principales programadores de JRuby.

Ao de creacin: 2008.
Paradigma: Orientado a objetos, prototipado.
Descripcin: Dinmico, fuertemente tipeado, corre sobre la JVM y la CLR. Se
dice que es cdigoplegable, es decir, cdigo que crea cdigo. Como lenguaje,
su principal objetivo es ser expresivo.
Inspirado en: Smalltalk, Lisp, Ruby.
9. Trylon
Creado por: Steve Folta, reconocido ex-programador de BeOS.
Ao de creacin: 2007.
Paradigma: Orientado a objetos.
Descripcin: Usa indentaciones para estructurar los programas, igual que
Python; con sintaxis similar a la de Smalltalk. Usa tipeado dinmico en los
objetos, aunque los programas se compilan (estticamente) con un compilador
de lenguaje C.
Inspirado en: Python, Smalltalk.
10. Objective-J
Creado por: 280 North, Inc., empresa formada por ex-empleados de Apple.
Ao de creacin: 2008.
Paradigma: Multiparadigma: Reflectivo, orientado a objetos, funcional,
imperativo.
Descripcin: Como el nombre lo dice, es una implementacin de Objective-C en
JavaScript. La sintaxis es casi idntica al primero. Como el compilador est
creado con JavaScript, no es necesario instalar ningn complemento para el
navegador. El framework Capuccino ---que implementa el API de Cocoa--- est
escrito con Objective-J.
Inspirado en: Objective-C y JavaScript.