immutability

本文解释了为什么在编程语言中可变数据类型不能是不可变类型的子类型，使用里氏替换原则（Liskov substitution principle）和配对作为例子，以突出类型安全性和不可变性契约。

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

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