Hello,
I’m currently working on a programming language which is targeted at systems programming.
It is stack based and similar to a combination of Joy, and Lisp, and pushes the notion of static types being a compile-time construct to its absolute limit.
I figured that delegating homoiconicity and metaprogramming to the programmer at compile-time would be an excellent way to create a very powerful and extensible type system.
The github is here: https://github.com/flintwinters/Forj
There is a bot in my discord server which you can use to run Forj scripts and experiment.
submitted by /u/ArboriusTCG
[link] [comments]