169 похожих чатов

Думал как написать тип перевода из типа-суммы в тип-пересечение type UnionToIntersection<U>

= U extends infer L | infer R ? L & R : U;
Не работает.
Работает только так:
type UnionToIntersection<U> = (U extends any ? (k: U) => void: never) extends (k: infer Q) => void ? Q : never;

4 ответов

12 просмотров
Rafael- Автор вопроса

Кстати вот почему это так работает 🤯

Для понимания, почему не работает первый вариант, предлагаю исследовать поведение следующих двух типов: type MaybeTakeUnionLeft<U> = U extends (infer L | infer R) ? L : never; type MaybeTakeUnionRight<U> = U extends (infer L | infer R) ? R : never;

Rafael- Автор вопроса

да я понимаю, почему(интуитивно, объяснить не могу)

как раз читаю статью про тоже самое https://fettblog.eu/typescript-union-to-intersection/

Похожие вопросы

Обсуждают сегодня

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
32
Хотел бы спросить у знающих, правильную ли я выбрал книгу для начала изучения ассемблера Юрова В.И ? Или есть более лучшие книги для начала обучения?
Botsman
25
Книга Юрова В.И пойдёт для обучения?
Botsman
24
$params = [ 'formid' => 'feedbackForm', 'formTpl' => '@CODE: <form class="form-validate" data-id="ajax_form"> <fieldset class="margin-bottom-md"> ...
Pathologic
1
а мы ещё не созрели до того, чтобы создать отдельный чатик про настройку редакторов?
Cheese Syrowiecki
16
И ещё вопрос: можно ли типа как на дос как-то запариться и с помощью прерываний выводить текст, вместо функции printf ?
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
34
Всем привет! У меня почему-то по-разному отображается TListView в Debug и Release режимах (FireMonkey)! При запуске под Win приложения TListView заливается программо. в Debug ...
Александр COM
8
Ладно, ещё тупого спрошу. Код должен банально вывести значение регистра на консоль, на деле же не выводя ничего, просто оставляя нерабочую консоль (открыта, ничего не написан...
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
25
Парни, спасайте. RAD Studio 12 творит какую-то дичь. У меня есть метод (event), который вызывает другой метод, т.е. он состоит из 1-й строки вызова. Ставлю бряк на event, запу...
Eugene Krasnikov (ᴊɪɴ x)
3
окей, дело реально в org было. но что за мусор в конце?
Vi Chapmann
15
Карта сайта