目前指定泛型的类型参数基本都是通过<>来表示，例如Array<String>。但是Extension是个例外，因为如果你想为了某个泛型添加Extension, 并且指定参数类型，使用<>指定泛型约束的类型如String，此时编译器会报错，例如：...

自 SE-0244 引入以来，不透明的结果类型已成为类型级抽象的强大工具，允许库作者隐藏其API的实现细节。

如果你正在实现开发一个语法高亮库，并且定义一个函数readSyntaxHighlightedLines读取高亮语法的行数, 这个函数使用SyntaxTokenSequence来包装返回结果，结果中的元素类型是[Token], 代表每一行中语法高亮的 token 数组...