The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and s... (展开全部) 原文摘录 ··· ( 全部 ) Q: Why bother doing proofs about programming languages...