十二月 30, 2024

2024-12-30-类型论

类型论初学简述：类型论是一种形式理论，被视为编程语言中类型系统的数学表述。 特点： - 基于lambda 演算 -...