Приветики Пришёл с глупым вопросом.. Подскажите, есть ли возможность затипизировать функцию

Question

Приветики Пришёл с глупым вопросом.. Подскажите, есть ли возможность затипизировать функцию

с конкретным значением на выходе?

Что-нибудь типа такого:

type SomeFn = (v: string | null) => NaN | number;

Такой код, соответственно, не работает, есть ли варианты сделать то, что я хочу?)

#programming #russian #typescript

0

22.04.2021

21 ответов

8 просмотров

Yuri Kostin Автор вопроса

Я понимаю. Но окей, на самом деле у меня вот такая сигнатура на выходе: Either<NaN, number>

0

22.04.2021

Yuri Kostin Автор вопроса

Точнее такую бы я хотел. Но видимо, без вариантов..

0

22.04.2021

Alexey Krasnyanskiy

А можешь уточнить вопрос? Пример-то вроде вполне рабочий, но он что-то делает не как ожидается?

0

22.04.2021

Yuri Kostin Автор вопроса

0

22.04.2021

Yuri Kostin Автор вопроса

Что вполне логично и ожидаемо. Но вот я что-то сижу и не понимаю, как мне сделать хотя бы приближенно к тому, что хочется

0

22.04.2021

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪

ну, об этом компилятор и говорит: type Test = typeof NaN // number Вам скорее Option нужет, а не Either

0

22.04.2021

Alexey Krasnyanskiy

да, действительно, кажется NaN вываливается за границы типизации TS. Попробуй использовать null вместо NaN?

0

22.04.2021

Yuri Kostin Автор вопроса

Ну, кстати, учитывая, что функция у меня претерпела изменения, наверное, можно и Option использовать.. Но прикол был в том, что я хотел сделать вот так type ParseNumber = (input: string | null) => Either<null | NaN, number>;

0

22.04.2021

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪

ничто вас не спасёт от того, что NaN имеет number тип, а значит Right(NaN) вполне валидное в рантайме значение (с точки зрения ТС/джс) Со строками, кстати, тоже такое не прокатит type NotA = Exclude<string, 'a'> // string (не исключает значения 'a')

0

22.04.2021

Kirill Sukhomlin

Про исключение конректных значений понятно. Жалко, что оно NaN не хочет как Union type из одного варианта понимать

0

22.04.2021

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪

Наверное, должен быть ишью. Чем НаН хуже или лучше других значений намбера?.. Может, специфика, что НаН !== НаН?

0

22.04.2021

Yuri Kostin Автор вопроса

Вот так в итоге написал const parseNumber: ParseNumber = (input) => pipe( either.fromNullable(new Error('Empty input'))(input), either.map(parseInt), either.filterOrElse( value => !isNaN(value), () => new Error('Input must be a number'), ) );

0

22.04.2021

Хракс Мамцов

кажется в этой сигнатуре null вообще лишний

0

23.04.2021

Хракс Мамцов

я бы примерно так сделал если очень нужно

0

23.04.2021

Хракс Мамцов

https://habr.com/ru/post/498042/