Zacząłem pisać w Pythonie przede wszystkim tam, gdzie nie ma bezpieczeństwa typu, potem przeniosłem się do C # i Java, gdzie jest. Przekonałem się, że mogę pracować trochę szybciej i mniej problemów z Pythonem, ale z drugiej strony moje aplikacje C # i Java są na znacznie wyższym poziomie...
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...
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ą...
Stało się to podczas dyskusji z przyjacielem i ciężko mi było wymyślić jakieś dobre argumenty. Jakie korzyści przynoszą słabe
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
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...
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,...
ta strona http://golang.org/doc/go_faq.html pisze: chociaż Go ma typy statyczne, język próbuje sprawić, że typy będą lżejsze niż w typowych językach OO Więc moje pytanie brzmi: czy jest bezpiecznie wpisane za pomocą generycznych (jak C #), czy luźno (jak javascript), czy opcjonalnie (jak opcja...
Jestem wielkim fanem sprawdzania typu statycznego. Zapobiega popełnianiu takich głupich błędów: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Ale to nie przeszkadza ci popełniać tak głupich błędów: Adult a = new...
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ć...
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...