4
Wyvern es un nuevo lenguaje de programación diseñado para ayudar a los desarrolladores a ser altamente productivos al escribir aplicaciones de alta seguridad.La primera innovación importante en Wyvern son los lenguajes específicos de tipo, una característica que permite a los programadores crear literales de un tipo determinado (por ejemplo, un tipo SQLQuery) en un lenguaje apropiado para ese tipo (por ejemplo, SQL).Actualmente estamos trabajando en el modelo de objetos Wyvern y en proporcionar a los arquitectos un mayor control arquitectónico.
wyvern
Sitio web:
http://www.cs.cmu.edu/~aldrich/wyvern/Caracteristicas
Categorias
Alternativas a Wyvern para todas las plataformas con cualquier licencia
1126
515
250
243
178
146
Lua
Lua es un lenguaje de scripting potente, rápido, liviano e integrable.
123
68
CoffeeScript
CoffeeScript es un pequeño lenguaje que se compila en JavaScript.Debajo de todos esos corchetes y puntos y comas incómodos, JavaScript siempre ha tenido un magnífico modelo de objeto en su corazón.
65
61
53
33
Typescript
TypeScript le ofrece una verificación de tipo estática opcional junto con las últimas funciones de ECMAScript.
30
Apple Swift
Swift es un lenguaje de programación para aplicaciones iOS, OS X, watchOS y tvOS que se basa en lo mejor de C y Objective-C, sin las restricciones de compatibilidad de C.
27
Nim (programming language)
Nim es un lenguaje de programación imperativo de tipo estático con un poderoso sistema macro que intenta darle al programador el máximo poder sin comprometer la eficiencia del tiempo de ejecución.