Я придумал вот такой способ проверить, что в функцию передаётся строковой литерал: type StringLiteral< T extends string, U = { [K in T]: K }, V = T extends infer V...
@obenjiro Привет. Тут у админа проблемы. Можешь ему помочь?
Так если такое отношение к багам, какое может быть отношение к фичам? Ребята делают всё, что в их силах, чтобы вот эта конструкция из глины и палок как-то работала, у них в бе...
Отдельный вопрос: что такое "неявное". Если у типа есть valueOf/toString/toJSON, то это неявное преобразование?
const f = <T,>(t: T) => { type U = T extends number ? 0 : 1; const u: U = 0; // с чего бы };
Господа, куда должны уехать (T i, T o) => , чтобы это начало компилироваться? https://ideone.com/FO2m22
кстати, а монад компрехеншены там депрекейтить какое-то время назад пытались. их ещё не?
они научились промоутить прелюду?
За исключением того, что в C++ тайпклассы называются трейтами, да?