Вопросы с тегом «type-safety»

108
Стоит ли использовать статическую типизацию?

Я начал программировать в Python в первую очередь там, где нет безопасности типов, затем перешел на C # и Java, где есть. Я обнаружил, что могу работать немного быстрее и с меньшими головными болями в Python, но опять же, мои приложения на C # и Java находятся на гораздо более высоком уровне...

50
C ++ строго типизированный typedef

Я пытался придумать способ объявления строго типизированных typedefs, чтобы поймать определенный класс ошибок на этапе компиляции. Часто бывает, что я буду вводить int для нескольких типов идентификаторов или вектора для положения или скорости: typedef int EntityID; typedef int ModelID; typedef...

47
Каковы преимущества безопасности системы типов?

В JavaScript: Хорошие части Дугласа Крокфорда он упоминает в своей главе о наследовании: Другое преимущество классического наследования заключается в том, что оно включает в себя спецификацию системы типов. Это в основном освобождает программиста от необходимости писать явные операции приведения,...

30
Почему тип XML безопасен?

Почему они говорят, что XML обеспечивает безопасность типов и как это выражается в самом XML? Чем он отличается от JSON (например), который (как я понимаю) не является безопасным...

20
Можно ли «запечь измерение в тип» в haskell?

Предположим, я хочу написать библиотеку, которая работает с векторами и матрицами. Можно ли объединить измерения в типы, чтобы операции несовместимых измерений вызывали ошибку во время компиляции? Например, я хотел бы, чтобы подпись точечного продукта была чем-то вроде dotprod :: Num a, VecDim d...

17
Имеет ли смысл использовать объекты (вместо примитивных типов) для всего в C ++?

Во время недавнего проекта, над которым я работал, мне пришлось использовать множество функций, которые выглядят примерно так: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll,...

14
Является ли Google Go безопасным для языка?

эта страница http://golang.org/doc/go_faq.html пишет: хотя в Go есть статические типы, язык пытается заставить типы чувствовать себя легче, чем в типичных ОО-языках. Так что мой вопрос в том, является ли он безопасно набранными с помощью обобщений (например, C #) или свободно набранными (например,...

13
Использование статической проверки типов для защиты от бизнес-ошибок

Я большой поклонник статической проверки типов. Это мешает вам делать глупые ошибки, подобные этой: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Но это не мешает вам делать глупые ошибки, подобные этой: Adult a = new...

10
Почему компилятор Scala не может выдавать предупреждение о сопоставлении с образцом для незапечатанных классов / признаков?

Интересно, если я использую Un Seal traitили abstract classScala, а затем использую сопоставление с образцом, не знает ли компилятор во время компиляции для этого конкретного образца, какие возможные реализации этой черты / класса доступны? Так что, если это так, может ли он не выдавать...

9
Изменение сигнатуры метода для реализации классов в PHP

Есть ли достойный обходной путь к отсутствию в Generics PHP, позволяющего статический контроль кода для выявления согласованности типов? У меня есть абстрактный класс, который я хочу разделить на подклассы, а также обеспечить, чтобы один из методов изменился с получения параметра одного типа на...