I think it is obvious that such extremely dynamic language with a non-deterministic GC is not suitable for particular tasks. Unless they were using some dialect

I think it is obvious that such extremely dynamic language with a non-deterministic GC is not suitable for particular tasks. Unless they were using some dialect with static guarantees and correctness provable constructs.