Запитання з тегом «type-safety»

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

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

Я намагався придумати спосіб декларування сильно набраних типів, щоб знайти певний клас помилок на етапі компіляції. Часто буває так, що я набираю int на кілька типів ідентифікаторів, або вектор для позиціонування або швидкості: typedef int EntityID; typedef int ModelID; typedef Vector3 Position; typedef Vector3 Velocity; Це може зробити намір коду …

49 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 d …

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, double …

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

ця сторінка http://golang.org/doc/go_faq.html пише: Хоча Go має статичні типи, мова намагається змусити типи відчувати себе меншою вагою, ніж у типових мовах OO Тож моє запитання саме в тому, чи безпечно він набраний із дженериками (як-от 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 mixed up …

13 business-logic  static-typing  type-safety 

Якщо я використовую ип запечатаний traitабо abstract classв Scala , а потім використовувати пошук по шаблоном, цікаво, це компілятор не знає під час компіляції для цієї конкретної patternmatch , які можливих реалізацій цієї ознаки / класу доступні? Отже, якщо це так, чи не може він подавати попередження відповідності шаблону, навіть …

10 scala  type-safety  trait  pattern-matching 

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

9 inheritance  class  type-safety