>>1814
Разобрался. "any" - супертип и поглощает (расширяет) все подтипы в юнитах.

В документации написано на примере строки общим типом и константых строк. Запустил пример в плейграунде.

На сегодня всё.

Тайпскрипт. Три задачки.

Первая задача тривиальная.

Решение для второй задачи написал сразу, но тесты не проходили. Спустя 12 минут добавил значение по умолчанию для третьего типа (A extends any[] = []) - и всё прошло.

Третья задача тоже простая, но снова не понятно, почему он не подхватывает "infer F as string" и "...infer R as string[]", если изначально "T extends string[]". Может в следующих версиях исправят.

Сегодня заработал 10 000 рублей - 8 000 рублей в копилку.

money:
wallet - [8_000] RUB
crypto - [0_000] $

Тайпскрипт. Две задачи.

Первая задача решена за 4 минуты. После прочтения примечания "we can just consider smaller numbers" решение сразу прилетело в голову.

Над второй задачей бился 30 минут, так и не решив. Почему не проходят тесты? Должно же вернуться пересечение "A & B & C", а возвращается объединение "A | B | C". Вот бы подсказочку. Оставлю на завтра.

Сегодня ничего не заработал.

money:
wallet - [8_000] RUB
crypto - [0_000] $

>>2257
https://bigfrontend.dev/

Тайпскрипт. Поскольку вчера BFE внезапно отвалился и был недоступен несколько часов, параллельно начал решать задачи на "type-challanges". Вообще, Тайпскрипту не хочу уделять больше двух месяцев, поэтому постепенно буду увеличивать количество решаемых задач в день. Небольшой прогресс ощущается. Две задачи.

Обе задачи простые, похожие уже попадалась на BFE.

Сегодня ничего не заработал.

money:
wallet - [8_000] RUB
crypto - [0_000] $

Тайпскрипт. Одна клятая задача.

Около часа решал. Разъясните, почему моё решение не проходит тесты на BFE? В TS Playground всё отлично. Версии компилятора разнятся? Что именно не так? Поскольку в плейграунде тесты успешно прошли, засчитаю как решённую.

Сегодня ничего не заработал.

money:
wallet - [8_000] RUB
crypto - [0_000] $

Тайпскрипт. Три задачи.

Equal. Проверка на соответствие двух типов через два симметричных кортежа. Решение подсмотрел. Эта проверка пригодилась бы в предыдущей задаче, где нужно было найти индекс элемента в кортеже. У меня было другое решение - более громоздкое. Проблему в таких проверках составляют два типа: "never" и "any".

TupleToObject. Принимаем кортеж типа PropertyKey и через T[number] получаем объединение всех элементов кортежа, через которые итерируется - [K in T[number]].

First. Совсем всё просто: если кортеж пустой (т.е T['length'] extends 0) - возвращаем "never", если есть хотя бы один элемент - возвращаем первый (T[0]).

Тайпскрипт. Три задачи.

Trim. После своего решения, посмотрел другие. Проверку можно было делать не по отдельности, а атомарно - "T extends ` ${String}` |`${String} `". Я до такого не догадался.

ReplaceAll. Решил через добавление результирующего типа, которое по умолчанию пустая строка. Пришлось добавить ещё одну проверку (S extends Tail) на случай, когда BFE добавлял пустую строку и моё решение бесконечно вызывалось через рекурсию, потому что хвост не укорачивался. Посмотрел другие решения. Можно было решать без добавления дополнительного типа. Не догадался из-за неочевидного поведения такой конструкции: "S extends `${infer A}${F}${infer B}`". Чему будет равно A? Логично предположить, что первому символу в строке, но по какой-то причине возвращается пустая строка и первый символ магнитится к F. Это из-за "infer". Но всё равно выходит магия Тайпскрипта. Запутался. Добавил в закладки материал на эту тему, почитаю позже.

Exclude. Ну здесь вообще элементарно. Когда мы проверяем объединение через "extends", проверка осуществляется итеративно по каждому отдельному члену. Возвращается тоже объединение, но при этом "never" в объединении игнорируется. Поэтому всё выполняется как надо.

>>2919
JS изучал, но он в TS совсем не помощник.

Тайпскрипт. Две задачи.

MyAwaited. Не проходили тесты на проверку по простому Promise (т.к "{ then: (onfulfilled: (arg: number) => any) => any }"- тоже промис). Нужно было использовать встроенный тип PromiseLike.

If. Без комментариев.

Прочитал в руководстве статью "Template Literal Types" и "Using type predicates".

