VK
Потом, не реализован корректный сабтайпинг функций с исключениями. А если его реализовать, то вероятно всего этим будет уже неудобно пользоваться
Size: a a a
2020 April 14
VK
Вывод исключений это вообще дело-то самое простое
MK
Ну там все равно кроме простых кейсов ничего не работает
Позже заработает
VK
Позже заработает
Или нет. Теоретической основы нет, поэтому какие-то цели могут оказаться недостижимыми
NM
Или нет. Теоретической основы нет, поэтому какие-то цели могут оказаться недостижимыми
А где можно подробнее про это почитать?
VK
Что именно?
NM
На эту тему (в том числе конкретно про JS) написано кучу задротских работ. Нельзя просто так придти, сказать, что ты сделаешь самый крутой тайп чекер в обход всего этого
Вот про это
VK
VK
Вот кое что из закладок
NM
🦉
Ну это сразу вызывает вопросы. Например сейчас там все исключения выводятся как что-то | unknown
Нет же
🦉
Там : number | $Throws<Error>
🦉
То есть норм
2020 April 15
m
Функция первым аргументом принимает массив ключей принадлежащих объекту, вторым сам объект. Как описать тип, который будет выводить заданные в первом аргументе функции ключи с типом null объединённые с оригинальным объектом?
const whenEmptyToNull = (x: string): null | string => (isEmpty(x) ? null : x);
export const normalize = <T extends object, U extends keyof T>(
targetKeys: (U & string)[],
values: T,
) =>
Object.entries(values).reduce(
(acc, [key, val]) =>
targetKeys.includes(key as U & string)
? { ...acc, [key]: whenEmptyToNull(val as string) }
: acc,
{},
);
VK
Там : number | $Throws<Error>
VK
TN
блин я не всегда понимаю джаваскрипт код который генерируется из тайпскрипта......это нормально ?
🦉
Ааа. Ну да. Это правда
АЗ
Ааа. Ну да. Это правда
Вывод типа для исключений - это сразу дорога не туда. Невозможно все типы ошибок таким образом описать. Зачем себя обманывать?
🦉
Вывод типа для исключений - это сразу дорога не туда. Невозможно все типы ошибок таким образом описать. Зачем себя обманывать?
Лучше иметь что-то, чем ничего