Pytania oznaczone «static-typing»

19
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...

15
(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...