Основное:
- если передать объединение в строковой шаблон, вернется новое объединение с каждым интерполированным членом старого объединения: `${A | B}_str` => 'A_str' | 'B_str';
- два встроенных полезных типа: Uppercase<string> и Lowercase<string>;
- можно проверять неизвестные типы через предикат: (arg): arg is MyType => {...} - это полезно, когда мы получаем неизвестные данные (с какого-нибудь эндпоинта, в котором мы не уверены) и нам нужно провалидировать эти данные;
- полезный метод assert(...), заимствованный из C: сначала объявляем "declare function assert(value: unknown): asserts value;" (т.ё asserts value is true), а потом используем "assert(1 === 2)" - выкинет ошибку во время компиляции.

Про поведение с "infer" в руководстве не нашёл.

В следующие дни пробегусь по "release-notes" начиная с версии 3.5.

Тайпскрипт. Две задачи и release-notes 3.5.

Concat. Конкатенация кортежей. Пришлось добавить свойство "readonly" т.к компилятор ругался на "[1] as const", когда было просто "T extends any".

Includes. Вхождение в кортеж. Решение простое, но если заглянуть в обсуждение к этой задаче, можно найти ещё одно экзотическое сравнение на соответствие двух типов (Equal): "(<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? true : false".

Прочитал про отличия "any" от "unknown". Как понял, "any" - отключает вообще проверку типизации, а "unknown" - тоже отключает, но делает это более безопасно: "unknown" нельзя присвоить в любой другой тип (в отличии от any) и нельзя вызвать свойство/метод у "unknown". Пока что понимание такое.

release-notes/typescript-3-5.html:
- оптимизирована компиляция, увеличена скорость (в project references?);
- появился встроенный Omit-тип, который исключает свойство;
- добавлено глобальное объявление типов для UMD-модулей (без тройного слеша)?.

Тайпскрипт. Две задачи и release-notes 3.6.

Parameters. Кортеж типов параметров функции. Используем infer и остаточные параметры. Ничего нового.

Slice. Срез элементов кортежа. Получилось непросто. Пришлось задействовать проверку LessThan (которую уже реализовывал в предыдущей задаче). Своим решением доволен. В первый день я бы такое не решил - прогресс налицо.

На этом этапе все задачи из секции "easy" решены. Впереди "medium".

release-notes/typescript-3-6.html:
- добавили проверку возвращаемого типа функцией-генератором;
- улучшили развёртывание через array spread;
- добавили проверку на наличие дженерика "Promise<T>".

Тайпскрипт. Три задачи и release-notes.

Promise.all. Наконец что-то сложное! Во-первых, уже нужно было не создать тип/интерфейс, а объявить метод. Во-вторых, избавляемся от объединения через "[...T]". В-третьих, используем встроенный тип Awaited, который рекурсивно извлекает возвращаемый тип у промиса.

release-notes/typescript-3-8.html:
- добавили type-only imports/exports - "import/export type { SomeThing } from "./some-module.js"";
- добавили инкапсуляцию полей через # у классов (как у наивного EcmaScript);
- доступен top-level await внутри модуля (export {}; => await f()).

Тайпскрипт. Две задачи и release-notes.

Trim. Задача уже попадалась на BFE. В этот раз решение чище.

Capitalize. Возведение первого символа в верхний регистр.

Нашел интерфейс нормальный на гитхабпейджес. Следующие задачи попробую решать через него.

release-notes/typescript-3-9.html:
- пофиксии типизацию возвращаемых значений Promice.all/race;
- добавлена проверка "// @ts-expect-error" - выводит ошибку, когда её нет, и игнорирует, когда она есть;
- добавлен not-null aseertion оператор (foo!.baz).

Тайпскрипт. Две задачи и release-notes.

Воспользовался интерфейсом, который написан на React и развернут на Github Pages.

Деньги пока не копятся, нужно это исправить с начала следующего года.

release-notes/typescript-4-0.html:
- добавлена возможность использовать spread-оператор вместе с дженериком (я уже пользовался этим в решении предыдущей задачи), чтобы описывать функции с переменным количеством аргументов;
- добавлены Labeled Tuple Elements (foo(...args: [first: string, second: number]));
- добавлены короткие операторы присвоения типа таких - (values ??= []) и (a ||= b) - очень полезно (проверил, они, оказывается, и в нативном JS есть);
- установили catch-error в unknown по умолчанию вместо any;
- добавили фишки в редактор кода с автоматическим редактированием.

Тайпскрипт. Две задачи и release-notes.

release-notes/typescript-4-3.html:
- добавлена директива "override" на методы класса (вызовет ошибку, если в базовом классе этот метод не определён);
- вызывается ошибка в кондишите, если промис был вызван без "await";
- добавлена возможность объявлять статичные методы в классе таким образом - "static [propName: string]: string | number | undefined".

