Так он совпадает, только та же проблема что выше описали

Дцмаю можно наколдовать чтоб не массив а | б был а именно [а, б].

Может Женя подскажет

не совпадает

потому что один аргумент ['asdf']

и это должно быть ошибкой, потому что query ожидает число

Не забывайте про as const

Он выводит массив с элементами типа T потому что у него изменяемый размер

Если нужен именно кортеж, добавляйте as const

Я не смог вчера вечером подружить as const в месте вызова с readonly в определениях типов 😵

Тайпскрипт он такой — часто проще переписать код под типы, чем написать типы на код ¯\_(ツ)_/¯

Да, вообще хорошо когда у тебя type-level programming

Без написания кода как такого))

шановне товариство, що краще обрати для рантайм типізації: joi, ajv, чи jup?

по каким критериям нужно выбирать?

joi самый популярный и очень распространенный, но по факту не умеет делать асинхронные валидации. Т.е. у них есть апишка для этого, но кастомные валидаторы только синхронными могут быть (насколько я знаю).

ajv умеет трушную асинхронную валидацию. Но есть мнение, что если у вас схема валидируется асинхронно, то вы делаете что-то неправильно, и асинхронные валидации не делжны выполняться на уровне схемы.

Сам я всегда Joi юзал, и был доволен.

jup - это yup? Если да, то забить. Это недо-joi якобы для браузеров. Обычно валидация схем на серваке делается, поэтому лучше просто joi всять и не наступать на грабли в стиле “в joi так можно делать, а в yup нельзя”.

+1 joi, простий і майже всі кейси покриває

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

тогда joi

но он очень медленный