Are there automatic casts to the right type?
No, because Seed7 is strong typed. This means that for every expression (and sub expression) you know its type at compile time without knowing where this expression is used. Although this means that you have to convert types explicit (for example from integer to float) it has more advantages than disadvantages: • The overloading rules are much simpler. • An expression can be understood without it’s calling context. • Errors caused by unplanned automatic type conversions cannot happen. • Since you have to do type conversions explicit you are more aware of the run time overhead.