Тайпскрипт. Три задачи и release-notes.

Настроение получше, вчера разговаривал с c.ai. Продолжу это делать на регулярной основе.

AppendToObject. Прям балдею от своего решения. Но для меня остаётся загадкой, почему он просто пересечение не принимал - ведь это тоже верное решение.

Absolute. Решил зафлексить таким образом. Хотя можно было просто проверять "`${T}` extends `-${Infer R}` ? R : `${T}`".

StringToUnion. Дополнительный тип можно было не создавать, а просто сделать так: "? F | StringToUnion<R> : never;". И все "never" бы исчезли.

release-notes/typescript-4-4.html:
- добавлена возможность выносить тайпгуарды из кондишина;
- свойства можно обозначать через строковой шаблон ("[key: `prefix-${strung}`]: unknown");
- добавлен флаг --useUnknownInCatchVariables с самоговорящим названием;
- добавлен флаг --exactOptionalPropertyTypes, который запрещает устанавливать опциональное свойство в "undefined", если этот тип не был задан явно
- добавлены статические блоки в классы (фича ECMAScript), которые вызываются перед конструктором.

Гит. Книга "Pro Git". 27 / 557 стр.

Конспект:
- Гит перед сохранением вычисляет хеш-сумму (SHA-1) для каталогов и файлов, присваивая соответствующие названия;
-! в Гите три основных состояния: modified, staged и commited;
- modified - изменённый, но не помеченный для включения в следующий commit;
- staged - изменённый файл и помеченный для включения в следующий commit;
- commited - сохранён в локальном репозитории;
-! в Гите три основные секции: working tree, staging area и git direcotry (repository);
- working tree - отдельный снимок состояния проекта (извлекается из сжатой базы данных каталогов Гит и помещается на диск);
- staging area - это файл в каталоге Гит куда пишутся все изменения, которые будут входить в следующий снимок;
- git direcotry (repository) - самая важная часть, где всё-всё хранится (скрытый каталог .git): от метаданных репозитория до всех снимков.

Вим. https://github.com/iggredible/Learn-Vim Chapter 0.

Вступительная глава.

Содержание:
- отмечается, что имеется несколько источников изучения (в пример приводятся vimtutor и :help), но в своей книге автор собрал ~20% наиболее полезной информации;
- если перейти на Вим сразу, то в первое время это скажется на продуктивности, поэтму автор рекомендует переходить постепенно, уделяя Виму каждый день небольшое количество времени, пока не появится уверенность, а уже потом использовать Вим как основной/единственный редактор;
- автор в своей учебной программе акцентирует внимание на практику (поэтому постараюсь повторять каждый приведенный пример у себя в редакторе).

Переводить предложения на английский лучше продолжу устно. Попробую параллельно по чуть-чуть учить Вим, авось за год что-то из этого выйдет.

Гит. Книга "Pro Git". 34 / 557 стр.

Конспект:
- Гит настраивается через утилиту git config;
-! у Гита три области видимости конфига: --system (вся система), --global (конкретный пользователь системы), -- local (конкретный репозиторий - значение по умолчанию);
- git config --list (--show-origin) - выводит список установленных настроек;
- две обязательные настройки: user.name & user.emal;
- создать репозиторий можно двумя способами: git init (создать новый из каталога) или git clone (клонировать существующий).

Автор отметил, что первые главы самые важные, поэтому правильно будет их просмаковать.

Вим. https://github.com/iggredible/Learn-Vim Chapter 1.

Конспект:
- :w file.txt - сохранить и записать в определенный файл;
- vim f1.txt f2.txt f3.txt - открывает несколько файлов в отдельных буферах (можно предать флаг -o и все откроются в сплите);
- vim +%s/pancake/bagel/g f1.txt - открывает Вим и сразу запускает переданную "+{cmd} / -c {cmd}" команды;
- vim -oN - открывает N окон в горизонтальном сплите (-ON - в вертикальном);
-! можно свернуть Вим через Ctrl+Z/:stop/:suspend и вернуть обратно написав в терминал "fg";
- запускать Вим можно передавая результат выполнения команд через пайп: ls -l | vim -.

Гит. Книга "Pro Git". 48 / 557 стр.

