top | item 37577417

(no title)

wazzaps | 2 years ago

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

discuss

order

icholy|2 years ago

`go vet` catches this.

mhh__|2 years ago

I use a tool called "type theory"

erik_seaberg|2 years ago

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

usefulcat|2 years ago

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