?

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:


Николай Меркин
kodt_rsdn at 2016-06-16 03:48 (UTC) (Link)
Кстати, а кто сказал, что тип оператора деления - (any,any):number?
Если он перегружен, там вполне может быть (number,number):number|(MySuperFoo,xz):MyDuperBar|(any,any):number=NaN.
Т.е., иногда на выходе будет не число и даже не боттом, поэтому придётся обобщить результат до всё того же any.
Либо транслятор должен оттрассировать все вхождения функции g()...
Gaperton
gaperton at 2016-06-16 04:51 (UTC) (Link)
Особенности интерпретации оператора деления определяет конкретная ситема типов. Как она скажет - так и будет. В ней, например, может не быть никакого NaN, которое number. В ней могут быть, или не быть перегруженные операции.

Я намеренно упростил. Этот пример - это простейшая иллюстрация некой концепции, которая объясняется. Текст расчитан на человека, который не знает ничего, кроме JavaScript. И аппелирует к нему.

Я думаю, это вполне понятно, не? Концепция понятна? Или у нас проблемы с пониманием примеров?

Edited at 2016-06-16 05:30 am (UTC)
Gaperton
gaperton at 2016-06-16 05:11 (UTC) (Link)
С местными правилами бана, кстати, ты знаком, дружище? :) Оно называется "о модерировании и мудаках". Крайне рекомендую. Куда более строгое, чем на РСДН :)

Нет то, чтобы я намекал на что-то. Не пойми меня неправильно. Я уверен, что не смотря на некоторые смутные сигналы (это о моих догадках касательно твоего мотива оставлять здесь комментарии), ты сможешь держать себя в руках :)

http://gaperton.livejournal.com/62888.html

Edited at 2016-06-16 05:21 am (UTC)
Previous Entry  Next Entry