Elixir started adding a type system as well after Typescript proved to greatly help AI feel confident in its output.

So yeah others are catching on the importance of a type system to enforce that successful contract for AI agents.