小编Tri*_*Lee的帖子

java.util.concurrent.ConcurrentHashMap使用Segment数组as，Mutex并且Segment Object小于缓存行。

这会导致虚假共享吗？

查阅Control.Monad文档后,我对这段话感到困惑:

上述法律意味着:

fmap f xs = xs >>= return . f

他们怎么暗示这个？

我正在阅读关于monad的一些事情,没有Haskell的经验,并且与类型构造函数的概念相混淆.

甲单子是一个三元组(M,unitM,bindM)由类型构造的M和一个对多态函数.

unitM :: a -> M a

bindM :: M a -> (a -> M b) -> M b

Run Code Online (Sandbox Code Playgroud)

在Java中:

public class M<T> {
    static <T> M<T> unit(T a)
    static <T,R> M<R> bind(M<T> a, Function<T,M<R>> f)
}

我认为它们是相同的,类型构造函数就像Java中的泛型类型,我是对的吗？如果没有,有什么区别？