Javascript-форум - Как в HTML изменить Javascript на Typescript

Javascript-форум (https://javascript.ru/forum/)

- Javascript под браузер (https://javascript.ru/forum/css-html/)

- - Как в HTML изменить Javascript на Typescript (https://javascript.ru/forum/css-html/84292-kak-v-html-izmenit-javascript-na-typescript.html)

Как в HTML изменить Javascript на Typescript?

Есть Typescrip код

Код:

function main() {

    var num1: number;

    var num2: number;

    var result: number;

    

    output("Введите первое число: ");

    num1 = input();

    output("Введите второе число: ");

    num2 = input();

    result = num1 + num2;

    output("Результат сложения двух чисел равен " + result);

}



// The following function is used to input. You can change it to use another webpage element.

function input (name) {

    return window.prompt("Please enter a value for " + name, "");

}



// The following function is called to output. You can change it to use another webpage element.

function output (text) {

    return window.alert(text);

}

И с тем же самым функционалом для браузера на javascript:

<!DOCTYPE html>
<html>
   <head>
      <title>Сложение чисел</title>
<meta charset="UTF-8"/>

   </head>
   <body>

      <script type="text/javascript">
    var num1 = window.prompt('Введите первое число');
    var num2 = window.prompt('Введите второе число');
    var result = Number(num1) + Number(num2);
    window.alert("Результат сложения двух чисел равен " + result);
      </script>
   </body>
</html>

Как к Typescript коду добавить недостающее, чтобы его тоже можно было в браузере запустить? Прошу привести весь код полностью готовой html страницы.

Задача на данный момент потеряла актуальность, так как пригляделся к Typescript, посмотрел видео о его недостатке и понял, что это не совсем то, на чем хочу программировать.

Тайпскрип компилируется в javascript. К станицые уже подключается готовый javascript.
Есть библиотека для извращенцев которая позволяет компилировать и подключать ts на лету в браузере пользователя, но это огромнейшие накдные расходы как в виде трафика, так и в виде вычислений, потому ссылку на неё давать не буду.)