Comment by carapace

I was playing with Joy ( http://joypy.osdn.io/ ) and got nerd-sniped by Prolog and wound up messing around with Joy-in-Prolog ( https://git.sr.ht/~sforman/Thun/tree/master/source/thun.pl ) and, uh, it's really neat.

Something about Conal Elliott's Compiling to Categories ( http://conal.net/papers/compiling-to-categories/ ) ...

New paradigm... hand wave...