Wyvern (programming language)
Wyvern is a computer programming language created by Jonathan Aldrich and Alex Potanin for the development of web and mobile applications with security and assurance being number one priority. Wyvern supports object capabilities, it is structurally typed, and aims to make secure way of programming easier than insecure - as described in the Wyvern Manifesto. One of the early available features that make Wyvern special is a way to safely use multiple programming languages within the same program so programmers can use the language most appropriate for each function while at the same time increasing the program's security.
It is currently in a prototype stage and distributed under a GPLv2 license.
Hello World
A 'Hello World' program in Wyvern looks as follows:
require stdout
stdout.print("Hello World")
Further reading
- Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich,Safely Composable Type-Specific Languages, Proc. European Conference on Object-Oriented Programming.
- Ligia Nistor, Darya Kurilova, Stephanie Balzer, Benjamin Chung, Alex Potanin, and Jonathan Aldrich,Wyvern: A Simple, Typed, and Pure Object-Oriented Language., In Mechanisms for Specialization, Generalization, and Inheritance (MASPEGHI), 2013.
- Carnegie Mellon News,Carnegie Mellon Developing Programming Language That Accommodates Multiple Languages in Same Program, Carnegie Mellon University