АЗ
Ладно, посмотрим кто победит. Буду себя заранее неправым считать
Size: a a a
2020 April 15
🦉
Жрать кактус тоже выбор
VK
Да, но ты знаешь на что нужно проверять
Да идея понятна. Просто это все равно из области удобства, а не тайпчекинга. Тайпчекинга никакого это не дает
АЗ
Да идея понятна. Просто это все равно из области удобства, а не тайпчекинга. Тайпчекинга никакого это не дает
Как думаешь почему flow проиграл ts?
VK
Потому что у Flow дохерища багов
АЗ
Потому что у Flow дохерища багов
Нет) Потому что flow пользоваться невозможно из-за его неудобства. Он тормозит, хреново интегрируется с окружением и т.д. Но тайпчек лучше чем у ts
АЗ
Просто из-за удобства люди выбрали ts
VK
Я с ним долго работал и все, кроме багов меня устраивало
🦉
Я с ним долго работал и все, кроме багов меня устраивало
У меня тоже так
🦉
В итоге сижу на тс и жру unsound
VK
Мне на ТС норм в итоге оказалось
VK
А unsound, ну так в общем то все unsound. И Flow unsound, и ТС, и Hegel тоже будет unsound
VK
Такова реальность
u
Всем привет. Начал копать TS. Может кто подскажет, почему во втором варианте нет ошибки?
https://www.typescriptlang.org/play/index.html#code/MYewdgzgLgBCBcMDeMBmiwFcC2AjApgE4wC+MAvMujACw0A0MAJojSQFCiSwAOCMABUIhsASwj4APCmpY8RUgD4Kg4WIkA6QvgggANgDd8AChmsGzVqQCUQA
const o: { f: number } = {f: 44, d: 4}
const po: Promise<{ f: number }> = Promise.resolve({ f: 44, d: 4 })https://www.typescriptlang.org/play/index.html#code/MYewdgzgLgBCBcMDeMBmiwFcC2AjApgE4wC+MAvMujACw0A0MAJojSQFCiSwAOCMABUIhsASwj4APCmpY8RUgD4Kg4WIkA6QvgggANgDd8AChmsGzVqQCUQA
В TS объект расширяем — лишние (не описанные в типе) поля не ломают проверку типа (play, строка 2).
Но для литералов объектов (и только для них) есть дополнительная проверка на лишние свойства, заставляющая типизировать все свойства, указанные в литерале: Excess property checking.
EPC работает при присваивании литерала переменной (поэтому ругается на лишние свойство
Но для литералов объектов (и только для них) есть дополнительная проверка на лишние свойства, заставляющая типизировать все свойства, указанные в литерале: Excess property checking.
EPC работает при присваивании литерала переменной (поэтому ругается на лишние свойство
d в первом варианте, строка 4), и при использовании литерала, как аргумента функции — это как раз второй вариант, но ошибки в нём нет, так как функция Promise.resolve без указания типа-аргумента принимает любое значение (строка 5). Если тип-аргумент указать, EPC сработает и здесь (строка 11).EK
Переслано от Michael
AS
В TS объект расширяем — лишние (не описанные в типе) поля не ломают проверку типа (play, строка 2).
Но для литералов объектов (и только для них) есть дополнительная проверка на лишние свойства, заставляющая типизировать все свойства, указанные в литерале: Excess property checking.
EPC работает при присваивании литерала переменной (поэтому ругается на лишние свойство
Но для литералов объектов (и только для них) есть дополнительная проверка на лишние свойства, заставляющая типизировать все свойства, указанные в литерале: Excess property checking.
EPC работает при присваивании литерала переменной (поэтому ругается на лишние свойство
d в первом варианте, строка 4), и при использовании литерала, как аргумента функции — это как раз второй вариант, но ошибки в нём нет, так как функция Promise.resolve без указания типа-аргумента принимает любое значение (строка 5). Если тип-аргумент указать, EPC сработает и здесь (строка 11).Спасибо
В
а чего не
"extends": ["codelyzer"], ?Проблему решил переустановкой codelyzer, спасибо за помощь. :)
🦉
Ну строго говоря Promise<T, E | unknown> это тоже самое что Promise<T, unknown>
вспомнил в чем разница.
когда указываешь result | $Throws(Error | TypeError) гегель проверит, что в теле функции действительно бросается Error и TypeError, также проверит, функции которые вызываются
когда указываешь result | $Throws(Error | TypeError) гегель проверит, что в теле функции действительно бросается Error и TypeError, также проверит, функции которые вызываются
G
вспомнил в чем разница.
когда указываешь result | $Throws(Error | TypeError) гегель проверит, что в теле функции действительно бросается Error и TypeError, также проверит, функции которые вызываются
когда указываешь result | $Throws(Error | TypeError) гегель проверит, что в теле функции действительно бросается Error и TypeError, также проверит, функции которые вызываются
Гегель?
VK
> гегель проверит, что в теле функции действительно бросается Error и TypeError
Ну это неправильно строго говоря. Это валидный кейс, если я хочу объявить на будущее, но не использовать сейчас
Ну это неправильно строго говоря. Это валидный кейс, если я хочу объявить на будущее, но не использовать сейчас