[3rdAccount]

I think they may have stopped that after being bought by Sony? I don't think it is still around.

[tyscorp]

I think they still use it for scripting in their games. For things like AI, etc.

[CodeArtisan]

They are using an in-house variant of Scheme known as DC. There are a few pages about it in Game Engine Architecture, a book written by an engineer at Naughty Dog. https://www.gameenginebook.com/

DC is compiled to bytecode then interpreted. DC compiler is written in Racket.