静若处子，动若脱兔。对于从事编程工作的我们来说，动静之分又有另一番意义。我们写着静态语言往往想着动态语言的灵活，写着动态语言又容易想着静态语言的稳定和可靠。因此 IT 界又有俗话说：最好自己写的时候用动态语言，读别人写的用静态语言。静动态语言之争更是到如今仍然没有平息，两边各说各有理，似乎是肯定没有鱼与熊掌可以兼得的好事的。

常听到有人说，Clojure 确实优美，但动态语言实在驾驭不了啊！没有类型的帮助，在涉及到复杂的数据结构之后很容易失去对现有程序的理解，易读性也会急速下降，而这也确实是 Clojure 作为动态语言所造成的问题。但是部分解决这个问题的办法总是有的。core.typed 和 core.spec 两个核心库就可以帮助我们缓解动态语言太过野性框不住的问题，而本次演讲的任务就是向大家介绍这两个库，以及这两个库解决这一问题的不同角度。

主要内容

1. Clojure / 动态语言的问题；
2. 灵活的胖子——给 Clojure 加个类型系统；
3. 给脱兔系上牵引绳——core.spec；
4. 讨厌给复杂数据结构写测试？试试生成性测试 ；
5. 两种角度的比较。