Learn Type-Driven Development. Benefit from type systems to build reliable and safe applications using ReasonML 3

Yawar Amin, Kamon Ayeva

Type-driven development is an approach that uses a static type system to achieve results including safety and efficiency. Types are used to express relationships and other assumptions directly in the code, and these assumptions are enforced by the compiler before the code is run. Learn Type-Driven Development covers how to use these type systems to check the logical consistency of your code. This book begins with the basic idea behind type-driven development. You’ll learn about values (or terms) and how they contrast with types. As you progress through the chapters, you’ll cover how to combine types and values inside modules and build structured types out of simpler ones. You’ll then understand how to express choices or alternatives directly in the type system using variants, polymorphic variants, and generalized algebraic data types. You’ll also get to grips with sum types, build sophisticated data types from generics, and explore functions that express change in the types of values. In the concluding chapters, you’ll cover advanced techniques for code reuse, such as parametric polymorphism and subtyping.By end of this book, you will have learned how to iterate through a type-driven process of solving coding problems using static types, together with dynamic behavior, to obtain more safety and speed.

Hipnoza

Bartłomiej Basiura

Kiedy do lubaczowskich policjantów dociera informacja, że to nie samobójstwo jest powodem śmierci młodej kobiety, rozpoczynają nierówną walkę z czasem. Wiedzą, że do ich spokojnego świata wdarł się intruz i że będą kolejne ofiary. Czy uda im się je uchronić, jeśli mordercą może być każdy? Hipnoza to nowatorski kryminał oparty na filozoficznej prawdzie manipulacji. Bartłomiej Basiura (ur. 1991 r.) pisarz młodego pokolenia, student V roku prawa na Uniwersytecie Jagiellońskim, ma na swoim koncie już trzy kryminały, w których jednak można odnaleźć elementy innych gatunków literackich. Jego pierwszą szeroko promowaną książką była wydana w 2014 roku „Zamknięta prawda”. Autor wyruszył w trasę literacką po Polsce, spotykał się z czytelnikami. Na scenie towarzyszyli mu młodzi muzycy, których zaprosił do współtworzenia tego wydarzenia. Pisanie jest dla niego przede wszystkim pasją, którą chce się dzielić. Krytycy literatcy entuzjastycznie przyjęli jego debiut literacki, co zaowocowało ogólnopolską premierą „Ucznia Carpzova” – książki poprzedzającej „Zamkniętą prawdę”. Patronami wspierającymi publikacje autora są m.in. Polacy nie gęsi i swoich autorów mają, Magazyn Obsesje, Nie czytasz – Nie idę z Tobą do łóżka. Wkrótce spodziewana jest premiera nowej trylogii Autora.

Stepan Bandera. .Faszyzm,ludobójstwo,kult. Życie i mit ukraińskiego nacjonalisty

Grzegorz Rossoliński-Liebe

"Bandera. Faszyzm, ludobójstwo, kult. Życie i mit ukraińskiego nacjonalisty" to pierwsza naukowa biografia Stepana Bandery i pierwsze dogłębne studium jego kultu. Książka oparta jest na długoletnich i obszernych badaniach w kilkudziesięciu archiwach całego świata. Napisana jest w sposób krytyczny, ale też ciekawy i wciągający. Grzegorz Rossoliński-Liebe osadza biografię Bandery w kontekście faszyzmu europejskiego, Holokaustu i działalności Organizacji Ukraińskich Nacjonalistów. Książka rzuca światło na szereg najciemniejszych momentów współczesnej historii ukraińskiej i ukazuje powiązania między historią ukraińską, żydowską, polską, rosyjską, niemiecką i radziecką. Jednym z najciekawszych elementów monografii jest analiza narodzin kultu Bandery w latach 30. XX wieku i przestudiowanie jego złożonej i pełnej niespodziewanych przemian ewolucji, aż do końca pierwszego dziesięciolecia tego wieku. Publikacje Grzegorza Rossolińskiego-Liebe są od dawna znane na Ukrainie. Fakt, że umieszcza on dzieje OUN i UPA w kontekście historii faszyzmu europejskiego, wywołał tam gorącą dyskusję wśród historyków i publicystów, przez co książka do dziś nie została przetłumaczona na język ukraiński (...) Jeśli ktoś chciałby się dowiedzieć, jak wyglądałaby monografia będąca ukraińską analogią prac Jana Tomasza Grossa albo Jana Grabowskiego, powinien koniecznie sięgnąć po książkę Rossolińskiego-Liebe. Grzegorz Motyka, ISP PAN Ta fascynująca monografia oparta na solidnych badaniach prezentuje całościowe ujęcie kariery politycznej ukraińskiego nacjonalisty Stepana Bandery oraz kultu, jakim zaczęto otaczać jego osobę. Jest to podstawowa lektura dla wszystkich zainteresowanych historią Ukrainy i Europy Wschodniej w XX wieku. Antony Polonsky, Muzeum Historii Żydów Polskich POLIN Grzegorz Rossoliński-Liebe - historyk, pracujący na Wolnym Uniwersytecie Berlińskim (Freie Universität Berlin). Studiował na Europejskim Uniwersytecie Viadrina we Frankfurcie nad Odrą zaś doktorat obronił na Uniwersytecie Hamburskim (Universität Hamburg). Był stypendystą The Harry Frank Guggenheim Foundation, United States Holocaust Memorial Museum, Fritz-Thyssen-Stiftung i Fondation pour la Mémoire de la Shoah. Autor licznych publikacji dotyczących historii faszyzmu, Holokaustu, nacjonalizmu i antysemityzmu.

