Yes, but "statically typed scripting language" is a quite unusual combination of words [1], and there seemed nothing to back up the "scripting" concept, so I thought it might be something more akin to Nim or Zig (i.e. "scripty system programming"), and it wasn't. That was a missing line of thought that I should have explicitly stated, sorry for the confusion.
[1] Especially when no type inference was mentioned.
Statically typed languages with a garbage collector are just as common as those without. So I don’t really follow why you’re surprised that this had a GC.
[1] Especially when no type inference was mentioned.