2025年5月18日
[翻译] Type Systems —Luca Cardelli
摘要： GPT-4o-mini 翻译，经个人审校。添加了一点笔记。 原文地址 Type Systems Introduction 类型系统的基本目的是避免程序运行过程中出现运行错误。这个不够正式的说法激励了对类型系统的研究，但是还需要更进一步的澄清。这个说法的准确性首先依赖于一个相当微妙的问题，即什么构成运 阅读全文
posted @ 2025-05-18 17:05 sysss 阅读(153) 评论(0) 推荐(0)