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 hn newest icholy|2 years ago `go vet` catches this. mhh__|2 years ago I use a tool called "type theory" load replies (1) erik_seaberg|2 years ago Is there a way to declare any type uncopyable? This is something I always thought Ada got right. load replies (2) usefulcat|2 years ago Wow, even c++ won't let you do that (without invoking undefined behavior, anyway).
icholy|2 years ago `go vet` catches this. mhh__|2 years ago I use a tool called "type theory" load replies (1) erik_seaberg|2 years ago Is there a way to declare any type uncopyable? This is something I always thought Ada got right. load replies (2)
erik_seaberg|2 years ago Is there a way to declare any type uncopyable? This is something I always thought Ada got right. load replies (2)
usefulcat|2 years ago Wow, even c++ won't let you do that (without invoking undefined behavior, anyway).
icholy|2 years ago
mhh__|2 years ago
erik_seaberg|2 years ago
usefulcat|2 years ago