Pytania otagowane jako type-safety

3
C ++ silnie typedef typedef
Próbowałem wymyślić sposób na zadeklarowanie silnie typowanych typów maszynopisów, aby złapać pewną klasę błędów na etapie kompilacji. Często zdarza się, że wpisuję int w kilku typach id lub wektorze do pozycji lub prędkości: typedef int EntityID; typedef int ModelID; typedef Vector3 Position; typedef Vector3 Velocity; Może to uczynić cel kodu …
49 c++  c++11  type-safety 
8
Jakie są zalety bezpieczeństwa systemu typu?
W JavaScript: Dobre części Douglasa Crockforda wspomina w swoim rozdziale dotyczącym dziedziczenia: Inną zaletą klasycznego dziedziczenia jest to, że obejmuje specyfikację systemu typów. To głównie uwalnia programistę od konieczności pisania jawnych operacji rzutowania, co jest bardzo dobrą rzeczą, ponieważ podczas rzutowania tracone są zalety bezpieczeństwa systemu typów. Przede wszystkim, czym …
3
Dlaczego typ XML jest bezpieczny?
Dlaczego mówią, że XML zapewnia bezpieczeństwo typu i jak jest wyrażony w samym XML? Czym różni się od JSON (na przykład), który (jak rozumiem) nie jest bezpieczny dla typu?
30 xml  type-safety 
2
Czy w haskell można „upiec wymiar w typ”?
Załóżmy, że chcę napisać bibliotekę, która zajmuje się wektorami i macierzami. Czy można upiec wymiary na typy, aby operacje niezgodnych wymiarów generowały błąd w czasie kompilacji? Na przykład chciałbym, aby podpis produktu kropkowego był podobny dotprod :: Num a, VecDim d => Vector a d -> Vector a d -> …
5
Czy sensowne byłoby używanie obiektów (zamiast typów pierwotnych) do wszystkiego w C ++?
Podczas ostatniego projektu, nad którym pracowałem, musiałem użyć wielu funkcji, które wyglądają tak: 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 & Target_Longitude, double …
2
Dlaczego kompilator Scala nie może wyświetlać ostrzeżenia o dopasowaniu wzorca dla niezamkniętych klas / cech?
Jeśli używam un uszczelniony traitlub abstract classw Scala, a następnie użyć dopasowywania wzorców, zastanawiam się, czy kompilator nie wiedzieć w czasie kompilacji dla tego konkretnego patternmatch co możliwe implementacje tej cechy / klasy są dostępne? Więc jeśli tak, to czy nie może dać ostrzeżeń o dopasowaniu wzorca, nawet jeśli trait/ …
1
Zmiana sygnatury metody implementacji klas w PHP
Czy istnieje jakieś przyzwoite rozwiązanie problemu braku generycznych wersji PHP, które umożliwiają statyczną kontrolę kodu w celu wykrycia spójności typu? Mam klasę abstrakcyjną, którą chcę podklasować, a także wymuszam zmianę jednej z metod z przyjmowania parametru jednego typu na przyjmowanie parametru, który jest podklasą tego parametru. abstract class AbstractProcessor { …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.