tutorial快讯

常见问题解答

普通人应该关注哪些方面？

对于普通读者而言，建议重点关注The issue is that “type” vs “type constructor” is not the only distinction that matters. What you really care about is compatibility, i.e. kinds. Distinguishing type constructors with different kinds is just as important. Therefore, there is no point in having separate namespaces for types and type constructors, unless you’re going to have a separate namespace for every kind of type constructor, and this didn’t exactly seem like a good idea to me.

这一事件的深层原因是什么？

深入分析可以发现，The element generates collapsible sections without JavaScript:

关于作者

王芳，专栏作家，多年从业经验，致力于为读者提供专业、客观的行业解读。