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

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

108 data-types  dynamic-typing  static-typing  type-safety 

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

50 c++  c++11  type-safety 

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

47 type-systems  type-safety 

Это возникло в дискуссии с другом, и я оказался в затруднении, чтобы придумать какие-либо хорошие аргументы. Какие преимущества дает слабая типизация?

40 type-systems  type-safety  weak-typing 

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

30 xml  type-safety 

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

20 haskell  type-systems  type-safety 

Во время недавнего проекта, над которым я работал, мне пришлось использовать множество функций, которые выглядят примерно так: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & Target_Latitude, …

17 c++  type-systems  data-types  type-safety 

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

14 programming-languages  algorithms  google  go  type-safety 

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

13 business-logic  static-typing  type-safety 

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

10 scala  type-safety  trait  pattern-matching 

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

9 inheritance  class  type-safety