immutability

hica语言中函数式编程的介绍，涵盖表达式、不可变性、纯函数、闭包以及高阶函数（如map、filter和fold）。

Spectre 是一种用于安全、基于合约的低级系统编程的新编程语言，默认强制不可变性，并支持编译时/运行时合约检查。它通过 QBE IR 编译，并包含将 C 代码转换为 Spectre 的功能。