Support type inference?

[dtysky]

Hi.

In current time we know that typescript has a great ability to do type inference and we benefit a lot from it, etc:

export function test(i: number) {
    return i++;
}

Typescript will know that the result of test is number.

Lot of my projects are all strictly typed using type inference, but not explicit declaration, they could not pass your type checking.

Not only the typescript, c++, c#, and many modern languages are supporting type inference, and they could be compiled to wasm now or future. So could asc support it?

Thanks.

[dcodeIO]

Sure. There is limited type inference for variable declarations with an initializer already. Test

[dcodeIO]

Thanks, remaining parts are covered by #61, while I'd currently prefer to keep explicit return types.

[jarble]

It is also possible to infer parameter types and return types using the v8 JavaScript engine's type profiler.