Ride Language

Ride is a straightforward, developer-friendly functional programming language for smart contracts and decentralized applications (dApps) on the DecentralChain blockchain. Ride is a strong statically-typed, lazy, functional, expression-based compiled programming language.

Statically-Typed

Variable types are explicitly declared and thus are determined at compile time.

Lazy evaluation

Evaluation of expressions is delayed until their values are actually needed.

Functional Programs

Programming paradigm where programs are constructed by applying and composing functions

Expression-Based

Every (or nearly every) construction is an expression and thus yields a value.

Compiled Language

Converted directly into machine code that the processor can execute.

Non-Turing Complete

Limitations by design help ensure execution is secure and straightforward.

Ride Language

• Syntax Basics
  • Directives
  • Definitions
  • Expressions
  • Constants
  • Variables
  • Operators
  • Functions
  • Exceptions
  • Comments
• Data Types
  • Any
  • BigInt
  • Boolean
  • ByteVector
  • Int
  • String
  • Unit
  • Nothing
  • List
  • Tuple
  • Union
  • Pattern Matching
  • Type matching
• Functions
  • Annotations
  • Callable Functions
  • Built-in Functions
• Script Types
  • dApp Script
  • Account Script
  • Asset Script
• Structures
  • Script Actions
  • Common Structures
  • Transaction Structures
• Iterations with FOLD<N>
  • Sum
  • Product
  • Filter
  • Map
• dApp-to-App Invocation
  • Features
  • Conditions
  • Strict Variable
  • Invoke and reentrantInvoke Functions
  • Invocation Fields
  • Callable Function Result
  • Updating Balance and Account Data Storage Entries
  • Transaction Fail
  • Limitations