Pointer arithmetic pulls C and C++ into the realm of weakly typed languages. Pointer arithmetic is a core part of the language. On the other hand, Haskell's u

Pointer arithmetic pulls C and C++ into the realm of weakly typed languages. Pointer arithmetic is a core part of the language. On the other hand, Haskell's unsafeCoerce or OCaml Obj.magic are usually not considered to be part of the language, since they are "normal" functions, but it is impossible to implement them inside the language.