В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

TypeScript

488 membersпожаловаться на группу
2018 June 14

к

кана in TypeScript
у нас есть моноид (Type, |, empty)
то есть мы можем суммировать любые типы, empty/never - нейтральный элемент (то есть x | empty = x = empty | x)
у нас есть дуальный моноид (Type, Pair, void)
мы можем перемножать (делать кортежи) любых типов, при этом [x, void] = x = [void, x]

есть дистрибутивность:
[(a | b), c] = [a, c] | [b, c]

есть закон закон пересечения моноидов:
x * empty = empty = empty * x

все это можно понять, если заменить операции и значения на привычные тебе:
| = +
[,] = *
empty = 0
void = 1
источник
17:43пожаловаться

🦉⁣

🦉 ⁣ in TypeScript
и какой толк описывать функцию которую невозможно вызвать?
источник
17:43пожаловаться

к

кана in TypeScript
🦉 ⁣
и какой толк описывать функцию которую невозможно вызвать?
пример - редьюсер, когда нет экшонов
источник
17:43пожаловаться

🦉⁣

🦉 ⁣ in TypeScript
кана
пример - редьюсер, когда нет экшонов
смысл от такого редюсера?
источник
17:43пожаловаться

к

кана in TypeScript
а описать-то его нужно например, или передать, или еще для чего
источник
17:44пожаловаться

🦉⁣

🦉 ⁣ in TypeScript
кана
у нас есть моноид (Type, |, empty)
то есть мы можем суммировать любые типы, empty/never - нейтральный элемент (то есть x | empty = x = empty | x)
у нас есть дуальный моноид (Type, Pair, void)
мы можем перемножать (делать кортежи) любых типов, при этом [x, void] = x = [void, x]

есть дистрибутивность:
[(a | b), c] = [a, c] | [b, c]

есть закон закон пересечения моноидов:
x * empty = empty = empty * x

все это можно понять, если заменить операции и значения на привычные тебе:
| = +
[,] = *
empty = 0
void = 1
но пользу empty я так и не понял
конкретно из этого текста
источник
17:44пожаловаться

к

кана in TypeScript
в элме такие кейсы возникают например когда нужно в рендере сделать верстку, которая никогда не вызовет экшонов (Html Never)
источник
17:44пожаловаться

к

кана in TypeScript
или промис который никогда не упадет (и мы об этом знаем статически) (если бы мы типизировали обе ветки)
источник
17:45пожаловаться

к

кана in TypeScript
Promise<empty, x>
источник
17:45пожаловаться

к

кана in TypeScript
empty кажется бессмысленным точно так же, как id кажется бессмысленной функцией
источник
17:46пожаловаться

AK

Aleh Kashnikau in TypeScript
🦉 ⁣
и какой толк описывать функцию которую невозможно вызвать?
ее возможно вызвать, она никогда ничего не вернет
источник
17:46пожаловаться

к

кана in TypeScript
а используется id довольно часто
источник
17:46пожаловаться

🦉⁣

🦉 ⁣ in TypeScript
Aleh Kashnikau
ее возможно вызвать, она никогда ничего не вернет
function foo(a: never) {}
источник
17:46пожаловаться

AK

Aleh Kashnikau in TypeScript
а, это absurd называется да)
источник
17:46пожаловаться

G

GG in TypeScript
откуда начинать читать?)
источник
17:46пожаловаться

к

кана in TypeScript
ну не конкетно такая
источник
17:46пожаловаться

к

кана in TypeScript
абсурд это когда еще возвращаем любой тип
источник
17:46пожаловаться

🦉⁣

🦉 ⁣ in TypeScript
GG
откуда начинать читать?)
t.me/typescript_ru/64994
Telegram
pub fn🦉() { in TypeScript
жесть
источник
17:47пожаловаться

к

кана in TypeScript
function absurd<T>(x: never): T {
  throw "absurd";
}
источник
17:47пожаловаться

🦉⁣

🦉 ⁣ in TypeScript
кана
абсурд это когда еще возвращаем любой тип
но в итоге, мы не можешь протипизировать весь жс
источник
17:47пожаловаться