Полиморфизма на примере TypeScript

    // мономорфная функция
    function foo(a: string) {
        // пример обычной мономорфной функции
    }
 
    // полиморфная функция
    // полиморфизм подтипов
    function bar(a: string|number) {
        // функция принимает параметр a, который может быть строкой или числом
        // то есть тип a: string|number это супертип для a: string и a: number
    }
 
    // полиморфная функция
    // параметрический полиморфизм
    function baz<A>(a: A) {
        // функция принимает параметр любого типа и можно сделать вывод, что это
        // параметрический полиморфизм. Но параметрический полиморфизм должен работать
        // одинаково для аргументов любого типа. В данном случае это не является возможным
        // Если сделать a.toUpperCase() для строки и для числа результаты будут отличаться
        // от возвращенной строки до выброса исключения.
    }
 
    function baz<A>(a: A[]) {
        // таже история, но тут результат работы будет одинаков для параметра любого типа
        return a.map((item) => console.log(item));
    }
 
    // ad-hoc полиморфизм перегрузка функции
    function fn(a: number, b: number): string;
    function fn(a: string|number, b?: number): string {
        return '';
    }
 
    // ad-hoc полиморфизм привидение типов
    function any(a: any) {
        switch (typeof a) {
            case 'string': return  a.toUpperCase();
            case 'number': return  a ** a;
        }
    }
 
    // полиморфизм подтипов с использованием наследования
    class Person {
        constructor(protected readonly name: string) {
            this.name = name;
        }
    
        public getName(): string {
            return this.name;
        }
    }
    
    class Guest extends Person {
        constructor(protected readonly name: string, protected readonly age: number) {
            super(name);
            this.age = age;
        }
    
        getName(): string {
            return super.getName() + ' ' + this.age;
        }
    }
 
    // полиморфизм подтипов без использования наследования
    interface IUser {
        getInfo(): string;
    }
    
    class User implements IUser {
        constructor(protected readonly name: string) {
            this.name = name;
        }
    
        getInfo(): string {
            return this.name;
        }
    }
    
    class Admin implements IUser {
        constructor(protected readonly name: string) {
            this.name = name;
        }
    
        getInfo(): string {
            return this.name;
        }
    }