Forj

A Systems Language for Expressive Metaprogramming and Low-Level Control

Forj is a unique programming language designed for powerful metaprogramming capabilities and low-level control. Drawing inspiration from languages like Joy and Lisp, Forj aims to redefine how mortal humans interact with code.

The stack-based structure will be leveraged for efficient reversible debugging, and metaprogrammatic typechecking will facilitate AI code generation with adversarial training.

Key Features & Future Directions

• Expressive Metaprogramming: Define custom types by asserting program properties at compile-time.
• Low-Level Control: Get closer to the hardware while maintaining high-level expressiveness.
• Reversible Debugging: Efficient stack-based structure for future debugging capabilities.
• AI Code Generation: Facilitate adversarial training of LLMs for Forj code and typechecking.
• Graphics & GUI: Future exposure of graphics libraries like Raylib or SDL from C.

Quick Example: Asserting Integer List

Checks whether an object is entirely of type int.

:allints @ [ .int map. and reduce. .. ]
                

Example usage:

@ [ 1 2 3 1 ] allints (Returns 1)
@ [ 1 2 3 "str" ] allints (Returns 0)
                

We're actively building the Forj community and welcome collaborators! Join our Discord to connect with other enthusiasts and contribute to the project.