[Feature] Implement type conversion for primitive types

[Luna-Klatzer]

Is there an existing proposal for this?

• I have searched the existing issues

This feature does not exist in the latest version

• I am using the latest version

Proposal

Implement type conversion that allows for expressions to be converted into other types using the following syntax:

exp as type

Exact behaviour you want

• Implement support for the syntax and allow for proper semantic analysis, where the expression and type are evaluated properly.
• Implement type checking to verify that the conversion is valid. Only the following basic conversions should be supported at first:
  • num as str - Return the literal number in string format.
  • str as num - Return the parsed number from the string, if it contains invalid characters, it will return NaN.
  • bool as str - In case of true return "true" otherwise "false".
  • bool as num - In case of true return 1 and otherwise 0.
  • any as bool - In case that the value is not 0, "", or false return true.
• Implement TypeScript translation for the type conversion expression.

[Luna-Klatzer]

The implementation of any as bool will be delayed until any types are implemented.

[Luna-Klatzer]

Implemented by #146