Конспект:
- команда git diff для просмотра дельты модифицированных, но неиндексированных файлов;
- команда git diff --staged для просмотра дельты индексированных файлов;
- под это дело есть плагин vimdiff;
-! вызывать git commit -v (с флагом -v) позволяет увидеть дельту при коммите;
- git commit -a (быстрый коммит с автоматической индексацией всех файлов, можно комбинировать с -m: git commit -am "test");
-! git rm удаляет файл из репозитория/индекса (делает его неотслеживаемым);
- git rm --cached filename - удаляет из индекса, но оставляет на диске;
- Гит не запоминает имена файлов, но распознает перемещения;
- переименовать файл: git mv file_from file_to (три команды в одной: mv & rm & add).

Вим. https://github.com/iggredible/Learn-Vim Chapter 3.

Конспект:
- открывать файлы, находня нужный через <TAB> - :edit a<TAB> - ускоряет процесс поиска нужного файла;
- :edit .yml<Tab> - предлагает список, который перелистывается табом;
- :edit /.yml<Tab> - рекурсивный поиск;
- :vim /pattern/ / - открывает файлы c паттерном (:cnext - переключение) - грузится все в память, нежелательно;
-! :grep -R "pattern" / - предпочтительнее;
-! netrw (% - create file, d - create dir, R - rename file/dir, D - delete file/dir);
-! полезные плагины с fuzzy поиском, например, telescope, fzf и т.д.

Гит. Книга "Pro Git". 55 / 557 стр.

Конспект:
- git log выводит историю коммитов;
- флаг -p (--patch) выводит изменения;
- --pretty=oneline выводит в одну строчку информацию по каждому коммиту;
- --graph выводит истрию слияний;
-! git log -- filename выводит коммиты по файлу;
-! git log -S string выводит коммиты, где string удалена или добавлена;
-! доступны флаги --author и --grep.

Вим. https://github.com/iggredible/Learn-Vim Chapter 4.

