Yes, those Forms have had a lasting impact on Western Philosophy for a long time. I wouldn't be surprised if some of it hasn't had some impact on the OOP thinking, in general, even though indirectly. If you read on Hume and the British Empiricists from the 18th Century, for example, you'd be surprised how many "modern ideas" you find in there. After all, programming languages at large have a long history of philosophical ideas before them. Before they could come into being, that is.