[dynamic FL]part 6:comparison between Dynamic and Static

各种语言的比较：

Dynamic type language VS Static type language:

     Dynamic看待Static: ML好像只是Racket的子集。ML会拒绝更多程序, 可能有bug的也可能是没有bug的。

     Static看待Dynamic: Racket好像只是ML的子集，所有的表达式都属于某一个大的数据类型，并且有很多子类型，这些类型有类似tag的东西，以便在运行时进行检查。如果检查不通过就会抛出异常。

Static Checking: 在parse后run之前reject程序。parse的时候的错误：syntax error；static checking的错误：type error。不需要任何输入，编译期的检查----无论检查完成后是用编译器还是解释器执行程序。最普遍的static checking是通过type system实现的(如何实现)。(目的)都是一致的：防止误用或者无用的程序执行

Dynamic Checking: 给值加上tag

两者的区别是在compile-time还是在run-time防止程序做坏事。实际上，检查错误可以有以下的时间：

     1.输入时：editor发现的

     2.compile time

     3.link time: 当发现main函数调用了某个不合法的函数

     4.run time

     5.later：当发现执行错误的时候，不抛出异常，而是返回一个错误值，或者直到错误值被使用的时候再抛出异常

还有需要注意的是，不检查某种错误X和Dynamic/static checking 无关。

比较：

     1.方便性：dynamic：可以混合多种类型的数据；static：能尽早发现错误

     2.速度：static: 更快，在ML中只有在用户添加datatype constructor的地方才会存在run-time tag

     3. 检查bug: static: 更早；dynamic: 依赖testing

     4.其他：如拒绝更多程序、能复用、利于代码进化(写代码更快)。。。

Sound and Complete

     假设X代表某种错误的情况

     sound:不会接受X的程序（prevent false negative）

     complete:不会拒绝没有X的程序（prevent false positive）

     type system通常是sound但是不是complete的。因为一个static checker不能够同时：sound, complete, always terminate。因此抛弃complete

假设type system对某种错误情况X unsound——即可能发生错误X。最好的解决方法是dynamic check X，并且抛出异常。

Weak Typed: 不对X进行类型检查，Bug可能导致任意结果。(C, C++)

Strong Typed: 有Bug的程序会受限。

interpolation/quasi-quoting in scripting language

     eval: 在运行时求值。并不依赖是compiler-based language还是interpreter-base language。只需要在运行时有一个compiler或者interpreter就可以了。有趣的是，Racket的输入是一个列表

     

     (f #t) =>打印了hi并且返回6

     quote: 将它后边的东西都看作是符号，数字…，不会求值

     

     eval和quote是相反的。(eval (quote e)) == e