In theory, nothing prevents the pytype team at Google to develop a new backend in a different language.
In practice, there is no longer a pytype team at Google [https://news.ycombinator.com/item?id=40171125], which I suspect is the real reason for the discontinuation.