国产编程语言
打卡贴【自我介绍】
KCL
Peefy
2023 年3 月 13 日 05:11
1
欢迎大家，来个自我介绍吧
wuxuan
2023 年3 月 21 日 00:41
2
你好我是
吴烜
。
请问 KCL 中的约束是否和 Eiffel 中的
Contract
有点相似呢？
Peefy
2023 年3 月 21 日 04:16
3
赞
这个倒是没有看过，我学习一下，KCL 中的约束主要分为三类：
不可变约束, 类似 rust 的 let 和 let mut
类型约束 a: int = “1” # TypeError: expect int, got str
check 条件的运行时约束如 0 < age < 20
这个倒是没有看过，我学习一下，KCL 中的约束主要分为三类：