I'm working on a system where the users supply equations as rules and in a roundabout way we came across static vs dynamic typing. having users have to define

I'm working on a system where the users supply equations as rules and in a roundabout way we came across static vs dynamic typing. having users have to define each equation and its type (boolean, numerical, etc) would make it simple and foolproof, but add extra work and requires defining each equation separately when a lot of them are just partitioning the space (imagine 30 combinations of x, y and z) so we ended up deriving the type from how its result is being used, but that puts the work of getting it right on the user