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.
Yea, when it comes to type declarations it's mostly about an added layer of safety especially when it comes to function layers and code contracts... these are useful things when you have a lot of cooks in the kitchen.
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.
Yea, when it comes to type declarations it's mostly about an added layer of safety especially when it comes to function layers and code contracts... these are useful things when you have a lot of cooks in the kitchen.