oplang: Stack-based esoteric programming language

[ compilers-interpreters, gpl, language, program ] [ Propose Tags ]

Please see the README on GitHub at https://github.com/aionescu/oplang#readme


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.2.0.0, 0.3.0.0, 0.3.0.1, 0.4.0.0, 0.4.0.1
Change log CHANGELOG.md
Dependencies base (>=4.16 && <5), containers (>=0.6.7 && <0.7), directory (>=1.3.8 && <1.4), filepath (>=1.4.100 && <1.5), megaparsec (>=9.6.1 && <9.7), monad-chronicle (>=1.0.1 && <1.1), mtl (>=2.3 && <2.4), optparse-applicative (>=0.17 && <0.18), process (>=1.6.17 && <1.7), text (>=2 && <2.2), text-builder-linear (>=0.1 && <0.2) [details]
License GPL-3.0-only
Copyright Copyright (C) 2019-2023 Alex Ionescu
Author Alex Ionescu
Maintainer aaionescu@pm.me
Category Compilers/Interpreters, Language
Home page https://github.com/aionescu/oplang#readme
Bug tracker https://github.com/aionescu/oplang/issues
Source repo head: git clone https://github.com/aionescu/oplang
Uploaded by aionescu at 2023-12-28T01:25:44Z
Distributions
Executables oplang
Downloads 347 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2023-12-28 [all 1 reports]

Readme for oplang-0.4.0.1

[back to package description]

oplang

Hackage

OpLang is a stack-based esoteric programming language based on Brainfuck.

Installing

The compiler is available on Hackage, and can be installed via cabal (which can itself be installed via ghcup).

cabal install oplang

Usage

To compile and run an OpLang program, use:

oplang code.op
./code.out

For a list of available command-line options, use oplang --help.

Building from source

Prerequisites:

  • GHC >=9.2
  • cabal >=3.6

(Both can be installed via ghcup)

To build the project, use cabal build.

To run the project locally (without installing), use cabal run . -- <args>.

Language features

OpLang is a strict superset of Brainfuck.

Its main improvement is the addition of user-defined operators, which are analogous to user-defined functions in languages like C or Python.

The "memory tape" in OpLang is specific to each operator invocation (akin to the stack frames of functions in C), and there is a separate "stack" which persists across operator invocations.

Each cell in the tape(s) and stack is 1 byte, and overflow/underflow is allowed.

The default sizes of the stack and of memory tapes is 4KB. These defaults can be individually modified via command-line arguments.

Syntax

OpLang has 10 built-in operators, 8 of which are the Brainfuck operators, with the same semantics:

  • +: Increment the current cell
  • -: Decrement the current cell
  • <: Move the current cell pointer to the left
  • >: Move the current cell pointer to the right
  • ,: Read a character from stdin and store its ASCII value in the current cell
  • .: Interpret the current cell as an ASCII character and print it to stdout
  • [: Begin a loop (i.e. if the value at the current cell is zero, jump to the next ])
  • ]: End a loop (i.e. if the value at the current cell is non-zero, jump to the previous [)

And 2 of them are new operators that modify the stack:

  • ;: Pop a value from the stack and store it into the current cell
  • :: Push the value of the current cell onto the stack

An OpLang program consists of a series of custom operator definitions, followed by the "toplevel" (similar to a main() function in other languages).

An operator definition consists of the operator's name, followed by the operator's body, enclosed in {/}.

Single-line comments are supported, and are introduced by the # character.

Here's a simple program that reads a character from stdin, adds 3 to it, and prints it back:

a { ; +++ : }
,: a ;.

For more example programs, see the examples directory.

Compiler architecture

The compiler works by translating the input OpLang source into C, and then compiling that using the system's C compiler. To use a different C compiler, set the CC environment variable.

The compiler uses an intermediate representation (which can be shown with the --dump-ir option) on which it performs a number of optimizations, generating C code that is much smaller and faster than a direct translation would yield.

License

This repository is licensed under the terms of the GNU General Public License v3.

For more details, see the license file.