此文档作者是王垠，属于王垠版权所有。 我是从https://www.dropbox.com/s/k6fwweq49be4cbh/type-infer-pdf.pdf下载的这个文档。