Comments / Profile of ilyapirogov / Habr

Ilya Pirogov @ilyapirogov

Developer

ProfileArticlesPostsNewsComments359

Чем меня разочаровал Typescript и стоит ли он того?

ilyapirogov Feb 4 2020 at 17:18

Преимущества в том, что в этом случае инструмент эффективно решает свою задачу.

Если под эффективность понимать написание меньшего количества символов, то да. Тогда JS еще эффективнее.

Утверждение подтверждено практикой. Флоу, который два года назад...

Причем здесь вообще Flow? Он вообще другим путем шел, и как раз таки в Flow всегда значительно слабее была гибкость и безопасность типов. Вполне вероятно что именно по этому он и не набрал популярности.

Зато Kotlin, где null-safety на отличном уровне и работает именно так, как хотели бы видеть разработчики из того тикета, живет и процветает.

"все, за исключением некоторой с практической точки зрения несущественной доли".

Это ваши догадки. Даже статистика голосов на github (231 за и 2 против) говорит об обратном.

Так они и должны быть все number | undefined. Это же именно то, чего требуется от "корректного типа для мапы".

Нет, не должны быть. Объясню на примере:

const arr1: { [key: number]: string } = {};
arr1[42] = undefined; // Ошибка, TS не даст это сделать
arr1.map(x => x.toLowerCase()); // Соответственно тут все хорошо, т.к. x - это string

const arr2: { [key: number]: string | undefined } = {};
arr1[42] = undefined; //  Нет ошибки
arr1.map(x => x.toLowerCase()); // А тут уже придется страдать, потому что x - это string | undefined

а шо, таки в котлине такой проблемы нет? есть же

Именно, что в Kotlin этой проблемы нету. Вот пример приведенного кода выше на Kotlin:

fun main() {
    // Альтернатива на TS: const arr1: { [key: number]: string } = {};
    val arr1 = mutableMapOf<Int, String>() 
    arr1[43] = null; // Ошибка. String не nullable
    arr1.values.forEach {
        // Котлин гарантирует, что it не null. По этому ошибки нету
        println(it.toUpperCase())
    }

    // Альтернатива на TS: const arr1: { [key: number]: string | undefined } = {};
    val arr2 = mutableMapOf<Int, String?>()
    arr2[43] = null; // OK
    arr2.values.forEach {
        // Only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type Foo?
        println(it.toUpperCase())
    }
}