CLASS 1.8.0

CLASS扩展为一种会话类型、高阶、核心编程语言，旨在支持带有共享线性状态的并发计算。此语言的详细描述可以在相关论文中找到。由Ricardo Antunes开发，CLASS扩展通过一系列版本更新，不断增强其功能和实用性。

主要功能和更新：

• 版本1.8.0：增加了fwd!进程，进一步优化并发处理。
• 版本1.7.0：新增了sendty和recvty进程及类型，提升数据传输的灵活性。
• 版本1.6.0：修复了true和false关键字，增加了and、or和not逻辑运算符，增强了条件判断能力。
• 版本1.5.0：引入了基本的原始类型，丰富了数据表达。
• 版本1.4.1：支持在let和let!进程中使用变量，提高了代码的灵活性。
• 版本1.4.0：增加了let和let!进程，简化了变量的声明和使用。
• 版本1.3.0：增加了CLASS的大部分仿射和共享状态功能，以及新的箭头和let语法，增强了语言的表达能力。
• 版本1.2.0：引入了corec关键字，支持核心递归功能。
• 版本1.1.1：修复了include语句的语法，确保代码的正确性。
• 版本1.1.0：增加了对unfold和include语句的支持，提升了代码的可重用性。
• 版本1.0.0：初始版本，提供了对语言大部分功能的基本支持。

CLASS扩展通过不断的版本更新，逐步完善其功能，旨在为开发者提供一个强大且灵活的编程工具，支持复杂的并发计算和共享线性状态管理。无论您是初学者还是经验丰富的开发者，CLASS扩展都能满足您的编程需求。