Grzegorz Gajos

Grzegorz Gajos Founder of Open
Tangerine

Temat: @TypeChecked, powrót do korzeni?

Nie uważacie, że silne typowanie wprowadzone przez adnotacje @TypeChecked (patrz tutaj) to jest powrót do korzeni Javy i jakby zdanie sobie sprawy przez twórców, że stary, poczciwy, upierdliwy kompilator się przydaje. Jeśli miałbym napisać kod, który jest mocno typowany, to chyba lepiej napisać go po prostu w Javie. Jak bardzo się tutaj mylę?Grzegorz Gajos edytował(a) ten post dnia 08.02.13 o godzinie 11:51
Łukasz D.

Łukasz D. Software Developer,
DevOps Fan

Temat: @TypeChecked, powrót do korzeni?

Tak, zbliża to nas do Javy, ale nie zgodzę się, że lepiej napisać go w Javie. Groovy to więcej niż dynamiczne typy. Bardzo wartościowym elementem języka są domknięcia i dynamiczne metody. Tylko dla nich często warto napisać kod w Groovym


(1..100).findAll{it%11==0}.each{i->
println "Podzielniki $i: ${(1..i).findAll{i%it==0}.join(',')}"
}


Kod w Javie byłby duży dłuższy i chyba mniej czytelny.
Grzegorz Gajos

Grzegorz Gajos Founder of Open
Tangerine

Temat: @TypeChecked, powrót do korzeni?

Zgadzam się. W momencie jednak, gdy chcemy użyć adnotacji "@TypeChecked" znaczy to, że potrzebujemy wsparcia kompilatora do sprawdzania typów. Ciężko mi sobie wyobrazić realny przypadek użycia tej adnotacji (co nie znaczy, że takich nie ma). Groovy to świetny język, nie ma co do tego wątpliwości, ale zdarzyło się komuś może użyć już tej adnotacji tak, że była faktycznie potrzebna i ułatwiła życie?
Piotr T.

Piotr T. Spring/Microservices

Temat: @TypeChecked, powrót do korzeni?

Grzegorz Gajos:
Zgadzam się. W momencie jednak, gdy chcemy użyć adnotacji "@TypeChecked" znaczy to, że potrzebujemy wsparcia kompilatora do sprawdzania typów. Ciężko mi sobie wyobrazić realny przypadek użycia tej adnotacji (co nie znaczy, że takich nie ma).
Potrzebujesz pewności co do typówi nie chce ci się pisać unit testów do tego

luźny przykład (Ruby):
http://blog.zabiello.com/2010/01/23/scala-duck-typing



Wyślij zaproszenie do