*blinks* So, 90% of all C++ programs aren't really using C++ cause all they reference are class APIs? What about all those programs using X that never actually do anything but create X objects and an event processor?

Perl can be algebraically defined. No-one's ever bothered to do it. But, that doesn't mean it isn't algebraically defineable! Anything that's Turing-complete (which Perl is) is algebraically defineable.

------
We are the carpenters and bricklayers of the Information Age.

Don't go borrowing trouble. For programmers, this means Worry only about what you need to implement.