Why Typescript is bad

https://gist.github.com/amcdnl/b52e9dd11850eeb8de8f
(year 2016)

для тс аттрибут и геттер синонимичны

ну вообще по правде тс не знает о существовании геттеров

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

тут тайпскрипт полагает, что если мы попали внутрь if(x.a) то x.a не может быть null

но если вместо геттера использовать метод, то тс начинает ругаться "возможно null".

т.е. это какой-то баг в тс с геттерами?

вот хороший с т.з. эвристик тс код, который падает в рантайме

interface A { a(): string };
interface B { b(): string };

function f(x: A | B): string {
if ("a" in x) {
return x.a();
} else {
return x.b();
}
}

const x = { a: 10, b() { return "hello"; } };
const y: B = x;
f(y);

то есть вот пример, когда тс говорит все ок, а все не ок

я на самом деле тут сам с дженериков плевался, раз пошла такая пьянка

допустим у нас есть функция которая принимает класс и возвращает инстанс этого класса
const foo = <S>(arg: S) => S

Эти типы неправильные, потому что когда мы вызовем эту функцию скажем foo(MyClass) => new MyClass() тайпскрипт ее запишет как <S>(arg: S) => typeof S

при этом написать скажем const foo = <S>(arg: S) => InstanceOf<S> по какой то причине не сработает. решением тут будет написать const foo = <S>(arg: { new: (props) => S}) => S

что в приинципе довольно логично, но чудовищно неочевидно, не покрыто тайпскриптовскими доками примерно никак и непонятно почему инстансоф не работает

а флоу первоначальный вариант сразу же отлавливает и всё ок

вот так всё ловит