What is Osaka Programming Language?

Osaka is a small programming language written in Python. It includes an AST interpreter, a bytecode compiler with a virtual machine, and an equivalence system to ensure both execution methods behave the same.

Key Idea: Truth vs Grain

Osaka tracks how reliable values are:

        truthaboutgrain → trusted values
        grainsoftruth  → uncertain values
        

Control flow statements like if and while require trusted values.

Example

        grainsoftruth g = 11;
        truthaboutgrain t = Americaya(g);
        Say(t);
        

Features

• Variables and functions
• If / while / for loops
• Lists and maps
• Modules and imports
• File I/O
• Math functions

Running Osaka

        python3 saka.py examples/hello.saka
        

or install the CLI:

        pip install OsakaProgrammingLanguage
        osaka hello.saka