对脚本语言编译器的猜测~~

今天看见一个网站上面声称它的产品可以将Javascript这样的脚本语言编译成可执行文件，我对上面这样的说法持怀疑态度，因为按我所知道的编译理论来说，像javascript这样的动态类型语言是无法编译的

动态类型语言不是弱类型语言，弱类型语言是可以编译的，比如汇编语言，但动态类型语言它的语法成份的类型是动态确定的，比如javascript中，A这个变量既可以表示一个字符串，也可以表示一个数组，甚至可以表示一个函数，那么我在调用A的时候，我怎么知道我是在访问一个字符串，或者是在调用一个函数呢？这是在编译期无法确定的，因此，这是无法编译的

但上面那个软件的确可以把一个javascript做成一个exe文件，并且可以执行，我认为要达到这样的目标不一定就必须编译，比如我完全可以做一个外壳，然后把这个要编译的脚本做为资源连入我的外壳，连成一个exe文件，到时候运行时，再把这个javascript的文件释放出来，然后调用脚夫本解释器进行解释执行，其实就如同一个打包并解包的过程

遗憾的是我无法找到证据证明它是这样做的，不知大家有何高见，呵呵~~~