?

Log in

No account? Create an account
November 2016   01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
cartoon

TypeScript: Static or Dynamic?

Posted on 2016.06.15 at 21:49

Comments:


Gaperton
gaperton at 2016-06-16 07:37 (UTC) (Link)
> А тип function const(a, b) { return a; } выведет как any, any -> any?

Да. Так и выводит. Вот здесь можно посмотреть. https://www.typescriptlang.org/play/

> А тип function app(f, x) { return f(x); }?

Да. Выводит как все any. Не смотря на то, что могло бы предположить что f - это function.

Ибо не хочет ломать семантику JS (их установка - корректная JS программа должна скомпилироваться). ТО есть, для более строгой типизации надо намекнуть явной аннотацией.

Это я и имею в виду, когда говорю, что TS - динамический язык. А ведь с опциональными аннотациями типов и выводом типов это и правда хрен разберешь, не так ли?

Edited at 2016-06-16 07:43 am (UTC)
Previous Entry  Next Entry