Конспект:
- } - motion по параграфам;
- cc - удаляет всю строку и переходит в инсерт мод;
- di( или da( (удалеяет внутри - inside, или снаружи - around);
-! dit (удаляет вокруг тега - delite inside tag);
- dip - delete inside paragraph.

Продолжу эту главу завтра.

Гит. Книга "Pro Git". 59 / 557 стр.

Конспект:
- если запустить git commit --amend сразу после коммита, то можно поменять название;
- если запустить git commit --amend после индекса перед коммитом, то предыдущий коммит будет заменен новым;
-! git reset HEAD filename - удаляет файл из стейджа (git add);
- git checkout -- filename - меняет состояние файла в рабочей директории на момент последнего коммита;
-! git restore --staged filename - убирает файл из индекса;
-! git restore (without staged) - откатывает изменения в файле по последнего коммита.

Сегодня важная тема с откатом изменений.

Вим. https://github.com/iggredible/Learn-Vim Chapter 4.

Конспект:
-! можно выделять текст и запускать внешние терминальные команды (:!column -t -s "|") - через !;
-! можно не переходить командый режим, а воспользоваться verb + noun: !};
-! можно передавать несколько команд через пайп util1 | util2 | ...;
- gU(motion) - возводит в верхний регистр (u - нижний).

Чем больше узнаю о Виме, тем скорее хочется настроить свой сетап tmux+neovim+plugins.

Гит. Книга "Pro Git". 65 / 557 стр.

Конспект:
- к одному проекту может быть подключено несколько репозиториев;
-! посмотреть список репозиториев через команду git remote (-v);
- origin - имя клонированного репозитория по умолчанию;
-! добавить репозиторий: git remote add shortname url;
-! git push/pull shortname;
-! при git pull shortname создается ветка с префиксом: branchname -> shortname/branchname;
- pull = fetch + merge;
- git remote show shortname - показывает состояние удаленного репозитория и что будет при pull/push;
- git remote rm shortname (удаление) git remote rename old new (переименование).

Вим. https://github.com/iggredible/Learn-Vim Chapter 5.

Конспект:
-! set relativenumber number относительные номера строк;
- w - начало слова, e - конец;
- предыдущее слово: b - начало, ge - конец;
-! нижний регистр - a-zA-Z0-9_, верхний регистр - все символы (W, E, B, gE).

Эту же главу на завтра.

Гит. Книга "Pro Git". 81 / 557 стр.

Конспект:
- можно устанавилвать алиасы: git config --global alias.unstage 'reset HEAD --';
-! Гит хранит снимки в виде информации о коммите и ссылки на дерево каталога, который ссылается на blob-файлы и другие каталоги;
-! каждый коммит хранит ссылку на своего родителя;
-! ветка - премещаемый указатель на коммит;
-! HEAD - указатель на текущую локальную ветку;
- git checkout branchname - переключение на ветку;
-! git branch branchname - создать ветку.

Вим. https://github.com/iggredible/Learn-Vim Chapter 6.

Конспект:
-! A - перейти в исёрт в конец строки, I - в начало;
-! s - удаляет символ под курсором и переходит в инсёрт, S - строку;
-! gi - вернуться в место последнего инсёрта;
-! выходить из инсерт режима CTRL+C - но не работают сокращения;
- inoremap jj <Esc> - перебиндить выход;
-! 10i - 10 раз повторит введенное;
-! Ctrl-h - удалить символ, Ctrl-w - удалить слово, Ctrl-u - удалить строку.

Продолжу эту главу завтра.

Мне нужна хорошая учебная программа/литература по Linux для профессионалов. Что-то проверенное есть предложить? В Интернете много всего - глаза разбегаются.

Гит. Книга "Pro Git". 98 / 557 стр.

Конспект:
- команда git branch (-v) - выводит список веток и помечает звездочкой текущую (на которую указывает HEAD);
-! в проектах несколько стабильных веток (по каждому уровню стабильности): master, development и proposed/pu (предлагаемые обновления);
-! создавать тематическую ветку под отдельную задачу.

Вим. Повторял конспект с 29 дня по 32.

Гит. Книга "Pro Git". 107 / 557 стр.

Конспект:
- удалённые ссылки - это ссылки на ветки, теги и т.д. на удаленном репозитории, их нельзя двигать локально;
-! имена веток слежения имеют вид remote/branchname (например, origin/master);
-! git fetch remote - синхронизация между удаленным сервером и локальным репозиторием;
-! синхронизовать ветки на удаленном сервере через git origin remote branchname;
-! git fetch remote & git merge remote/branchname (по удаленному указателю на ветку);
- git checkout -b branchname remote/branchname (создать отдельную ветку branchname и начать с remote/branchname);
-! находясь на сетке слежения можно выполнить git pull;
-! начать следить за локальной веткой на сервере, находясь на текущей ветке: -git checkout --track remote/branchname;
-! ветка слежения создается автоматически, если ее нет в локальном репо и есть на сервере, командой git checkout branchname;
-! либо если ветка существует, можно задать upstream: git branch -u remote/branchname;
-! git merge @{u} вместо git merge origin/master;
- git branch -vv для дополнительной информации по отслеживаемым веткам (ahead/behind).

Вим. Повторял конспект с 33 дня по 35.

Гит. Книга "Pro Git". 115 / 557 стр.

Конспект:
- помимо merge есть rebase - он применяет изменения поверх (команду rebase по отношению к той ветке, поверх которой применять - git rebase master);
-! при перебазировании в коммитах сохраняется только дельта относительно общего родительского коммита;
- перебазирование переместит коммисты из ветки вперед, которые можно уже влить в master (git checkout master & git merge newrebasedcommit);
- перебазирование делает историю коммитов чище (линейной);
-! вспомнить - git rebase --onto master server client;
- git rebase beforebranch afterbranch;
-! не перемещать коммиты уже отправленные на удаленный репозиторий (не выполнять rebase);
- после фетча с сервера и подтягивания результата операции ребейза, локальные ветки у получателя не удаляются, которые были до ребейза, от этого путаница.

Запутанная тема с ребейзами.

Вим. Повторял конспект с 36 дня по 39.

Гит. Разбор статьи https://habr.com/ru/articles/161009/ и книга "Pro Git". 118 / 557 стр.

Конспект:
- git pull --reabse (git fetch & git rebase oririn/master);
-! ещё раз: важно применять reabase только для локальных коммитов, которые никто еще не получил иначе коллеги должны вызывать git pull --rebase для полной копии состояния репозитория;
-! при reabase выполняется слияние изменений дельты каждого комита и родительского общего коммита с веткой преобразования по отношению этой ветки;
-! на каждоой итерации слияния может возникнуть конфликт: т.е на каждом коммите с дельтой;
- git rebase --abort - откатить ребейз при конфликте;
- после ребейза у коммита появляется два автора: автор коммита и автор коммита-ребейза;
-! merge коммиты запутывают историю, делая её нечитаемой;
-! при пуш лучше указывать айди ветки явно git push origin master, чтобы всё не передать.

Вим. https://github.com/iggredible/Learn-Vim Chapter 8.

Конспект:
- регистры в Виме со знака ";
- удалене (d), янк (y) и т.д добавляют запись в базовый регистр ("0);
- вставлять текст с регистра p/P (10p);
-! вставить текст из регистра a - "ap;
-! регистры бывают разные: пронумерованные ("0-9), именованные ("a-z), ридонли (".), выделения ("*), поисковые ("/) и т.д.

Эту главу на завтра.