小编Sho*_*hou的帖子

Miscellaneous范围内的某些unicode字符很好用,但是大多数手机都将它们显示为表情符号,这是不需要的,因为它们无法通过CSS字体声明进行样式设置.我知道iOS有一个修复,但我还没有找到Android的解决方案.可以禁用它们吗？

示例:http://jsbin.com/qopiyori/1/

随着-XTypeApplications在GHC 8.0,你可以显式指定类型的@函数参数的前面.它准确指定了哪些类型,特别是在@引入多个类型时？

你如何出口类型操作符？考虑到它们可以与普通运算符冲突,如果可能的话必须有一个特殊的语法.

做一些类型级计算,我走到一个地步,我想改变的固定性->,因为它不能与固定性0的左联型运营商,我知道它不与工作彻底混合TypeOperators延伸和infixr 1 ->,因为它只返回错误parse error on input ‘->’.

是否有任何扩展或其他方法来修改函数类型运算符的固定性？

Conal在这里认为,nullary构造的类型不是函数.然而,无点函数在维基百科上被描述为这样,当它们在它们的定义中没有明确的参数时,它看起来更像是一个currying的属性.它们究竟是如何运作的？

具体做法是:如何f = map和f = id . map在这方面有什么不同？就像在,f = map只是一个绑定到一个值恰好是一个函数,f只是简单地"返回" map(类似于f = 2"返回" 2)然后接受参数.但f = id . map它被称为函数,因为它是无点的.

我知道一般的解释是编译器执行静态类型检查,但编译器使用什么方法来验证没有可空类型意外发挥作用？

我见过许多不同的方法来在 Typescript 中执行名义类型，但它们似乎都在某些方面存在不足。我希望保留所有这些属性：

1. 必须有清晰的（不一定简洁，但如果是的话加分）编译器错误消息来传达哪些不透明类型，例如Type 'GBP' is not assignable to type 'JPY'.
2. 必须真正唯一，以避免意外匹配相似的不透明类型，即没有__tag__键，必须使用unique symbol.
3. 必须能够拥有安全的泛型函数，采用共享相同底层基元类型的不透明类型，例如<A>(Opaque<number, A>) => Opaque<number, A>。

语法清晰的界面会带来更多加分，但我知道这是主观的。