E
null\NaN\Infinity может в рантайме уже прилететь
А Exclude в этом случае можно сделать? Сам не пробовал - просто интересуюсь? Или это все равно все делается через if?
Size: a a a
2020 March 16
EO
Evgen
А Exclude в этом случае можно сделать? Сам не пробовал - просто интересуюсь? Или это все равно все делается через if?
не совсем понял
E
не совсем понял
Я уже посмотрел - нет таких типов как NaN Infinity :(
DB
Evgen
Я уже посмотрел - нет таких типов как NaN Infinity :(
Так это number, ts же не может знать в рантайме, что ты 4 поделил на 0
E
Так это number, ts же не может знать в рантайме, что ты 4 поделил на 0
Ну в рантайме он и не узнает, что какого-то свойства нет у объекта
DB
То про форму объекта, а это про значение
E
То про форму объекта, а это про значение
Могу так сделать:
Но, не могу сделать так:
type myString = "one" | "two";
const a: myString = "one"
Но, не могу сделать так:
type myNumber = NaN | Infinity;
const b: myNumber = Infinity;
E
Или могу, но не знаю как
DB
А зачем? Это не поможет «исключить» эти значения из принимаемых
EO
Evgen
Могу так сделать:
Но, не могу сделать так:
type myString = "one" | "two";
const a: myString = "one"
Но, не могу сделать так:
type myNumber = NaN | Infinity;
const b: myNumber = Infinity;
вся информация о типах в ТС стрипается на этапе компиляции и не реализовывается в рантайме
E
вся информация о типах в ТС стрипается на этапе компиляции и не реализовывается в рантайме
Это я понимаю
EO
например, в других языках, чуть получше, типы могут быть реализованы как в статике, так и в динамике
в случае с ТС, к сожалению, вся его информация о типах служит только на этапе компиляции, после - "шо маэмо, то маэмо"
в случае с ТС, к сожалению, вся его информация о типах служит только на этапе компиляции, после - "шо маэмо, то маэмо"
E
например, в других языках, чуть получше, типы могут быть реализованы как в статике, так и в динамике
в случае с ТС, к сожалению, вся его информация о типах служит только на этапе компиляции, после - "шо маэмо, то маэмо"
в случае с ТС, к сожалению, вся его информация о типах служит только на этапе компиляции, после - "шо маэмо, то маэмо"
Этот этап и интересует
ЕЛ
например, в других языках, чуть получше, типы могут быть реализованы как в статике, так и в динамике
в случае с ТС, к сожалению, вся его информация о типах служит только на этапе компиляции, после - "шо маэмо, то маэмо"
в случае с ТС, к сожалению, вся его информация о типах служит только на этапе компиляции, после - "шо маэмо, то маэмо"
Ни в одном языке нету типов в райнтайме ) зато есть рефлексия нормальная из которой можно вытащить типы )
EO
Evgen
Этот этап и интересует
да там особо и нечего рассказывать
есть язык с типами, компилятор может их использовать на этапе семантического анализа, чтобы проверить что то, что ты от него хочешь - реализуемо. Также, компилятор может использовать эту информацию о типах на этапе кодогенерации в целевую платформу. Т.е. они могут реализовать проверку типов в рантайме.
есть язык с типами, компилятор может их использовать на этапе семантического анализа, чтобы проверить что то, что ты от него хочешь - реализуемо. Также, компилятор может использовать эту информацию о типах на этапе кодогенерации в целевую платформу. Т.е. они могут реализовать проверку типов в рантайме.
EO
Ни в одном языке нету типов в райнтайме ) зато есть рефлексия нормальная из которой можно вытащить типы )
VS
Ни в одном языке нету типов в райнтайме ) зато есть рефлексия нормальная из которой можно вытащить типы )
Є мови, які можуть передбачити проблеми в рантаймі на етапі компіляції. Elm, наприклад.
EO
V7v S6k
Є мови, які можуть передбачити проблеми в рантаймі на етапі компіляції. Elm, наприклад.
+
EO
этим как раз занимаются SMT-solvers (проверил, да)
E
А это разве не то, о чем написал @labeg - getClass().getDeclaredField() - это ж вроде и есть рефлексия?