Почему методы со стрелками не разрешены в Typescript?

Потому что в Javascript (и, следовательно, в Typescript) стрелочные функции не имеют контекста this, и это не имеет смысла для методов класса.

add2 транспилируется в

class Point {
    constructor(...a) {
        this.add2 = (p: Point) => new Point(this.x + p.x, this.y + p.y);
    }
}

поэтому он работает как закрытие с привязкой к экземпляру, а не как метод

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

У TypeScript есть набор целей дизайна для языка. Одной из перечисленных целей является согласование с текущими и будущими предложениями ECMAScript, а одной из перечисленных нецелевых целей является предоставление дополнительных функциональных возможностей во время выполнения.

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

add3(p: Point) => new Point(this.x + p.x, this.y + p.y);

нужно будет транспилировать либо

add3 = (p) => new Point(this.x + p.x, this.y + p.y);

или, может быть

add3(p) { return new Point(this.x + p.x, this.y + p.y); }

поэтому компилятор не мог просто стереть что-то, чтобы получить желаемый результат JavaScript.

И методы со стрелками не предназначены для внедрения в JavaScript. Поэтому по этим причинам предложение добавить это в TypeScript будет отклонено, как вы видели в microsoft/TypeScript#18500.

Однако, как вы заметили, такие указания не всегда так строго соблюдались. Например, перечисления — это функция только для TypeScript с эффектами времени выполнения. А еще есть свойства параметров.

Но за прошедшие годы было несколько случаев, когда функция среды выполнения только для TypeScript конфликтовала с аналогичной функцией, представленной позже в JavaScript. Объявления полей класса были добавлены сначала в TypeScript, а затем в JavaScript, и JavaScript реализовал другую семантику. Итак, теперь TypeScript пришлось реализовать параметр компилятора --useDefineForClassFields, чтобы разрешить переключение между поведением TypeScript и ожидаемым поведением JavaScript, и поэтому они должны поддерживать оба, что делает язык более сложным, чем нужно.

Точно так же TypeScript представил декораторы до того, как они стали достаточно зрелыми, чтобы понять, что JavaScript собирается с ними делать, и опять же, теперь у нас есть устаревшая реализация декоратора, расположенная рядом с новой реализацией декоратора, и вам нужно использовать компилятор. флаг для переключения между ними.

Это большая головная боль для языка.

Если JavaScript когда-либо представит перечисления или свойства параметров, или функции, достаточно похожие синтаксически, чтобы вызвать конфликт, мы можем ожидать больше головной боли. Команда TypeScript сейчас довольно неохотно соглашается на такие головные боли без очень веской причины. Как правило, они хотят реализовывать функции времени выполнения только в том случае, если эти функции являются будущими функциями JavaScript, семантика которых достаточно стабильна, чтобы быть достаточно уверенными в том, что время и усилия не будут потрачены впустую. Таким образом, предлагаемая функция JavaScript обычно должна достичь этапа 3 процесса TC39, прежде чем TypeScript начнет ее поддерживать.

Каким бы хорошим ни было предложение, если JavaScript может либо реализовать его, либо помешать ему, TypeScript почти наверняка отклонит его.

Итак: если методы со стрелками — хорошая идея для TypeScript, они также будут хорошей идеей для JavaScript (за исключением аннотаций типов, поэтому во время выполнения это будет выглядеть как add3(p) => new Point(this.x + p.x, this.y + p.y)). И поэтому заинтересованным и заинтересованным сторонам следует рассмотреть возможность внесения такого предложения в TC39. Если он будет принят, TypeScript обязательно его поддержит.