Plasma Programming Language
Plasma is a new programming language for safe and efficent general purpose use. It is a statically typed, side-effect free single assignment language and will have functional programming and concurrent programming features. It will support deterministic parallel execution. For a general overview, please visit https://plasmalang.org/ It is in early development.
It is free software, Copyright (C) 2015-2021 The Plasma Team, distributed mostly under the MIT license, see LICENSE for details.
It came to light in 2019 that Github have a contract with ICE, the US government department responsible for separating families and torturing children who have the misfortune to try to enter the USA.
Github, you can (and should) do better and I (Paul Bone) will never be using any paid features while you contract with ICE.
This README.md contains some quick info for getting started. For more complete info please see our getting started guide.
You will need:
The easiest way to install Mercury is to install the .deb packages (on Debian, Ubuntu, etc).
Otherwise download Mercury's source pakcage and follow the installation instructions in the INSTALL file. We've made some notes about grades that may help with choosing which grades you may need. There is also a README.bootstrap file with Mercury bootstrapping information if you wish to do that, it may also provide some additional explaination.
build.mkand edit it to make any build configuration changes you need.
makein the root directory to build the project.
You should get:
.p) files to plasma modules (
.pzo) into a plasma program (
.pzt) to bytecode (
.pzo). It is useful for testing the runtime.
There are example plasma programs in
make testwill execute these programs as part of the test suite to ensure that things are working correctly.
By setting PREFIX in
make installyou can install the Plasma system.
If you're stuck and the Documentation doesn't contain the answer or clue you need or you're struggling to find it. Please ask for help. The Contact page of the website lists all the ways you can get in touch. In particular the Plasma Help mailing list and IRC channel are the best resources for help.
For bugs or missing information please file a bug.