Публикации по теме 'static-typing'
Почему Python в конечном итоге умрет.
Последние 20 лет были очень хорошими для Python. Он прошел путь от «просто языка сценариев» до основного языка, используемого для написания серверной части большинства веб-приложений, и на сегодняшний день самого популярного языка на GitHub.
Но последние 3 года уже начали обращать вспять эту восходящую тенденцию, и, как пожизненный Pythoneer, причина очевидна — статическая типизация — или, точнее, наследие динамической типизации .
Динамическая типизация помогает новым..
Понимание основных типов в TypeScript: улучшение JavaScript с помощью статической типизации
TypeScript – это надмножество JavaScript, добавляющее в язык необязательную статическую типизацию. Он предлагает функции, недоступные в JavaScript, включая аннотации типов, интерфейсы и классы. В этой статье будут рассмотрены основные типы, доступные в TypeScript, и их отличия от JavaScript.
логический
Статическая типизация VS динамическая типизация: объяснение разницы
Вы, наверное, слышали термины «статическая типизация» и «динамическая типизация» в обсуждениях языков программирования. Но что они означают и почему это важно знать?
Чтобы понять разницу между статической и динамической типизацией, давайте сначала поговорим о проверке типов. Проверка типов — это процесс, используемый компиляторами или интерпретаторами, чтобы гарантировать, что программа написана с правильным синтаксисом для каждого языка. Статическая проверка типов выявляет любые..
Настройка TypeScript в первый раз/включение ошибок
Если вы нашли эту статью, значит, вы, вероятно, имеете промежуточное представление о JavaScript и сейчас делаете первые шаги в изучении TypeScript от Microsoft. Если у вас больше опыта работы с TS, я надеюсь, что это может быть для вас быстрым обновлением!
Руководство
Что такое TypeScript и зачем его использовать? Настройка TypeScript. Примеры Статическая типизация и ошибки в TypeScript.
Что такое Typescript и зачем мне его использовать?
TypeScript 101: Отвечая на ваш..
Зачем использовать динамический язык вместо статически типизированного?
Динамические и статически типизированные языки существовали бок о бок с тех пор, как существовали языки программирования. Оба они существуют, потому что имеют разные преимущества и недостатки. Все это время враждовали сторонники динамических и статических языков. Эта дискуссия не нова.
Однако я буду утверждать, что динамические языки, как правило, чаще искажаются. Среди поклонников статической типизации часто подразумевается, что поклонники динамической типизации игнорируют преимущества..
Об инструментах и статической печати
Я поддерживаю гипотезу о том, что для любого нетривиального программного проекта выполняется следующее. В течение всего срока службы программного обеспечения время и усилия, необходимые для навигации, понимания и отладки существующего кода и программной системы в целом, в значительной степени перевешивают время и усилия, необходимые для его написания. Иными словами, время и усилия по внесению изменения часто зависят от понимания его контекста, а не от фактического изменения самого кода...
Вопросы по теме 'static-typing'
Может ли кто-нибудь сказать мне, что означает сильная и слабая типизация и какой из них лучше?
Может ли кто-нибудь сказать мне, что означает сильная и слабая типизация и какой из них лучше?
45321 просмотров
schedule
13.07.2023
Статическая / строгая типизация и рефакторинг
Мне кажется, что самое ценное в статическом / строго типизированном языке программирования - это то, что он помогает рефакторингу: если / когда вы измените какой-либо API, компилятор скажет вам, что это изменение нарушило.
Я могу представить себе...
1344 просмотров
schedule
15.01.2023
Python 3 и статическая типизация
На самом деле я не уделял так много внимания разработке Python 3, как мне бы хотелось, и только заметил некоторые интересные новые изменения синтаксиса. В частности, из этой аннотации параметра функции SO answer :
def digits(x:'nonnegative...
31918 просмотров
schedule
20.02.2023
Состояние необязательной статической печати в Python?
Я уже некоторое время играю с Typscript, и должен сказать, что учитывая тот факт, что nodejs быстрее, чем текущая реализация CPython для моих нужд веб-разработки, я был более склонен делать с ним больше вещей.
Фактически, я сделал с ним пару...
2316 просмотров
schedule
21.05.2023
Могут ли зависимые типы абстрагироваться от функций с n аргументами?
В динамически типизированных языках я могу создать функцию, которая принимает функцию в качестве аргумента и возвращает функцию.
Например, функция memoize в Clojure.
(def memoized-fn
(memoize any-function))
В этом примере memoize не...
123 просмотров
schedule
11.09.2022
Каков тип возврата Flow функционального компонента React без сохранения состояния?
Если у меня есть что-то вроде этого
const RandomComponent = (props) => (
<div>
<SomeSubComponent id={props.id} />
<AnotherSubComponent type={props.type} />
</div>
)
как я буду аннотировать возвращаемый...
5047 просмотров
schedule
09.10.2022
Типы союзов не применяются?
Разве это не должно потерпеть неудачу?
class Animal { }
class Person { }
type MyUnion = Number | Person;
var list: Array<MyUnion> = [ "aaa", 2, new Animal() ]; // Shouldn't this fail?
var x: MyUnion = "jjj"; // Shouldn't this fail?...
85 просмотров
schedule
27.04.2023
TypeScript не выводит правильный тип
Для этого произведения:
Promise.resolve('kromid')
.then(all(identity))
.then(([a]) => a.splita);
TypeScript ничего не говорит о a.splita . Я ожидаю, что это не удастся:
Свойство splita не существует для типа string. Вы имели...
539 просмотров
schedule
03.11.2022
Сочетание деструктуризации объекта с потоковой типизацией
Я только что добавил Flow в свой проект Create-React-App и преобразовал часть моего кода расчета в поток -typed, я столкнулся с этой ошибкой с деструктурированным «объектом в качестве параметров»
Оригинальный знак:
calcWeightOnConveyor({...
1185 просмотров
schedule
27.08.2022
Python mypy не может определить тип из возвращаемых типов объединения
Вот пример кода
from typing import Dict, Union, Tuple
def select_range(data: Dict[str, Union[str, int]]) -> Tuple[int, int]:
if data['start'] and data['end']:
return data['start'], data['end']
return 1, 1
select_range({})...
2385 просмотров
schedule
08.09.2023
Как указать список дженериков неизвестного/произвольного размера
Примечание . Я начал дискуссию на Github по этому вопросу. .
У меня есть функция zip , пока она типизирована для итераций того же типа T . Я хотел бы, чтобы это было напечатано для произвольного смешанного типа ввода, но при этом сохраняло...
55 просмотров
schedule
24.07.2023
Уменьшение вложенной схемы с помощью статической типизации TypeScript
В последнее время я застрял на сложной задаче, это почти вызов. И чтобы решить эту проблему, вам нужно только уменьшить исходные данные с помощью статической типизации (TypeScript).
Вход
{
schemaName: 'foo',
def: Foo,
struct: {
field1:...
39 просмотров
schedule
10.09.2022
Массивы numpy для проверки типов Python включают их dtype
Я могу проверить, что моя функция получает входные данные правильного типа, используя:
def foo(x: np.ndarray, y: float):
return x * y
Убедитесь, что если я попытаюсь использовать эту функцию с x , который не является np.ndarray , я получу...
89 просмотров
schedule
30.01.2023