void сюда передать нельзя

но вы говорите про какие-то аргументы функции

я говорю про сам тип 0 как тип значения

тип null это тип, у которого значение null

если бы синглтонные типы в языках описывались бы синтаксисом Singleton X, то было бы

x :: Singleton Null
x = Null

y :: Singleton Undefined
y = Undefined

z :: Singleton 1
z = 1

но в тс Singleton просто опускается

const x: null = null;
const y: undefined = undefined;
const z: 1 = 1;
const t: [1, 2] = [1, 2];
const y: { a: 1, b: true } = { a: 1, b: true };

аргумент на уровне типов, да. без этого у всех синглтонов Хаскеля нет смысла

а в тс все не так

ну это не реальный код

более чем реальный

и это не настоящий код. так не пишут

я работал на тайпскрипте пару лет

я знаю как пишут код на тайпскрипте

у тебя есть решетка на типах (|, &, unknown, never)

нули
a | never = a
a & unknown = a

сингулярности
a | unknown = unknown
a & never = never

коммутативность
a & b = b & a
a | b = b | a

ассоциативность
(a | b) | c = a | (b | c)
(a & b) & c = a & (b & c)

дистрибутивность
(a | b) & c = (a & c) | (b & c)

идемпотентность
a | a = a
a & a = a

поглощение
a | (a & b) = a
a & (a | b) = a

и у тебя есть синглтонные типы на значения
и нет возможности создавать номинальные типы, только алиасы (но на самом деле добавили фичу не так давно и для номинальных вроде бы)
и получаются типы вида

type boolean = true | false;
type number = 0 | 1 | -1 | 0.1 | ...;
type x = boolean | number
это ровно то же самое что
type x = true | false | 0 | 1 | -1 | ...

Все проблемы из за совместимости с жс

Вот так мы в очередной раз доказали, что жс это зло

что, дать Юре РО за оффтоп?)

a | any = any
a & any = any

Так себе решётка получилась

any это просто команда отключения тайпчекера

Что за решётка?