Vyper is a smart contract language with a relentless focus on security, simplicity, and readability
Pony
An open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.
Rust Programming Language
A language empowering everyone to build reliable and efficient software.
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
Tree Borrows | Proceedings of the ACM on Programming Languages
The Rust programming language is well known for its ownership-based type system, which offers strong guarantees like memory safety and data race freedom. However, Rust also provides unsafe escape hatches, for which safety is not guaranteed automatically ...
Learn C • Build Your Own Lisp
If you're looking to learn C, or you've ever wondered how to build your own programming language, this is the book for you.
The Coalton Programming Language
A statically typed, functional programming language that compiles to Common Lisp
The Go Programming Language
Go is an open source programming language that makes it simple to build secure, scalable systems.
The Story of C++: The World's Most Consequential Programming Language | The Official Story
Its Time for a New Programming Language
Today, when compared to any other point in programming history, we find ourselves spoiled for choice when it comes to programming…
home
A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.
Boomerang | Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...
doctrine — vit
The vit doctrine: software should live. A social system for personalized software where the unit of exchange is capability.
doctrine — vit
The vit doctrine: software should live. A social system for personalized software where the unit of exchange is capability.
The Next 7000 Programming Languages
Landin’s seminal paper “The next 700 programming languages” considered programming languages prior to 1966 and speculated on the next 700. Half-a-century on, we cast programming languages in a Darwinian ‘tree of life’ and explore languages, their features (genes) and language evolution from the viewpoint of ‘survival of the fittest’.
