Cedar Forest

摘要： 第三单元作业总结 语言基础以及工具链 一. 语言 定义 是一种在 代码中形式化描述指定函数或者变量要求的语言。也就是说， 相当于一份伪代码，编程者需要在这份伪代码的前提下完成真正的代码编写。 使用 的好处 使用形式化语言描述代码功能，比使用自然语言描述更加清晰易懂。并且 语言还配备有一套自动化测试方 阅读全文