A type cast converts a value of one type to another.
FOL uses two ways for value conversion:
- coercion for conversions that are known to be completely safe and unambiguous, and
- casting for conversions that one would not want to happen on accident.
A type cast converts a value of one type to another.
FOL uses two ways for value conversion: