封闭性



在很多用例或 issue 中,封闭性如何使用可能会有些变化。

不允许在封闭的 struct 中定义非隐藏的字段

Issue 543

目前,可以在封闭 struct 中引入新的定义,这个提案想要去掉这一点。

下面将会导致一个错误,注意 foo 中的 #bar 既是 int 也是 string

// Given the original definition
#D: {
	a: int
}

// And a downstream usage
foo: #D & {
	#bar: int
}

// The original could be chagned to
#D: {
	a:    int
	#bar: string
}
我们绝不会将你的邮箱分享给任何人。
2022 Hofstadter, Inc