{"id":9994,"date":"2022-03-19T10:23:53","date_gmt":"2022-03-19T09:23:53","guid":{"rendered":"https:\/\/vived.io\/software-craftsmanship-saturday-vol-80-nowe-go-fuchsia-os-node-icp-przeprowadza-atak-supply-chain\/"},"modified":"2022-09-19T13:19:59","modified_gmt":"2022-09-19T11:19:59","slug":"software-craftsmanship-saturday-vol-80-nowe-go-fuchsia-os-node-icp-przeprowadza-atak-supply-chain","status":"publish","type":"post","link":"https:\/\/vived.io\/pl\/software-craftsmanship-saturday-vol-80-nowe-go-fuchsia-os-node-icp-przeprowadza-atak-supply-chain\/","title":{"rendered":"Software Craftsmanship Saturday vol. 80 – Nowe Go, Fuchsia OS, node-icp przeprowadza atak Supply Chain"},"content":{"rendered":"\n

1. Go 1.18 wprowadza Generyki (i testy fuzzowane)<\/h2>\n\n\n\n

Je\u017celi chodzi o j\u0119zyki programowania, Go z pewno\u015bci\u0105 nale\u017cy do najwi\u0119kszych sukces\u00f3w ostatnich lat. Od swojego debiutu w 2009 roku, regularnie obserwowa\u0107 mo\u017cemy jego coraz szersze u\u017cycie, zw\u0142aszcza w \u015brodowisku dev- i sys-opsowym. Pomimo niew\u0105tpliwych osi\u0105gni\u0119\u0107 i zalet, ci\u0105gle znale\u017a\u0107 mo\u017cna by\u0142o ogrom ludzi, kt\u00f3rzy uwa\u017cali, \u017ce nie nale\u017cy traktowa\u0107 go jako \u201cprawdziwy\u201d j\u0119zyk programowania. Powodem ku temu by\u0142 brak jego wsparcia dla typ\u00f3w sparametryzowanych, potocznie zwanych \u201cgenerykami\u201d. Z przyjemno\u015bci\u0105 chc\u0119 og\u0142osi\u0107 wi\u0119c, \u017ce ten argument nay-sayerom mo\u017cna wybi\u0107 z r\u0105k wraz z premier\u0105 Go 1.18<\/a>, kt\u00f3ry przez samych tw\u00f3rc\u00f3w okre\u015blany jest jako \u201cnajwi\u0119ksze wydanie Go od czasu jego premiery\u201d.<\/p>\n\n\n\n

\"\"\/
Aczkolwiek definicja \u201cprawilnego j\u0119zyka\u201d ci\u0105gle si\u0119 przesuwa<\/figcaption><\/figure>\n\n\n\n

To, \u017ce generyki pojawi\u0105 si\u0119 w Go by\u0142o wiadome ju\u017c od pewnego czasu – oryginalny proposal dla tej funkcjonalno\u015bci pojawi\u0142 si\u0119 jeszcze w zesz\u0142ym roku<\/a>. W tym te\u017c d\u0142ugim dokumencie znajdziecie pe\u0142n\u0105 specyfikacj\u0119 tego, co pojawi\u0142o si\u0119 wraz z nowym wydaniem. Nie b\u0119d\u0119 tutaj zanudza\u0142 Was tym, do czego generyki s\u0142u\u017c\u0105 – dla tych kt\u00f3rzy nie kojarz\u0105 konceptu, za pomoc\u0105 typ\u00f3w og\u00f3lnych (bo tak to si\u0119 powinno chyba t\u0142umaczy\u0107) mo\u017cna deklarowa\u0107 i u\u017cywa\u0107 funkcje, kt\u00f3re s\u0105 napisane do pracy z dowolnym zestawem typ\u00f3w dostarczonych przez wywo\u0142anie kodu (np. kolekcja dowolnych element\u00f3w, niezale\u017cnie od tego czy przechowywany jest w niej String czy Int, zawsze nale\u017cy istnie\u0107 mo\u017cliwo\u015b\u0107 dodania nowego elementu). W sk\u0142adni j\u0119zyka wygl\u0105da to za\u015b nast\u0119puj\u0105co:<\/p>\n\n\n\n

func Print2Same[T any](s1 []T, s2 []T) { ... }<\/code><\/pre>\n\n\n\n
Oczywi\u015bcie, koncept jest bardzo zniuansowany (jak w ka\u017cdym j\u0119zyku), tak\u017ce je\u015bli realnie my\u015blicie o pobawianiu si\u0119 ca\u0142o\u015bci\u0105, zach\u0119camy do zapoznania si\u0119 z min. oficjalnym tutorialem<\/a>.<\/p>\n\n\n\n
Go 1.18 to jednak nie tylko generyki, ale tak\u017ce tak zwany fuzzing, kt\u00f3rego Go (jak chwal\u0105 si\u0119 tw\u00f3rcy) zaimplementowa\u0142o w \u201cstandardzie\u201d jako pierwszy du\u017cy j\u0119zyk programowania. Fuzzing to rodzaj automatycznego testowania, kt\u00f3ry w spos\u00f3b ci\u0105g\u0142y manipuluje danymi wej\u015bciowymi programu w celu znalezienia b\u0142\u0119d\u00f3w. Mo\u017cna je rozumie\u0107 jako rodzaj \u201cchaos test\u00f3w\u201d dla kodu \u017ar\u00f3d\u0142owego – poniewa\u017c fuzzer mo\u017ce dotrze\u0107 do skrajnych przypadk\u00f3w, kt\u00f3re ludzie cz\u0119sto przeoczaj\u0105, testy fuzz mog\u0105 by\u0107 szczeg\u00f3lnie cenne przy znajdowaniu min. luk w zabezpieczeniach. Fuzzing w Go jest inteligentny i zosta\u0142 zaimplementowany tak, aby inteligentnie przej\u015b\u0107 przez fuzowany kod i nie zg\u0142asza\u0107 nadmiarowych b\u0142\u0119d\u00f3w. Oczywi\u015bcie, magii nie ma, i \u017ceby ca\u0142o\u015b\u0107 mog\u0142a dzia\u0142a\u0107 niezb\u0119dne jest napisania odpowiedniego przypadku testowego<\/a> – przyk\u0142ad znajdziecie poni\u017cej:<\/p>\n\n\n
\n
\"\"<\/figure><\/div>\n\n\n
Dobra, to kto si\u0119 przekwalifikuje na programist\u0119 Go? <\/p>\n\n\n
\n
\"\"\/
Je\u015bli generyki Was nie przekona\u0142y, to jedno nie pozostawia w\u0105tpliwo\u015bci – \u017caden inny j\u0119zyk programowania nie posiada tak cudownego oficjalnego (jak i nieoficjalnego) merchu.  <\/figcaption><\/figure><\/div>\n\n\n
\u0179r\u00f3d\u0142a<\/h3>\n\n\n\n