类和结构的正式定义

Question

我记得在编程语言的课程中触及这个主题。我依稀记得结构可以看作是一个数学元组。是否有可能以类似的方式描述一个类或一个对象？

Answer 1

是。请参阅"A Theory of Objects" by Abadi and Cardelli。