Żyj w zgodzie ze swoją grupą krwi

Barbara Łęczycka

Na świecie nie ma dwóch identycznie wyglądających ludzi. Niektóre różnice są widoczne gołym okiem, inne można dostrzec tylko pod mikroskopem, a jednym z ich kluczowych wyznaczników są grupy krwi. Poradnik jest skierowany do osób, które poszukują odpowiedzi na pytania, czym są grupy krwi, skąd się wzięły oraz jakie jest ich znaczenie i jaki mają wpływ na nasze zdrowie, samopoczucie, a nawet osobowość. Jest to również doskonałe kompendium wiedzy na temat diety i ćwiczeń, które służą ludziom z daną grupą krwi. Wszystkie na pozór skomplikowane zjawiska i procesy opisano w ciekawy, przystępny dla czytelnika sposób.

Przygody Sherlocka Holmesa. Część I. Angielski z Arthurem Conanem Doylem

Angielski Przy Okazji! Pełny Angielski Tekst. 100% Tłumaczenia! Ucz się angielskiego czytając ciekawe książki, przygotowane według Metody Edukacyjnego Czytania Ilyi Franka ———————– Opis serii: Książki z serii Metoda Edukacyjnego Czytania Ilyi Franka służą do nauki języka angielskiego przy okazji czytania ciekawych książek w języku oryginalnym z wplecionym dosłownym polskim tłumaczeniem. Metoda polega na specjalnej adaptacji treści w taki sposób że cała zawartość książki jest podzielona na akapity. Najpierw czytamy akapit, z wplecionym polskim tłumaczeniem i niektórymi gramatycznymi i fonetycznymi wyjaśnieniami. Następnie ten sam akapit czytamy już bez tłumaczenia, w oryginalnym języku, czyli „płyniemy bez asekuracji”. Właśnie wtedy nasz mózg przyzwyczaja się do rozumienia języka obcego. Całość jest na tyle spójna, że odbiorca ma poczucie czytania książki w oryginale i przyswaja język, znajdując się w naturalnym stanie rozluźnienia i zaciekawienia treścią. U podstaw Metody leżą między innymi założenia Sugestopedii dr. G Łozanowa, a także prace Jego następców i samodzielnych lingwistów, A.Leontieva, G. Kitajgorodskiej. Seria zawiera dzieła klasyków literatury brytyjskiej i amerykańskiej i w ten sposób przybliża czytelnikowi specyfikę anglojęzycznej kultury. Język oryginału nie jest w żaden sposób uproszczony ani skrócony. Opis książki/treści: Idealny wybór dla osób, lubiących poczuć dreszczyk emocji. I część przygód legendarnego detektywa Sherlocka Holmesa obejmuje pięć następujących opowiadań: A Scandal in Bohemia (Skandal w Czechach), The Red-headed League (Liga Rudowłosych), The Man with the Twisted Lip (Człowiek z rozdwojoną wargą), The Adventure of the Blue Carbuncle (Przygoda błękitnego karbunkułu) oraz The Speckled Band (Nakrapiana przepaska). W każdej historii pojawia się zagadka kryminalna – często skomplikowana i nietypowa – która zawsze zostaje rozwiązana dzięki niezawodnym metodom Holmesa.

Zbyt piękne

Olga Rudnicka

Zuzanna kupuje dom po okazyjnej cenie. Wie, że wymaga on sporych nakładów, ale na marzeniach się nie oszczędza. Nowy dom, nowa praca, nowe życie. Wreszcie będzie mogła mieć kota, psa i różanecznik w ogrodzie. Tymoteusz kupuje stare mieszkania, remontuje je i sprzedaje po wyższej cenie. Jakież jest jego zdziwienie, gdy na progu niedawno nabytego domu pojawia się nieznajoma młoda kobieta i twierdzi, że to jej własność. Oboje padli ofiarą oszusta, który sprzedał nieruchomość dwóm osobom, a następnie zniknął wraz z pieniędzmi. Tymoteusz nie zamierza ustąpić i wyprowadzić się ze swojego nabytku. Zuza zaciągnęła kredyt, więc również nie zamierza zrezygnować. Jedyne, co im pozostaje, to zawiązać sojusz, znaleźć oszusta i odzyskać pieniądze. Olga Rudnicka (ur. 1988) znana autorka powieści sensacyjnych Natalii 5, Cichy wielbiciel, Były sobie świnki trzy i wielu, wielu innych. Miłośniczka zwierząt, natury i dobrego jedzenia. Kocha jazdę konną i dobrą książkę. Nigdy nie polubi kawy i hipokryzji. Zawsze będzie podążać za swoimi marzeniami.

