Hacker News Reader

Comment by wazzaps | Hacker News Reader

Copying a mutex by value (thus duplicating the lock, causing deadlocks or worse) is far too easy

`go vet` catches this.

Is there a way to declare any type uncopyable? This is something I always thought Ada got right.

you stick this in your struct

    type noCopy struct{}
    func (*noCopy) Lock()   {}
    func (*noCopy) Unlock() {}

I use a tool called "type theory"

Keep posting about D, I'm sure it will catch on soon.

Wow, even c++ won't let you do that (without invoking undefined behavior, anyway).