Created in 2013 by Jonathan Aldrich and Alex Potanin, the Wyvern programming language was designed for the development of web and mobile applications, with security and assurance being the first priorities.
As of this writing, the latest release of Wyvern was made on March 25, 2018. It is available from the GitHub repository under a GPLv2 license.
The Wyvern programming language was developed at Carnegie-Mellon University with funding from the NSA.
The Wyvern programming language is a host language that enables developers to import any five programming languages for use in a software project. Programmers can import existing languages or languages that they create that are uniquely equipped with the proper expressiveness for their industry domain. They, or anyone in their field, can import that language into Wyvern and use it with other languages. Extensibility is one of the language's strengths.
Aldrich, one of the lead developers of the language, said, "Wyvern is like a skilled international negotiator who can smoothly switch between languages to get a whole team of people to work together."
Wyvern is a structurally typed language that supports object capabilities and is intended to make secure programming easier than insecure programming. One of its key features is type-specific languages, which allows programmers to create literals of a given type, such as an SQLQuery type, in a language appropriate to that type (SQL).
Wyvern is a pure object-oriented language that is value-based, statically type-safe, and supports functional programming. It also supports HTML, SQL, and other web languages through the concept of composable type-specific languages.
The focus of this portion of our programming language guide is on the Wyvern programming language. Topics related to the language, such as the official website for the language, its GitHub repository, or any compilers, IDEs, or other tools or utilities designed to facilitate programming in Wyvern, are appropriate topics for this category, along with tutorials, reviews, developer community sites, forums, or other content largely devoted to Wyvern.
Recommended Resources
CodeDocs: Wyvern (programming language)
CodeDocs provides tutorials, references, and documentation for various programming languages. It is a resource for developers who are trying to learn more about various programming languages. Wyvern is a programming language designed for developing web and mobile applications with security and assurance as a top priority. Codedocs' Wyvern page introduces the language and offers a sample "Hello World" program, references, and suggestions for further reading on the topic.
https://codedocs.org/what-is/wyvern-programming-language
CSO: New NSA-funded programming language could close long-standing security holes
CSO serves enterprise security decision-makers and users with the information necessary to stay ahead of evolving threats and cyberattacks. Hosted on CSO, this article describes the Wyvern programming language, designed to help developers write more secure code by reducing the number of coding errors that can lead to security vulnerabilities. The article defines the language's features and potential benefits for software development while cautioning that it is still in the research phase.
https://www.csoonline.com/article/549278/new-nsa-funded-programming-language-could-close-long-standing-security-holes.html
GitHub hosts repositories for software projects, such as developing programming languages, allowing participating developers to communicate, make changes, update, and add new tools, packages, and documentation. This is the official GitHub repository for the Wyvern programming language, which is available here under a GPL-2.0 license. Issues may be reported, and pull requests can be made. The source code may be accessed, contributors may be viewed, and documentation is available.
https://github.com/wyvernlang/wyvern
Published on his page on the Carnegie Mellon University website, Professor Jonathan Aldrich highlights his research work, active projects, past projects, talks and tutorials, publications, service, and his Curriculum Vitae, along with contact information and other details. Among his active projects, as of this writing, is a general-purpose programming language focused on security, modularity, and language extensibility, of which he is one of the chief developers.
https://www.cs.cmu.edu/~aldrich/
Designed by Jonathan Aldrich and Alex Potanin, Wyvern is a computer programming language designed for web and mobile application development, with security being a major goal. Supported by the DARPA, the US Department of Defense, and Oracle Labs Australia, Wyvern is available under a GNU General Public License. A download link, documentation, and talk slides are available, and a list of citations, project members, supporters, and contacts are included.
https://wyvernlang.github.io/
Wyvern Programming Language Leverages Data Types to Specify Sublanguages
Published on IT Business Edge, a technology news website that provides in-depth analysis, news, and technology trend tracking from a solution-oriented perspective, on August 14, 2014, the article by Loraine Lawson discusses the Wyvern programming language and its unique feature of leveraging data types to specify sublanguages. The article explains how this feature allows programmers to use the language most appropriate for each function while increasing the program's security.
https://www.itbusinessedge.com/web/wyvern-programming-language-leverages-data-types-to-specify-sublanguages/
Wyvern: A Simple, Typed, and Pure Object-Oriented Language
DocsLib provides a platform for sharing and accessing documents on various topics. Its section on Wyvern, a simple, typed, and pure object-oriented programming language, describes the language's design, which is a statically typed, pure object-oriented language that combines pure object-oriented and functional abstractions in a simple, typed setting. The authors, who include the chief developers of the language, present a foundational object-based language.
https://docslib.org/doc/2398467/wyvern-a-simple-typed-and-pure-object-oriented-language
