Получение неизменяемых значений с помощью generic

Иногда нам хочется в дженерики передавать не просто string, а конкретное значение, например, "hello".

Но это один из случаев, когда вывод типов работает не очень хорошо.

При разработке библиотек мы стараемся сделать вывод типов максимально строгим для улучшения пользовательского опыта.

Чтобы вывод типов был таким, как показано выше.

Для этого можно использовать несколько способов.

Можно использовать `as const` и `readonly`, но

это должен делать пользователь, а не разработчик библиотеки.

Поэтому в TS 5.0 появилось новое ключевое слово, которое позволяет разработчикам библиотек делать это.

С помощью этого ключевого слова обработка упрощается следующим образом.

Это работает с массивами и литеральными типами, но, к сожалению, не работает с функциями-стрелками.

Несмотря на это, это отличная новость для разработчиков библиотек и хорошая новость для пользователей.