Naughty Dog used Racket and their own in house lisp (prior to that) to write their games.

Could be mistaken but IIRC Jak and Daxter was the first console game to have a fully streaming world and they achieved it using a technique inspired by their hot reloading dev setups