Comment Comment by ng12 This is the equivalent of casting in Java. Is Java's type system unsound? parent ng12 7 years ago
