Публикации по теме 'type-safety'


Конфигурация приложения Type-Safe Node.js с секретами Docker
Большинство приложений, особенно те, которые имеют дело с внешним миром, нуждаются в некоторой настройке для правильной работы. Поскольку он может работать в разных средах, невозможно предоставить их во время компиляции для обеспечения безопасности типов, но мы можем использовать там библиотеки, такие как typematcher . В этом посте я расскажу, как настроить приложение nodejs безопасным для типов образом и запустить его как службу docker swarm . Приложение и конфигурация В качестве..
Проверка типа во время выполнения TypeScript
Использование системы типов TypeScript и преодоление особенностей JavaScript для надежных проверок во время выполнения вступление Typescript — лучшее, что случилось с Javascript с тех пор, как рухнула Великая пирамида обратного вызова. У нас появились типы, автозаполнение, обнаружение проблем во время компиляции, и мир наконец-то успокоился, пока кто-то не решил использовать instanceof (да, это был я). Видите ли, несмотря на то, что мы получили все вышеупомянутые плюсы, все..
Разумная реакция - Часть 2: GraphQL
Разумная реакция - Часть 2: GraphQL Звуковые, безопасные для типов взаимодействия с GraphQL Я вернулся с более подробной информацией о том, как мы используем ReasonML и GraphQL для быстрого создания типобезопасных конечных точек GraphQL! Я долго искал стек, который мог бы использовать преимущества звука, выразительной печати, но при этом предоставлял бы мне гибкость и функциональную совместимость JavaScript. Наконец-то я нашел это в Reason! Сегодня я собираюсь познакомить вас со..
Выживание в экосистеме TypeScript - Часть 5: Защита типов и дискриминируемые союзы
Выживание в экосистеме TypeScript - Часть 5: Защита типов и дискриминируемые союзы Источник на Github: Демонстрация TypeScript Небольшое примечание, прежде чем мы перейдем к этому: все примеры в этом посте используют TypeScript v2.9.1. Если вы видите другое поведение, проверьте свою версию. Время от времени я буду стараться обновлять примеры с помощью обновлений TypeScript. Вступление Это моя любимая функция TypeScript. Больше всего на свете это особенность, которая больше..
Как написать безопасный код на Python
Как вы, возможно, знаете, python — это язык с динамической типизацией , что это означает? Ну, он выполняет операции проверки типов только во время выполнения . Это означает, что он проверяет тип переменной только при ее выполнении. Оглядываясь назад, Python позволяет изменять тип переменной в течение ее жизни. Безопасность типов помогает предотвратить многие распространенные ошибки программирования, такие как передача значения неправильного типа, облегчает понимание и анализ, а..
Зачем нужны типы?
На самом базовом уровне все компьютерные программы - это просто конфигурации битов. Но биты нельзя использовать сами по себе. Без дополнительной информации невозможно понять, что с ними делать. Как только вы узнаете, что биты представляют собой текстовый документ, ключ шифрования или операционную систему, они полезны. Аналогичным образом, в рамках одной компьютерной программы отдельный компонент имеет тип - дополнительную информацию это говорит о том, для чего это нужно. Вся программа..
Мне нравятся твои очки.
Мне нравятся твои очки. Я использовал TypeScript несколько лет, но больше не использую. Вместо этого я учусь просто писать ES6 JavaScript, используя JSDoc для документирования своих типов. Это просто комментарии, поэтому этап сборки не требуется. Я использую VSCode, который может использовать комментарии типа JSDoc для проверки использования типа в реальном времени, как и в случае с TypeScript, за исключением того, что вы пишете JavaScript. Вы также можете использовать инструмент..