Back when I worked for Interactive Systems on CompuSheet I preferred F-correlatives to A. The logic was a lot cleaner and much more specific. Some of the things you could do with A-correlatives looked confused and clunky by comparison. Maybe part of that was influenced by handling Compusheet support. The formula compiler was written by Larry Wilcox. Larry wasn't a compiler writer and had no formal training but he got a working converter that would take alpha formulas and convert them to stack operations that worked like the F-correlatives. It was a pretty impressive feat considering he figured it all out himself from scratch. It worked but it had a lot of little glitches that could sometimes be exploited to do things that worked but really didn't look right.
For CompuSheet+ we brought in a compiler guy. I think his name was Greg Klinkel but I can't be certain. He came up with a table that would cleanly parse the alpha formula and create a stack format that CompuSheet could execute. To me as a young programmer it was a thing of beauty. I it handled the order of operation, parenthesis and everything simply and cleanly. We were all amazed.
Later when I had left the company they had ported CompuSheet+ to Universe. They were having trouble with the compiler. I guess original table with all the logic had been lost and they had tried to re-create it. Luckily for them I kept all that documentation. I wrote a basic subroutine that would take the alpha formula and produce the stack opcodes exactly like the original. They paid me $600 for i and I think they used it until they retired CompuSheet+. I probably still have that documentation but I think it's on some 5 1/4" floppy disks so it may be lost.
Anyway, it's easy to write an interpreter to process stack type instructions. That's why (I think) the F-correlatives came before the A-correlatives. Correct me if I'm wrong but I've always thought that A-correlatives are converted to F-correlatives for execution.
Joe Goldthwaite