Closed ice1000 closed 2 years ago
https://github.com/FrankHB/pl-docs/blob/a557739d00300f83c8d8111d85786f04ed2cf5e4/zh-CN/typing-vs-typechecking.md?plain=1#L69
https://github.com/FrankHB/pl-docs/blob/a557739d00300f83c8d8111d85786f04ed2cf5e4/zh-CN/typing-vs-typechecking.md?plain=1#L69