Despite Your (im)perfections. Dotrzymaj złożonej mi obietnicy

Marta Łabęcka

Opowiedz mi naszą historię. Jest taka piękna... Josephine i Chase wreszcie są szczęśliwi. Po wszystkich burzach, sztormach i zawieruchach, których nie szczędził im los, wciąż są razem, połączeni uczuciem, a w dorosłość wkracza właśnie najpiękniejszy owoc ich miłości ― osiemnastoletnia Destiny. Destiny zna historię swoich rodziców i podobnie jak wiele osób w jej wieku, trochę marzy o przeżyciu równie romantycznego uczucia ― oczywiście ze szczęśliwym zakończeniem. Na razie jednak poznajemy ją w chwili, gdy wyrusza z rodzicami, by spędzić święta w gronie krewnych i przyjaciół. Dziewczyna nie może się już doczekać spotkania z bliskimi... Zwłaszcza z jednym, ważnym dla niej człowiekiem. Alfie, dawny towarzysz dziecięcych zabaw, wyrósł na przystojnego mężczyznę i to jego Destiny szczególnie pragnie zobaczyć. A ponieważ jest córką swoich rodziców, to ― zupełnie jak kiedyś ― sprawy szybko zaczną się komplikować... Piękne zwieńczenie bestsellerowego cyklu! Ostatnia część trylogii, którą tworzą także Flaw(less). Opowiedz mi naszą historię i All Of Your Flaws. Przypomnij mi naszą przeszłość. Posłuchaj audiobooka:

Silesian Journal of Legal Studies. Vol. 8

red. Joanna Nowakowska-Małusecka

Silesian Journal of Legal Studies (SJLS) w numerze 8 prezentuje opracowania przedstawicieli nauk prawnych z Czech, Nigerii, Słowacji oraz Polski. Poruszane są zagadnienia szeroko rozumianego publicznego prawa gospodarczego, między innymi dotyczące rynku kapitałowego (Rafał Blicharz) oraz ochrony danych osobowych indywidualnych przedsiębiorców (Anna Hołda-Wydrzyńska). Dwa artykuły poświęcone zostały problemom prawa prywatnego międzynarodowego w kontekście ochrony osób starszych (Anna Juryk), a także procesu  kodyfikacji czeskiego prawa prywatnego międzynarodowego (Naděžda Rozehnalová). Szereg intersujących opracowań dedykowanych jest różnym problemom prawa Unii Europejskiej, takim jak na przykład migracja (Anna Magdalena Kosińska), prawa obywateli UE do nieograniczonego dostępu do unijnego prawodawstwa we własnym języku (Aneta Skorupa-Wulczyńska), jak również roli Funduszu Powierniczego Madad w związku z kryzysem w Syrii (Adriana Kalicka-Mikołajczyk). W najnowszym numerze SJLS znalazły się również rozważania z zakresu ochrony praw człowieka. Jedno z nich koncentruje się na decyzji Trybunału SADC w sprawie Mike’a Campbella przeciwko Republice Zimbabwe (Michael C. Ogwezzy). Z kolei w drugim Autor (Paweł Mielniczek) prezentuje swoje uwagi na temat suwerenności państwa oraz ekstraterytorialnego stosowania traktatów praw człowieka. Interesujący jest również artykuł poświęcony prawu kosmicznemu, a dokładniej badaniom Marsa i jego eksploatacji (Marek Mikuła). Wreszcie, w numerze 8 znalazło się także opracowanie z zakresu prawa pracy, tym razem w odniesieniu do ustawodawstwa słowackiego (Andrea Olšovská and Marek Švec). W SJLS opublikowane zostały ponadto sprawozdania z konferencji oraz innych wydarzeń naukowych, w tym z Jessup Moot Court Competition z prawa międzynarodowego publicznego, w którym brali udział studenci Wydziału Prawa i Administracji Uniwersytetu Śląskiego. Tak jak do tej pory było to praktykowane, także i w tym numerze zamieszczony został spis monografii i prac zbiorowych opublikowanych w 2015 roku, których autorami oraz redaktorami są pracownicy naukowy WPiA UŚ. Czasopismo zawiera też listę konferencji organizowanych w 2015 roku przez Wydział we współpracy z Fundacją Facultas Iuridica. Należy także podkreślić, że znaczne wsparcie finansowe Fundacji pozwala na wydawanie kolejnych numerów Silesian Journal of Legal Studies. Tak więc, na łamach czasopisma specjaliści i badacze pochodzący z różnych ośrodków naukowych z kraju i ze świata zaprezentowali swoje przemyślenia i wyniki badań z zakresu wielu dyscyplin naukowych, co oznacza, że dysputy prawnicze nadal przekraczają granice, i to nie tylko w obrębie kontynentu europejskiego.