Да, интересно. Очередное доказательство того, что котлин пошел по правильному пути, не переутяжеляя систему типов. На эти грабли уже раст наступил. Вот теперь тайп-скрипт
Сам Design Doc, на который дается ссылка в статье, начинается с ворнинга о том, что это осбуждение очень специфичной внутренней ситуации, целевой аудиторией для которого является 5 человек и не следует из этого обсуждения каких-то широких выводов. Лишь малая часть Deno написана на TS и то не является типичным веб-приложением.
Но зачем на это обращать внимание. Выносим самую мякотку в статью и делаем выводы сразу обо всем языке...