История изменений
Исправление Nervous, (текущая версия) :
выше показал пример
То есть ты хочешь этакие type guards, как в тупоскрипте, основанные на анализе путей выполнения и позволяющие вывести тип, который должно иметь значение, прошедшее или не прошедшее ту или иную проверку (например, сравнение с другим значением). Скажем, сравнили x с null — в одной ветке ифа его тип гарантированно будет null (будет включать одно возможное значение), в другой ветке — тип, из которого удалён null как возможное значение.
И ты думаешь, что у тебя получится таким образом выводить состояние мьютекса. Ну-ну. Что за недоязычок-то хоть?
Исправление Nervous, :
выше показал пример
То есть ты хочешь этакие type guards, как в тупоскрипте, основанные на анализе путей выполнения и позволяющие вывести тип, который должно иметь значение, прошедшее или не прошедшее ту или иную проверку (например, сравнение с другим значением). Скажем, сравнили x с null — в одной ветке ифа его тип гарантированно будет null (будет включать одно возможное значение), в другой ветке — тип, из которого удалён null как возможное значение.
Ну-ну. Что за недоязычок-то хоть?
Исправление Nervous, :
выше показал пример
То есть ты хочешь этакие type guards, как в тупоскрипте, основанные на анализе путей выполнения и позволяющие вывести тип, который должно иметь значение, прошедшее или не прошедшее ту или иную проверку (например, сравнение с другим значением). Скажем, сравнили с null — в одной ветке ифа гарантированно будет null, в другой ветке тип, из которого удалён null как возможное значение.
Ну-ну. Что за недоязычок-то хоть?
Исправление Nervous, :
выше показал пример
То есть ты хочешь этакие type guards, как в тупоскрипте, основанные на анализе путей выполнения и позволяющие вывести тип, который должно иметь значение, прошедшее или не прошедшее ту или иную проверку (например, сравнение с другим значением). Ну-ну. Что за недоязычок-то хоть?
Исходная версия Nervous, :
выше показал пример
То есть ты хочешь этакие type guards, как в тупоскрипте, основанные на анализе путей выполнения и позволяющие вывести тип значения, которое должно иметь значение, прошедшее или не прошедшее ту или иную проверку (например, сравнение с другим значением). Ну-ну. Что за недоязычок-то хоть?