Можно ли динамически указывать типы?

Question

[zWaterFall]

Имеется вот такой код:

enum BLOCK_TYPE {
  PARAGRAPH = 'PARAGRAPH',
  IMAGE = 'IMAGE',
  LIST = 'LIST',
}

interface IBlock {
  type: BLOCK_TYPE;
  body: string | string[];
  file?: File;
}

Можно ли сделать так, чтобы
а) При type: "PARAGRAPH" был body: string

б) При type: "IMAGE" был body: File

в) При type: "LIST" был body: string[]

Comments

[Сергей Сергей]

перерождение динамической типизации js—>ts—>jts

[Василий Банников]

Сергей Сергей, вообще TS так должен уметь, правда это будет статика, а не динамика - надо же проверить type.
Playground

UPD: Ай блин, понял, почему у меня ошибка. Я аутист.

[Сергей Сергей]

Василий Банников, ни разу не видел, чтобы типы аргументов определялись по значению соседнего аргумента, да ещё и вложенного свойства этого значения. Есть ли такое в C#? может перекочует?

В принципе, описывать перегрузку методов таким образом было бы логично, в стиле js#. хехех.

[Василий Банников]

Сергей Сергей, В C# такое перекочует только если в виде Discriminated Unions, которые я очень сильно хочу.
А в Typescript это необходимость, чтобы можно было тайпинги для любого говна написать.
Например для redux

Answer 1

[Stockholm Syndrome]

type ValueOf<T> = T[keyof T];

const enum BlockType {
  Paragpraph = 'PARAGRAPH',
  Image = 'IMAGE',
  List = 'LIST',
}

interface BodyTypes {
  [BlockType.Paragpraph]: string;
  [BlockType.Image]: File;
  [BlockType.List]: string[];
}

interface IBlock<T extends BlockType> {
  type: T; 
  body: BodyTypes[T];
}

type TBlock = ValueOf<{ [P in BlockType]: IBlock<P> }>;
// type TBlock = IBlock<BlockType.Paragpraph> | IBlock<BlockType.Image> | IBlock<BlockType.List>;


function x(b: TBlock) {
  if (b.type === BlockType.Paragpraph) {
    // b.body is string
  } else if (b.type === BlockType.Image) {
    // b.body is File 
  }
}

Comments

[zWaterFall]

Спасибо :)

Answer 2

[Василий Банников]

const enum BlockType {
  Paragpraph = 'PARAGRAPH',
  Image = 'IMAGE',
  List = 'LIST',
}

type IParagraph = {
  type: BlockType.Paragpraph,
  body: string,
}

type IImage ={
  type: BlockType.Image,
  body: File
}

type IList = {
  type: BlockType.List,
  body: string[]
}

function a(x: string){}
function b(x: string[]){}
function c(x: File){}
type IBlock = IParagraph | IImage | IList;
const blocks: IBlock[] = []
for(const block of blocks){
    switch(block.type) {
        case BlockType.Image:
            c(block.body);
            break;      
        case BlockType.Paragpraph:
            a(block.body);
            break;
        case BlockType.List:
            b(block.body);
            break;
    }
}

Playground
Также должно и с интерфейсами работать, просто надо при помощи extends сужать тип

Comments

[zWaterFall]

Playground
Вот такая ситуация... Интересуюсь для компонентов реакт

[Stockholm Syndrome]

zWaterFall, вы забыли break после первого case

[zWaterFall]

Спасибо! :)