Skip to content

Latest commit

 

History

History
 
 

rholang

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
examples
examples
 
 
lib
lib
 
 
project
project
 
 
reference_doc
reference_doc
 
 
src
src
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
rho2rbl
rho2rbl
 
 

README.md

Rholang

Rholang is a concurrent programming language, with a focus on message-passing and formally modeled by the ρ-calculus, a reflective, higher-order extension of the π-calculus. It is designed to be used to implement protocols and "smart contracts" on a general-purpose blockchain, but could be used in other settings as well.

The language is still in the early stages of development, but for those who are interested, more information can be found in the RChain Platform Architecture.

Currently we have a working interpreter for the language. It should be considered an early preview of the language.

Building and Running

Building from source

  1. Clone the repository
  2. Configure/fetch dependencies
    • sbt
    • JFlex - install using apt
    • BNFC - MUST be built from git b0252e5f666ed67a65b6e986748eccbfe802bc17 or later. If you use cabal install you will need to add your BNFC binary to the PATH.
    • Scala
  3. Run sbt rholang/bnfc:generate to generate the lexer/parser. Re-run whenever you modify the grammar
  4. Run sbt rholang/compile to compile classes
  5. Run sbt rholangCLI/assembly to build a stand-alone .jar file

Command-line usage

$ java -jar rholang-cli/target/scala-2.12/rholangCLI-assembly-0.1.0-SNAPSHOT.jar rholang/tests/mercury-tut/coat_check_test.rho
<interpreter output follows.>

Consider running with -Dlogback.configurationFile=logback-rholang_cli.xml for sane log output.

The interpereter can also be run as a REPL. Currently it won't accept multiline input, so each line must be a fully formed term.

What's working, what's broken:

See the bugtracker for an up-to-date list of known issues.

The bad

In general:

  • Guarded patterns for channel receive (e.g. for (@x <- y if x > 0)) don't work.
  • 0-arity send and receive is currently broken.
  • We don't pre-evaluate match cases. So matching 7 + 8 as a pattern currently doesn't work. Instead, you must match against 15.

The good

Several working examples have been included in the examples directory, and the examples in the Rholang tutorial also work. If you run into something that doesn't work, check the bugtracker to see if it's a known issue, and if not, feel free to file a bug. We want Rholang to be a useful programming environment.