
Nim (programming language)
Nim is a statically typed, imperative programming language with a powerful macro system that tries to give the programmer ultimate power without compromises on runtime efficiency.
Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications. The first major innovation in Wyvern is...
Wyvern is a new programming language designed to help developers be highly productive when writing highassurance applications. The first major innovation in Wyvern is typespecific languages, a feature that allows programmers to create literals of a given type (e.g. a SQLQuery type) in a language appropriate to that type (e.g. SQL). We are currently working on the Wyvern object model and on providing architects with more architectural control.
Scripting language Object oriented Language
development web-development developer-tools programming scripting-language ide object-oriented-language programming-language interpreter compilers type-specific-language