包含标签：language-design 的文章
-
无法在类型参数化方法中将子类隐式转换为父类
我最近不得不帮助解决某人从泛型方法返回时遇到的问题，虽然有多个问题需要解决，但我理解并可以解释所有问题 - 除了让编译器接受返回类型的最后一个障碍. 尽……无卤 2022年8月14日
-
Haskell 中的语法糖、懒惰和通过索引访问的列表元素之间的关系是什么？
Haskell 列表是通过对 的一系列调用构建的cons，在对语法进行脱糖之后： Prelude> (:) 1 $ (:) 2 $ (:) 3 [] [1,2,3] 列表是不是因为它们是这样一个函数调……丹青 2022年8月10日