is offloading of complexity to compiler, typechecker, static analyzer by making more verbose code (& less human & less accessible) code -- good?
or
is less verbose, less safe, prone to errors & more expressive, more accessible, more natural lang code -- better?