jsonpiler 0.9.0

a Json syntax programming language for Windows
Documentation

Jsonpiler — JSON Syntax Programming Language

Jsonpiler is a compiler and runtime for a programming language that uses JSON or JSPL (Jsonpiler Structured Programming Language) as its syntax.
It converts a JSON-based program into x86_64 Windows PE machine code, links it, and executes the result. Jsonpiler bundles an assembler and linker purpose-built for its IR and PE output on Windows.

日本語 README

🚨 Windows only (x64) — Jsonpiler targets 64-bit Windows and produces native PE executables.


GUI

Jsonpiler now has a function to support GUI.

Julia set and ping pong game drawn by Jsonpiler

Zoom of the Mandelbrot set drawn by Jsonpiler

Source code of the program to draw the Julia set with GUI

Source code of the program to draw the Mandelbrot set with GUI


What’s New

0.9.0

  • Added

    • Commands: format, server
    • New functions: confirm, main, <<, >>
    • Formatting feature and an LSP server for diagnostics and error reporting
    • Local variable definition with let (variable = value)
    • Global variable definition with global (variable = value)
    • Comparison functions now support Float
    • Operator precedence
  • Changed

    • Syntax for variable definition and reassignment has been separated
    • = is now used exclusively for reassignment
    • In if([cond, any]), the [] can be omitted when only a single condition–value pair is present
    • concat now concatenates non-literal values as well
    • Unexpected memory leaks are now detected at runtime (memory leaks are not expected by design)
    • When loading other files with include, they are executed at startup rather than at the time of first load
    • Warnings are now emitted for unused variables and arguments This warning can be suppressed by prefixing the variable name with _
    • len now returns the number of characters in a string rather than the byte length
    • The function name invoked by GUI is now displayed in the window title bar
    • Only user-defined functions that are used, along with the functions they depend on, are linked
    • Now generates an error for arithmetic overflow in non-release builds
  • Removed

    • cargo doc
    • Functions: ', eval

See CHANGELOG for full history and plans.


Requirements

No external toolchains or libraries are required.

The following system DLLs must be available in C:\\Windows\\System32\\:

  • gdi32.dll(GUI, etc.)
  • kernel32.dll(required)
  • user32.dll(message, GUI, etc.)

These are present on standard Windows installations.


Installation and Execution

Running JSPL

// Explanation about the extension

  • Install the VSCode extension.
  • Create a .jspl file, then click the Run JSPL button in the top-right corner of the editor to execute it.

Running the Executable Directly

From the GitHub Repository

git clone "https://github.com/HAL-G1THub/jsonpiler.git"
cd "jsonpiler/extension/bin"
jsonpiler.exe

From Cargo

cargo install jsonpiler
cd "<home directory>/.cargo/bin"
jsonpiler.exe

Execution

# Compile and run a JSON | JSPL program
jsonpiler "<input.json | input.jspl>" "[arguments for generated exe]"
  • The file encoding of <input.json | input.jspl> must be UTF-8.
  • Additional arguments are passed to the generated executable.

Language & Function References

Language Spec (Markdown)

Function Reference (Markdown)


Examples

Browse ready-to-run samples in examples/

Minimal example:

{ "=": [{ "$": "a" }, "title"], "message": [{ "$": "a" }, "345"], "+": [1, 2, 3] }

JSPL:

a = "title"
message(a, "345")
1 + 2 + 3

Execution order

  • A Jsonpiler program is a single JSON object whose keys are evaluated sequentially.
  • "=" assigns the string "title" to the variable a.
  • "message" displays a message box with the value of a as the title and "345" as the text.
  • "+" computes the sum of 1, 2, and 3, i.e., 6.

The program’s final expression value becomes the process exit code. Running under cargo run may look like this (Windows reports process exit code 6):

error: process didn't exit successfully: `jsonpiler.exe test.json` (exit code: 6)

This is expected behavior and not an error in Jsonpiler itself.


JSPL

Jsonpiler can compile its own language, JSPL (Jsonpiler Structured Programming Language). JSPL is designed to express function definitions,conditionals, function calls, and variable assignments in a natural and intuitive form. All JSPL code is internally transformed into the same JSON-based intermediate representation (IR), ensuring full compatibility with the existing Jsonpiler compilation infrastructure while making programs easier to write and understand. For more details, see the language specification above. Example of the above sample code written in JSPL:

a = "title"
message(a, "345")
1 + 2 + 3

Diagnostics (Errors & Warnings)

Input:

{ "message": ["title", { "$": "does_not_exist" }] }
message("title", does_not_exist)

Output:

╭- CompilationError ----------
| Undefined variable:
|   does_not_exist
|-----------------------------
| input.jspl:1:18
|-----------------------------
| message("title", does_not_exist)
|                  ^^^^^^^^^^^^^^
╰-----------------------------

Pipeline Overview

graph TD
  subgraph Read
    A["file.json
{ &quot;+&quot;: [1, 2] }"] --> B{Jsonpiler}
  end
  subgraph Parse
    B --o C["AST
Json::Object([
  Json::Str(&quot;+&quot;),
  Json::Array([
    Json::Int(1),
    Json::Int(2)
])])"]
    B --x PError[[ParseError]]
  end
  subgraph Compile
    C --x CError[[CompileError]]
    C --o E["Assembler IR
[
  ...Inst::MovQQ(Rax, 1),
  Inst::MovQQ(Rcx, 2),
  Inst::AddRR(Rax, Rcx)...
]"]
  end
  subgraph Evaluate
    C --o D["Json::Int(Temporary Value)"]
    C --x EError[[TypeError or ArityError]]
    D -->|Detect Exit Code| E
  end
  subgraph Assemble
    E --o G["Binary machine code
  [...0x48, 0x89, 0o201]..."]
    E --x AError[[InternalError]]
  end
  subgraph Link
    G --o F["Portable Executable (PE)"]
    G --x LError[[InternalError]]
  end
  subgraph Write
    F --> H[file.exe]
  end
  subgraph Execution
    H --> Exec[(Execute)]
  end
  subgraph DLL
    S[C:\\Windows\\System32\\]
    KERNEL32[kernel32.dll]
    USER32[user32.dll]
    S --> KERNEL32 --> F
    S --> USER32 --> F
  end

Notes

  • Output is a native PE executable for Windows x64.
  • If you see a non-zero exit code under Cargo, it likely reflects your program’s final value.

License

This project’s license is specified in the repository.


Contributing

Issues and PRs are welcome! If you find a bug, please include the following information:

🚨 Please make sure you are running on Windows x64.

  • The JSON program (minimal reproduction if possible)
  • Jsonpiler version