Я бы с радостью, но понятия не имею как можно в настолько ограниченных рамках typescript’а писать все понятно

ну condition наверное, не знаю

щас дам ссыль на доки

Да, уже нашёл, изучаю)

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

заумный код не признак, его качества

Я бы с радостью написал проще, Василий. Может быть мне знаний не хватает на это, поэтому я и пишу, чтобы спросить у более умных людей

Про то что надо писать просто и понятно - я и сам знаю)

Я первый раз вижу, чтобы кто-то брался писать логику для типизации. Я уверен, можно сделать проще)

практика практика и еще раз практика, пишите, ошибайтесь исправляйте, рефакторите,  - так научитесь

у меня наоборот слишком примитивные типы ( максимум что дженерики. никаких условных типов или чего-то такого

до поры до времени)

еще хорошо помогает возврат к своему собственному коду, который писался давно (а может быть вчера, но на утро он выглядит как каша).  Если он стал не понятен, то значит что то не то, подумайте, что в нем не хватает для понятности, как его можно было разбить на более простые части.

после исправления запутанных мест, потом вы эти приемы начнете запоминать, и писать сразу понятно

спасибо всем за советы, буду пробовать)

type IsRequired<T> = Extract<T, null> extends undefined ? true : false;

Будет:

var b =  IsRequired<number> // a: true

Если вникнуть в код то
Extract<T, null> // never
never extends undefined ? true : false; // действительно true

По-моему у тебя уже на этом уровне ошибка

Назовем метод IsRequired по-другому - CantBeNullable

type CantBeNullable<T> = Extract<T, null> extends undefined ? true : false;

Мы этим “Extract<T, null>” отбрасываем все кроме null, соответственно если у нас нет null в типах (type = string | null или type = null - здесь есть null, type = string - здесь нет), то Extract вернет never, соответственно условие “Extract extends never” вернет true в случаях когда null нет, и false, когда null есть

(extends undefined я использовал, потому что не знал, что при отсутствии соответствий typescript возвращает null, а не undefined, но мне повезло, что never экстендится от undefined)

спасибо за новую инфу)

Привет.
Импортирую функцию из сторонней библиотеки, у которой в index.d.ts используется 'export * as ns' syntax:

// lib index.d.ts
export * as context from './context';
export { composeMocks } from './composeMocks';

// app index.ts
import { composeMocks } from 'lib'

При компиляции ошибка: String literal expected c указанием на export * as context from './context';

TS 3.7.2. Как можно решить проблему?

// lib index.d.ts
export * as context from './context';
export { composeMocks } from './composeMocks';

// app index.ts
import { composeMocks } from 'lib'

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

Наивный вопрос господа: могу ли я определить тип для массива так, что сколько угодно элементов в нем типа Число, а последний элемент строка?