Even c++ feels clunky in terms of types to me. Though that's probably down to me preferring a more complete type system like haskell has