Handle AsExpression in TS when treated as type hint

[valorkin]

In typescript you can give a hint to tsc about variable type
using keyword as

(node as ts.BinaryExpression).operatorToken;

currently it throws an exception

[nzakas]

This is expected because we haven't started implementing TypeScript-specific syntax yet. Happy to get a PR, though. :)

[nzakas]

In order to address this, we need to determine what type of AST node should represent this construct.

If I understand this correctly, the as operator is a casting operation, so I think we should target something that is similar to what Flow does. Here's the definition for Flow type cast node:

interface TypeCastExpression extends Expression {
    expression: Expression;
    typeAnnotation: TypeAnnotation;
  }

The syntax for Flow type casts looks more like foo:bar, so it has a true type annotation whereas TypeScript uses as, which isn't so much a type annotation as it is a type reference. So maybe we should look at doing something like this:

interface TSTypeCastExpression extends Expression {
    expression: Expression;
    typeCast: TypeAnnotation
  }

Unfortunately, we haven't yet defined what TypeAnnotation should be represented by in this project, so I think we'll have to hold off on implementing this until we have that discussion.

See #13 for the current status of the development plan.

[valorkin]

If I understand this correctly

Typescript has several ways of type hinting

so I think we'll have to hold off on implementing this until we have that discussion

thing is I want get it working fast at least for what is used in angular 2

so must probably I will have to use mine repo :(

[nzakas]

@valorkin sorry, we just can't skip ahead to do this. What you have will make the parser continue without error, but you're producing a correct AST, so it will likely cause unexpected errors when used with ESLint.

[valorkin]

I am not yet AST maniac, I see some wrong tokens
but I am definitely will need some finger pointing and help
with this to get things done correctly

so If you can say precise what is wrong with it,
it would be good

actually AST for a.b should be equal to (a as node).b
@nzakas correct?
so I will try to achieve it

[nzakas]

@valorkin please see my previous comment. Even we create a node type for casting, we still need to create the node types for all types and be able to parse all types. We just aren't there yet, so I'm afraid you'll need to wait until we get to phase 4 of the development plan.

[valorkin]

what if can just remove them from AST from now?
so we can use and parse es6/es7 correct syntax?