Stalled a bit recently but I've been working on/with a programming language called Joy[1].
It's stack-based, "concatinative" and Categorical. It's a little like Forth+LISP.
I had just implemented some type inference[2] when Warren's "Logic Programming and Compiler Writing" went by here on HN[4] and I got into a very rewarding Prolog rabbithole.
It's stack-based, "concatinative" and Categorical. It's a little like Forth+LISP.
I had just implemented some type inference[2] when Warren's "Logic Programming and Compiler Writing" went by here on HN[4] and I got into a very rewarding Prolog rabbithole.
So now I'm writing a compiler in Prolog for Joy.
[1] http://joypy.osdn.io/
[2] http://joypy.osdn.io/notebooks/Types.html
[3] https://www.researchgate.net/publication/220280364_Logic_Pro...
[4] https://news.ycombinator.com/item?id=17674859