四月 08, 2025

2025-4-8-图灵完备

图灵完备性（Turing Completeness）定义： 一个计算系统（编程语言、虚拟机、区块链等）如果能够模...

十二月 30, 2024

2024-12-30-类型论

类型论初学简述：类型论是一种形式理论，被视为编程语言中类型系统的数学表述。 特点： - 基于lambda 演算 - 使用规则定义类型 - 不需要穷举无穷大...