Публикации по теме 'type-safety'
Типобезопасный React + Redux: устранение «любого» типа
В этой статье я разберу очень простое одностраничное приложение React + Redux, написанное на Typescript с использованием параметра strict компилятора. Имея эту отправную точку и немного дисциплины в программировании, мы можем написать программу, которая:
1. Не имеет переменной типа any.
2. Не имеет возможности ошибки во время выполнения.
3. Демонстрирует дизайн программы, которая может масштабироваться до произвольного размера.
Если вы хотите перейти к изюминке, файл index.tsx..
Да, это единственное ограничение импорта типа JSDoc, вы должны импортировать каждый за раз.
Да, это единственное ограничение импорта типа JSDoc, вы должны импортировать каждый за раз. В настоящее время нет импорта всех типов из файла. Это скорее результат того, как команды VSCode и TypeScript решили обрабатывать импорт типов для JSDoc.
Выживание в экосистеме TypeScript - Часть 7: Перегрузки функций
Выживание в экосистеме TypeScript - Часть 7: Перегрузки функций
Источник на Github: Демонстрация TypeScript
Небольшое примечание, прежде чем мы перейдем к этому: все примеры в этом посте используют TypeScript v2.9.1. Если вы видите другое поведение, проверьте свою версию. Время от времени я буду стараться обновлять примеры с помощью обновлений TypeScript.
Вступление
Перегруженные функции существуют на многих языках, но не в JavaScript (ну… не так, как надо). Перегруженная..
Безопасность типа. Это?
Я в разгаре горячей отладки, и вот мой фрагмент:
let calc = move |i| {
println!("pixel #{}", i);
let row = i / pixel_x - zero_y;
println!("Pixel row: {}, data: {}/{}-{}", row, i, pixel_x, zero_y);
}
Результат:
pixel #0
Pixel row: 18446744073709551613, data: 0/6-3
Я вижу здесь переполнение. Почему Rust не предупредил меня? i — целое число (результат «перечисления» в итераторе), остальное — usize . Почему можно делать такую гадость без ошибок и..
Сделать незаконные государства непредставимыми: Kotlin Data Class Edition
Поскольку закон Мерфи - это метод разработки программного обеспечения
Закон Мерфи и разработка программного обеспечения
Закон Мерфи обычно цитируется так: «Все, что может пойти не так, обязательно пойдет». Педанты среди нас будут знать, что на самом деле это не закон Мерфи. Это закон Финагла. Или закон Сода. Фактический закон Мерфи лучше сформулировать так: «Если есть два или более способов сделать что-то, и один из них может привести к катастрофе, то кто-то так и поступит»...
Вы МОЖЕТЕ съесть свой пирог и съесть его — Type-Safe коллекция элементов любого типа в Kotlin.
Прежде чем вы начнете читать, позвольте мне сделать здесь одно замечание. Очевидно, этого можно добиться и на Java (или другом языке со статической типизацией), но, поскольку мой пример взят из библиотеки Android , выбор Kotlin был наиболее подходящим вариантом.
Безопасность типа
Я уверен, что у большинства из вас есть ненулевой опыт работы с JavaScript или Python. Это потому, что они отлично подходят для интеллектуальных небольших инструментов и прототипирования. Но это имеет..
Расширенные шаблоны машинописного текста
Что ж, технически я не буду показывать вам «шаблоны», но я покажу вам некоторые вещи продвинутого уровня шрифта вместе с объяснениями, и, надеюсь, вы сами увидите шаблоны.
Вот несколько интересных вещей, которые я обнаружил в Typescript, которые позволяют мне статически проверять довольно аккуратные инварианты и сокращать шаблон объявления типа / интерфейса с помощью вывода типов.
Обеспечение того, чтобы значение прошло через функцию
Рассмотрим этот сценарий. Клиент отправляет вам..
