问TypeScript又结合了*.js + *.d.ts？

EN

TypeScript tsc -d“声明”的"compilerOptions“生成相应的'.d.ts‘文件。

例如，来自：

tmp.ts

const log = (m: unknown) => {
    console.log((m)); 
    return m;
};

它产生：

tmp.js

const log = (m) => {
    console.log((m));
    return m;
};

以及：

tmp.d.ts

declare const log: (m: unknown) => unknown;

我认为这非常有趣，因为它将TypeScript源代码与本机JavaScript代码和额外的类型定义“分离”。

那么，我的想法是。在划分了本机代码和类型定义之后，是否可以通过重新绑定两个代码来生成有效的TypeScript代码？

例如：

tmp-reunion.ts

declare const log1: (m: unknown) => unknown;

const log1 = m => {
    console.log((m)); 
    return m;
};

此代码生成一个错误：

[ts] Cannot redeclare block-scoped variable 'log1'.

每次陈述。

我为什么要这么做？

我的动机是事实：

1. 在代数里， (x^2 + 3x +2) = (x+1)(x+2) = (x^2 + 3x +2)

我想确认同一件事在TypeScript下是否有效。

1. 特别有趣的是，TypeScript将类型化源代码编译为普通的JavaScript代码，其类型信息作为输出完全被丢弃。

从某种意义上说，这一事实使我认为，在TypeScirpt中，普通JS代码的输出是类型安全和有效的，只是没有*.d.ts文件--这似乎只是TypeScript编译器利用的额外助手功能。只是个工具。

因此，普通JS代码的类型安全性可以稍后使用助手函数工具，即TypeScript编译器，即tmp.d.ts轻松地进行验证。这就是我想确认的。

如何使TypeScript再次结合*.js + *.d.ts？

谢谢。