Pytania otagowane jako static-typing

6
Stopniowe pisanie: „Niemal każdy język ze statycznym systemem typów ma również system dynamicznych typów”
Twierdzenie to przez Aleks Bromfield stwierdza: Prawie każdy język ze statycznym systemem typów ma również dynamiczny system typów. Oprócz C nie mogę wymyślić wyjątku Czy jest to uzasadnione roszczenie? Rozumiem, że dzięki klasom refleksyjnym lub ładującym w środowisku uruchomieniowym Java jest trochę podobna - ale czy ten pomysł „stopniowego pisania” …
3
Czy są jakieś badania empiryczne dotyczące wpływu różnych języków na jakość oprogramowania?
Zwolennicy funkcjonalnych języków programowania twierdzą, że programowanie funkcjonalne ułatwia rozumowanie kodu. Zwolennicy języków typowanych statycznie twierdzą, że ich kompilatory wychwytują wystarczającą liczbę błędów, aby zrekompensować dodatkową złożoność systemów typów. Ale wszystko, co czytam na te tematy, opiera się na racjonalnych argumentach, a nie na danych empirycznych. Czy są jakieś badania …
3
Czy istnieją alternatywy dla typów dla analizy statycznej?
Pisanie statyczne w języku programowania może być pomocne w egzekwowaniu pewnych gwarancji w czasie kompilacji - ale czy typy są jedynym narzędziem do tego zadania? Czy istnieją inne sposoby określania niezmienników? Na przykład język lub środowisko może pomóc w egzekwowaniu gwarancji dotyczącej długości tablicy lub relacji między danymi wejściowymi do …
2
(Dis-) zalety typowania strukturalnego
Właśnie obejrzałem tę rozmowę Daniela Spiewaka, w której mówi on o zaletach pisania strukturalnego w porównaniu do nominalnego pisania Scali i Java . Przykładem tej różnicy może być następujący kod Java public interface Foo { public int length(); } public interface Bar { public int length(); } Foo f = …
2
Czy typ opcjonalny / może jest przydatny w dynamicznych językach?
Optionaljest użyteczny w oczywisty sposób w języku o typie statycznym, ale zastanawiam się, czy jest również przydatny w językach dynamicznych. Zwykle nie ma kompilatora mówiącego „hej, użyłeś tego Optional<String>jako String”, więc nadal musisz odkrywać swoje błędy w czasie wykonywania. Mam statyczne tło do pisania i z mojej perspektywy nie widzę …
5
Czy dynamiczne języki mają niekorzystny wpływ na sprawny rozwój?
Z tego, co przeczytałem, zwinne programowanie często wymaga refaktoryzacji lub inżynierii wstecznej kodu do diagramów. Oczywiście jest o wiele więcej, ale jeśli weźmiemy pod uwagę praktyki oparte na tych dwóch metodach, czy dynamiczne pisanie języków jest niekorzystne? Wydaje się, że języki o statycznym typie znacznie ułatwiłyby refaktoryzację i inżynierię wsteczną. …
6
W jaki sposób pisanie statyczne jest naprawdę pomocne w większych projektach?
Podczas ciekawości na głównej stronie witryny języka programowania skryptowego napotkałem ten fragment: Kiedy system staje się zbyt duży, aby utrzymać go w głowie, możesz dodać typy statyczne. Dzięki temu pamiętam, że w wielu wojnach religijnych między statycznymi, skompilowanymi językami (jak Java) a dynamicznymi, interpretowanymi językami (głównie Python, ponieważ jest częściej …
5
Czy statyczne i dynamicznie pisane języki mogą być postrzegane jako różne narzędzia dla różnych rodzajów zadań?
Tak, zadawano podobne pytania, ale zawsze w celu ustalenia „które z nich jest lepsze”. Pytam, ponieważ pojawiłem się jako programista przede wszystkim w JavaScript i tak naprawdę nie mam dużego doświadczenia w pisaniu w statycznie pisanych językach. Mimo to zdecydowanie widzę wartość w nauce języka C do obsługi wymagających operacji …
13
Czy praktyczna byłaby statycznie wpisana alternatywa dla JavaScript na stronach internetowych?
Preferowanie dynamicznego i statycznego pisania jest w dużej mierze kwestią gustu, a różni ludzie uważają, że są mniej lub bardziej odpowiednie w różnych sytuacjach. Moje pytanie brzmi: czy technicznie możliwe byłoby posiadanie statycznie wpisanej alternatywy dla JavaScript do rozszerzania strony internetowej po stronie klienta itp.?
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.