There's type declarations and checking in Bend and HVM, it's just Bend has type inferrance. I personally don't mind either way, although for scripting I do like mutable types like in Python, it makes things easier to write, at the cost of needing to know exactly what you're doing or cleaning up bugs.