Home

Welcome to the Pint wiki!

1. What is pint?
2. Examples
3. How to use
4. Formal background of pint
5. Technologies

What is Pint?

Pint is our self-made language, which uses emojis as keywords, and is meant to be simple and readable.

It's a part of university project, but we cant't wait to see it evolve in future! 🍻

Examples

💬 An infinite loop

🔁 {
    🖨️("🍺")
}

is transpiled into

# An infinite loop

while True:
    print("🍺")

Usage

To transpile a Pint file to python, run python debrewer.py <input> [-o <output>] [-t].

Without specifying flags the result will be saved in a file with the same name as the input file, but with the .py extension. The -o flag specifies the output file, and the -t flag specifies that the output file should be checked against typing consistency using mypy.

Formal background of Pint

Tokens

List of tokens in PLY format.

Grammar

Grammar is written in EBNF.

Technologies

Pint will be transpiled into Python script. Our parsing toolkit of choice is PLY.