[bitwize]

They were acquired by SCE. The mandate to use C++ came from above, most likely.

They are using Racket to generate C++ code.

[oofoe]

For what it's worth, I interviewed with them shortly after their acquisition by Sony. The gentleman I talked to told me that Sony corporate had dictated that they give up GOAL for C++ so that their code would be interoperable with the rest of the company.