I wouldn't under-estimate the influence of Pascal here. Noted language designer Anders Hejlsberg for instance has a strong Pascal background (Delphi) and type location in C# was supposedly a heavy debate precisely because of that. Typescript benefited from the repercussions/learnings/findings of that debate and decades of C# usage.

That said it's probably a "both" situation: ML and Pascal are both clear founders of type descriptions and their both deciding on relatively the same type syntax within just a few years of each other likely a convergent evolution indicator.