Type systems are orthogonal topic. I’d argue that the biggest hypers of AI are in the static types camp, because it allows them to iterate quickly and more safely than using dynamic types.