{"id":10177,"date":"2021-02-23T11:05:47","date_gmt":"2021-02-23T10:05:47","guid":{"rendered":"https:\/\/vived.io\/jvm-tuesday-vol-26\/"},"modified":"2022-09-19T13:10:56","modified_gmt":"2022-09-19T11:10:56","slug":"jvm-tuesday-vol-26","status":"publish","type":"post","link":"https:\/\/vived.io\/pl\/jvm-tuesday-vol-26\/","title":{"rendered":"JVM Tuesday vol. 26"},"content":{"rendered":"

1. JEP draft: Pattern Matching for switch<\/a> \u2615\ufe0f<\/h2>\n

Klasycznie ju\u017c zaczynamy od nowego JEPa (co staje si\u0119 nasz\u0105 ma\u0142\u0105 tradycj\u0105). Tym razem jest to co\u015b, na co wszyscy u\u017cytkownicy Javy czekali bardzo d\u0142ugo\u2026 przynajmniej od Javy 8 (kt\u00f3ra, jak sprawdzi\u0142em swoj\u0105 premier\u0119 mia\u0142a 7 lat temu).<\/p>\n

Czas wspomnie\u0144 starego pryka. JDK 8 by\u0142o ostatnim \u201ctakim\u201d wydaniem. O ile daleki jestem od twierdzenia, \u017ce kolejne edycje nie wnosi\u0142y niczego nowego do j\u0119zyka (gwoli sprawiedliwo\u015bci, Java 9 z punktu widzenia ewolucji j\u0119zyka by\u0142a znacznie istotniejsza), to jednak zmiany z \u00f3semki najmocniej wp\u0142yn\u0119\u0142y na to, jak na co dzie\u0144 piszemy w tym j\u0119zyku. To w\u0142a\u015bnie ona sta\u0142a si\u0119 \u201cgateway drugiem\u201d do programowania funkcyjnego dla wielu ludzi dzi\u0119ki lambdom i strumieniom. Wed\u0142ug wielu by\u0142a te\u017c ostatecznym ciosem dla Scali.<\/p>\n

\"\"
Bardzo podobne wnioski pojawia\u0142y si\u0119 te\u017c przy premierze Kotlina. Flagowy j\u0119zyk Lightbendu nieszczeg\u00f3lnie si\u0119 przej\u0105\u0142.\u00a0<\/figcaption><\/figure>\n

Dobrze pami\u0119tam te do\u015b\u0107 zagorza\u0142e dyskusje i to, w jaki spos\u00f3b zwolennicy Scali bronili swojego j\u0119zyka. Jednym z najcz\u0119\u015bciej wywo\u0142ywanych argument\u00f3w by\u0142 fakt wsparcia Scali dla Pattern Matchingu. Nie da si\u0119 ukry\u0107, \u017ce brak tego fragmentu syntaxu zawsze sprawia\u0142, \u017ce idiomatyczne programowanie funkcyjne w Javie by\u0142o dosy\u0107\u2026 ko\u015blawe, robi\u0105c miejsce dla bibliotek w stylu niszowego (acz w swojej niszy niezwykle popularnego) Vavra.<\/p>\n

W mi\u0119dzyczasie prace trwa\u0142y, Brian Goetz i autor opisywanego proposal<\/a>a, Gavin Bierman prezentowali \u015bmia\u0142e plany<\/a>, a zal\u0105\u017cki nowych mo\u017cliwo\u015bci pojawia\u0142y si\u0119 w kolejnych edycjach JDK. Pierwsz\u0105 jask\u00f3\u0142k\u0105 by\u0142 Pattern Matching for instanceof<\/a> aka JEP 305<\/a>, kt\u00f3ry mia\u0142 swoj\u0105 premier\u0119 wraz z Jav\u0105 14 i zapewnia\u0142 co\u015b, co mo\u017cna okre\u015bli\u0107 jako automatyczne rzutowanie zmiennych:<\/p>\n

if (animal instanceof Cat cat) {\n    cat.meow();\n} else if(animal instanceof Dog dog) {\n    dog.woof();\n}<\/code><\/pre>\n
W dalszym ci\u0105gu jednak by\u0142a to namiastka tego, co przynosi\u0142y ze sob\u0105 \u201cprawdziwe\u201d j\u0119zyki funkcyjne.<\/p>\n
\"\"<\/figure>\n
To nie by\u0142o ostatnie s\u0142owo, jakie powiedzieli architekci Javy. W zesz\u0142ym tygodniu opublikowany zosta\u0142 draft JEPa, kt\u00f3ry przenosi \u201cwy\u0142uskiwanie\u201d znane z instanceofa do switcha.<\/p>\n
String formatted;\nObject obj = new Long(12L);\nswitch (obj) {\n    case Integer i: formatted = String.format("int %d", i); break;\n    case Byte b:    formatted = String.format("byte %d", b); break;\n    case Long l:    formatted = String.format("long %d", l); break;\n    case Double d:  formatted = String.format("double %f", d); break;\n    case String s:  formatted = String.format("String %s", s); break\n    default:        formatted = obj.toString();\n}<\/code><\/pre>\n
Sam Proposal jest bardzo d\u0142ugi i niezwykle interesuj\u0105cy, gdy\u017c pozycjonuje siebie samego jako krok do prawdziwej rewolucji \u2013 pattern matchingu, opartego na prawdziwych wzorcach:<\/p>\n
switch (s) {\n   case "Hello world" ->\n        System.out.println("Hello back");\n   case String s ->\n        System.out.println("Nothing?");\n}<\/code><\/pre>\n
na kt\u00f3ry przyjdzie nam jednak chwil\u0119 poczeka\u0107.<\/p>\n
I tak te\u017c ma\u0142ymi kroczkami zasypywana jest dziura mi\u0119dzy Scal\u0105 a Jav\u0105. Aczkolwiek premiera Scali 3.0 (ju\u017c nied\u0142ugo, Release Candidate pojawi\u0142 si\u0119 w zesz\u0142ym tygodniu) znowu j\u0105 poszerzy \u2013 ale nie ubiegajmy fakt\u00f3w, musz\u0119 mie\u0107, o czym pisa\u0107 w nast\u0119pnych edycjach .<\/p>\n
\u0179r\u00f3d\u0142a:<\/h3>\n