// tsconfig.json file
{
    // ...,
    "compilerOptions": {
        // a set of cool rules
        "noImplicitAny": true,
        "noImplicitThis": true,
        "strictNullChecks": true,
        "strictPropertyInitialization": true,
        "strictBindCallApply": true,
        "strictFunctionTypes": true,
        // a shortcut enabling 6 rules above
        "strict": true,
        // ...
    }
}

// before
export interface Thing {
    data: string;
}
// after
export interface Thing {
    readonly data: string;
}

// Before
export type UnsafeType = { prop: number };
// After
export type SafeType = Readonly<{ prop: number }>;

// Before
class UnsafeComponent {
    loaderShow$ = new BehaviorSubject<boolean>(true);
}
// After
class SafeComponent {
    readonly loaderShow$ = new BehaviorSubject<boolean>(true);
}

// Before
const unsafeArray: Array<number> = [1, 2, 3];
const unsafeArrayOtherWay: number[] = [1, 2, 3];
// After
const safeArray: ReadonlyArray<number> = [1, 2, 3];
const safeArrayOtherWay: readonly number[] = [1, 2, 3];
// three levels
const unsafeArray: number[] = [1, 2, 3]; // bad
const safeArray: readonly number[] = [1, 2, 3]; // good
const verySafeTuple: [number, number, number] = [1, 2, 3]; // awesome
// Map:
// Before
const unsafeMap: Map<string, number> = new Map<string, number>();
// After
const safeMap: ReadonlyMap<string, number> = new Map<string, number>();
// Set:
// Before
const unsafeSet: Set<number> = new Set<number>();
// After
const safeSet: ReadonlySet<number> = new Set<number>();

import {Subject} from 'rxjs';
import {filter} from 'rxjs/operators';
interface Data {
  readonly greeting: string;
}
const data$$ = new Subject<Data | null>();
/**
* source$ все еще имеет тип "Observable<Data | null>"
* хотя "null" никогда не пройдет функцию filter
*
* Это произошло, потому что TS не может быть уверен, что тип данных изменился.
* Функция "value => !!value" возвращает boolean, но ничего не говорит о типах
*/
const source$ = data$$.pipe(
  filter(value => !!value)
)
/**
* А вот это хорошо типизированный пример
*
* Эта стрелочная функция отвечает на вопрос, является ли value типом Data.
* Это сужает тип, и теперь "wellTypedSource$" типизирован правильно
*/
const wellTypedSource$ = data$$.pipe(
  filter((value): value is Data => !!value)
)
// Это не скомпилируется, можете проверить :)
// source$.subscribe(x => console.log(x.greeting));
wellTypedSource$.subscribe(x => console.log(x.greeting));
data$$.next({ greeting: 'Hi!' });

// typeof narrowing
function getCheckboxState(value: boolean | null): string {
   if (typeof value === 'boolean') {
       // value has "boolean" only type
       return value ? 'checked' : 'not checked';
   }
   /**
    * В этой области видимости value имеет тип “null”
    */
   return 'indeterminate';
}
// instanceof narrowing
abstract class AbstractButton {
   click(): void { }
}
class Button extends AbstractButton {
   click(): void { }
}
class IconButton extends AbstractButton {
   icon = 'src/icon';
   click(): void { }
}
function getButtonIcon(button: AbstractButton): string | null {
   /**
    * После "instanceof" TS знает, что у объекта кнопки есть поле "icon"
    */
   return button instanceof IconButton ? button.icon : null;
}
// is T narrowing
interface User {
   readonly id: string;
   readonly name: string;
}
function isUser(candidate: unknown): candidate is User {
   return (
       typeof candidate === "object" &&
       typeof candidate.id === "string" &&
       typeof candidate.name === "string"
   );
}
const someData = { id: '42', name: 'John' };
if (isUser(someData)) {
   /**
    * Теперь TS знает, что someData имплементирует интерфейс User
    */
   console.log(someData.id, someData.name)
}