а яп - это система типов? я думал, что это само-собой вытекающее?
но ведь язык программирования - это в первую очередь синтаксические возможности.
а реализация их - это уже, скорее, платформа.
Ну типа.. C# - это язык, который сам по себе - просто синтаксис. .NET - это платформа, к которой есть бекенд который компилирует C# в байткод понятный виртуальной машине .NET-а.
Я так же смотрю и на NodeJS - это платформа, которая умеет читать или байткод интерпретированного JS, или же интерпретировать JS.
А TS - язык, у которого есть бекенд для компиляции в JS для платформы NodeJS