Type Driven Development with Idris

Filename: type-driven-development-with-idris.pdf
ISBN: 1617293024
Release Date: 2016-12-01
Number of pages: 375
Author: Edwin Brady
Publisher: Manning Publications

Download and read online Type Driven Development with Idris in PDF and EPUB Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.


Schiffbruch mit Tiger

Filename: schiffbruch-mit-tiger.pdf
ISBN: 9783104010328
Release Date: 2010-08-17
Number of pages: 384
Author: Yann Martel
Publisher: S. Fischer Verlag

Download and read online Schiffbruch mit Tiger in PDF and EPUB Schiffbruch mit Tiger? Diese Geschichte würden Sie nicht glauben? Kein Wunder. Fantastisch. Verwegen. Atemberaubend. Wahnsinnig komisch. Eine Geschichte, die Sie an Gott glauben lässt. Pi Patel, der Sohn eines indischen Zoobesitzers und praktizierender Hindu, Christ und Muslim erleidet mit einer Hyäne, einem Orang-Utan, einem verletzten Zebra und einem 450 Pfund schweren bengalischen Tiger namens Richard Parker Schiffbruch. Bald hat der Tiger alle erledigt - alle, außer Pi. Alleine treiben sie in einem Rettungsboot auf dem Ozean. Eine wundersame, abenteuerliche Odyssee beginnt. ››Martel schreibt wie ein leidenschaftlicher Paul Auster.‹‹ Times Literary Supplement ››Eine Reminiszenz an Italo Calvino.‹‹ Independent on Sunday


Das Ministerium des u ersten Gl cks

Filename: das-ministerium-des-u-ersten-gl-cks.pdf
ISBN: 9783104038179
Release Date: 2017-08-10
Number of pages: 560
Author: Arundhati Roy
Publisher: S. Fischer Verlag

Download and read online Das Ministerium des u ersten Gl cks in PDF and EPUB Arundhati Roy, die Autorin des Weltbestsellers »Der Gott der kleinen Dinge«, kehrt zurück! Ihr lange herbeigesehnter Roman »Das Ministerium des äußersten Glücks« führt uns an den unwahrscheinlichsten Ort, um das Glück zu finden. Eine Reihe ausgestoßener Helden ist hier mit ihrem Schicksal konfrontiert, aber sie finden eine Gemeinschaft, sie bilden eine Familie der besonderen Art. Auf einem Friedhof in der Altstadt von Delhi wird ein handgeknüpfter Teppich ausgerollt. Auf einem Bürgersteig taucht unverhofft ein Baby auf. In einem verschneiten Tal schreibt ein Vater einen Brief an seine 5-jährige Tochter über die vielen Menschen, die zu ihrer Beerdigung kamen. In einem Zimmer im ersten Stock liest eine einsame Frau die Notizbücher ihres Geliebten. Im Jannat Guest House umarmen sich im Schlaf fest zwei Menschen, als hätten sie sich eben erst getroffen – dabei kennen sie einander schon ein Leben lang. Voller Inspiration, Gefühl und Überraschungen beweist der Roman auf jeder Seite Arundhati Roys Kunst. Erzählt mit einem Flüstern, einem Schrei, mit Freudentränen und manchmal mit einem bitteren Lachen ist dieser Roman zugleich Liebeserklärung wie Provokation: eine Hymne auf das Leben.


Einf hrung in Python

Filename: einf-hrung-in-python.pdf
ISBN: 9783897214880
Release Date: 2007
Number of pages: 624
Author: Mark Lutz
Publisher: O'Reilly Germany

Download and read online Einf hrung in Python in PDF and EPUB


Spring im Einsatz

Filename: spring-im-einsatz.pdf
ISBN: 9783446429468
Release Date: 2012-01-12
Number of pages: 428
Author: Craig Walls
Publisher: Carl Hanser Verlag GmbH Co KG

Download and read online Spring im Einsatz in PDF and EPUB SPRING IM EINSATZ // - Spring 3.0 auf den Punkt gebracht: Die zentralen Konzepte anschaulich und unterhaltsam erklärt. - Praxis-Know-how für den Projekteinsatz: Lernen Sie Spring mit Hilfe der zahlreichen Codebeispiele aktiv kennen. - Im Internet: Der vollständige Quellcode für die Applikationen dieses Buches Das Spring-Framework gehört zum obligatorischen Grundwissen eines Java-Entwicklers. Spring 3 führt leistungsfähige neue Features wie die Spring Expression Language (SpEL), neue Annotationen für IoC-Container und den lang ersehnten Support für REST ein. Es gibt keinen besseren Weg, um sich Spring anzueignen, als dieses Buch - egal ob Sie Spring gerade erst entdecken oder sich mit den neuen 3.0-Features vertraut machen wollen. Craig Walls setzt in dieser gründlich überarbeiteten 2. Auflage den anschaulichen und praxisorientierten Stil der Vorauflage fort. Er bringt als Autor sein Geschick für treffende und unterhaltsame Beispiele ein, die das Augenmerk direkt auf die Features und Techniken richten, die Sie wirklich brauchen. Diese Auflage hebt die wichtigsten Aspekte von Spring 3.0 hervor: REST, Remote-Services, Messaging, Security, MVC, Web Flow und vieles mehr. Das finden Sie in diesem Buch: - Die Arbeit mit Annotationen, um die Konfiguration zu reduzieren - Die Arbeit mit REST-konformen Ressourcen - Spring Expression Language (SpEL) - Security, Web Flow usw. AUS DEM INHALT: Spring ins kalte Wasser, Verschalten von Beans, Die XML-Konfiguration in Spring minimalisieren, Aspektorientierung, Zugriff auf die Datenbank, Transaktionen verwalten, Webapplikationen mit Spring MVC erstellen, Die Arbeit mit Spring Web Flow, Spring absichern, Die Arbeit mit Remote-Diensten, Spring und REST, Messaging in Spring, Verwalten von Spring-Beans mit JMX


Lady Midnight

Filename: lady-midnight.pdf
ISBN: 9783641179083
Release Date: 2016-05-17
Number of pages: 848
Author: Cassandra Clare
Publisher: Goldmann Verlag

Download and read online Lady Midnight in PDF and EPUB Niemals wird sie den Tag vergessen, an dem ihre Eltern starben. Die 17-jährige Emma Carstairs war noch ein Kind, als sie damals ermordet wurden, und es herrschte Krieg. Die Wesen der Unterwelt kämpften bis aufs Blut gegeneinander, und die Schattenjäger, die Erzfeinde der Dämonen, wurden fast völlig ausgelöscht. Aber Emma glaubt bis heute nicht, dass ihre Eltern Opfer dieses dunklen Krieges wurden, sondern dass sie aus einem anderen rätselhaften Grund sterben mussten. Inzwischen sind fünf Jahre vergangen, und Emma hat Zuflucht im Institut der Schattenjäger in Los Angeles gefunden. Eine mysteriöse Mordserie sorgt für große Unruhe in der Unterwelt. Immer wieder werden Leichen gefunden, übersät mit alten Schriftzeichen, ähnliche Zeichen wie sie auch auf den Körpern von Emmas Eltern entdeckt worden waren. Emma muss dieser Spur nachgehen, selbst wenn sie dafür ihren engsten Vertrauten und Seelenverwandten Julian Blackthorn in große Gefahr bringt ...


Refactoring to patterns

Filename: refactoring-to-patterns.pdf
ISBN: 3827322626
Release Date: 2005
Number of pages: 384
Author: Joshua Kerievsky
Publisher: Pearson Deutschland GmbH

Download and read online Refactoring to patterns in PDF and EPUB


The Art of Unit Testing

Filename: the-art-of-unit-testing.pdf
ISBN: 9783826687228
Release Date: 2015-02-15
Number of pages: 312
Author: Roy Osherove
Publisher: MITP-Verlags GmbH & Co. KG

Download and read online The Art of Unit Testing in PDF and EPUB Lesbare, wartbare und zuverlässige Tests entwickelnStubs, Mock-Objekte und automatisierte FrameworksEinsatz von .NET-Tools inkl. NUnit, Rhino Mocks und Typemock Isolator Unit Testing, richtig durchgeführt, kann den Unterschied ausmachen zwischen einem fehlgeschlagenen Projekt und einem erfolgreichen, zwischen einer wartbaren Code-Basis und einer, die niemand freiwillig anpackt, zwischen dem Nach-Hause-Kommen um 2 Uhr nachts oder zum Abendessen, selbst noch kurz vor dem Release-Termin. Roy Osherove führt Sie Schritt für Schritt von einfachen Tests zu Tests, die wartbar, lesbar und zuverlässig sind. Er geht danach auf die Grundlagen des Interaction Testings ein und stellt schließlich bewährte Vorgehensweisen für das Schreiben, das Verwalten und das Warten der Unit Tests in echten Projekten vor. Darüber hinaus werden auch fortgeschrittene Themen behandelt wie Mocks, Stubs und Frameworks wie etwa Typemock Isolator und Rhino Mocks. Sie werden eine Menge zu fortgeschrittenen Testmustern und zur Testorganisation, zum Arbeiten mit Legacy Code und auch zu untestbarem Code erfahren. Und Sie lernen Werkzeuge kennen, die Sie beim Testen von Datenbanken und anderen Technologien brauchen werden. Alle Beispiele sind mit Visual Studio in C# geschrieben, so dass die Beispiele insbesondere für .NET-Entwickler nützlich sind. Aber auch für Programmierer anderer Sprachen wird das Buch von großem Nutzen sein, da die Prinzipien des Unit Testings für andere Sprachen dieselben sind. Roys Blog finden Sie auf ISerializable.com. Aus dem Inhalt: Verwenden eines Test-Frameworks (NUnit)Grundlegende TestattributeStubs zum Auflösen von AbhängigkeitenInteraction Testing mit Mock-ObjektenTesthierarchie und OrganisationDie Säulen guter TestsIntegration von Unit Testing in das UnternehmenUmgang mit Legacy Code


Der Talisman

Filename: der-talisman.pdf
ISBN: 9783641111755
Release Date: 2013-03-29
Number of pages: 960
Author: Stephen King
Publisher: Heyne Verlag

Download and read online Der Talisman in PDF and EPUB Die perfekte Mischung aus Fantasy und Horror. Im Vorläufer zu King/Straubs Bestseller "Das Schwarze Haus" begibt sich der zwölfjährige Jack Sawyer auf eine weite, abenteuerliche Reise, in der Idylle und Entsetzen nahe beieinander liegen. Meisterregisseur Steven Spielberg hat sich die Verfilmungsrechte an "Der Talisman" für "DreamWorks" gesichert.


Entwurfsmuster

Filename: entwurfsmuster.pdf
ISBN: 3827330432
Release Date: 2011
Number of pages: 479
Author: Erich Gamma
Publisher: Pearson Deutschland GmbH

Download and read online Entwurfsmuster in PDF and EPUB


Herr aller Dinge

Filename: herr-aller-dinge.pdf
ISBN: 9783838713526
Release Date: 2011-09-16
Number of pages: 688
Author: Andreas Eschbach
Publisher: BASTEI LÜBBE

Download and read online Herr aller Dinge in PDF and EPUB Das enhanced E-Book von "Herr aller Dinge" enthält zusätzlich zum Roman ein Begrüßungsvideo und ein Videointerview mit dem Autor, die exklusive Kurzgeschichte "Das schwarze Messer" und ein umfangreiches Glossar. Der Roman: Als Kinder begegnen sie sich zum ersten Mal: Charlotte, die Tochter des französischen Botschafters, und Hiroshi, der Sohn einer Hausangestellten. Von Anfang an steht der soziale Unterschied spürbar zwischen ihnen. Doch Hiroshi hat eine Idee. Eine Idee, wie er den Unterschied zwischen Arm und Reich aus der Welt schaffen könnte. Um Charlottes Liebe zu gewinnen, tritt er an, seine Idee in die Tat umzusetzen - und die Welt damit in einem nie gekannten Ausmaß zu verändern. Was mit einer bahnbrechenden Erfindung beginnt, führt ihn allerdings bald auf die Spur eines uralten Geheimnisses - und des schrecklichsten aller Verbrechen ...


REST und HTTP

Filename: rest-und-http.pdf
ISBN: 9783864916441
Release Date: 2015-05-06
Number of pages: 330
Author: Stefan Tilkov
Publisher: dpunkt.verlag

Download and read online REST und HTTP in PDF and EPUB Das Buch bietet eine theoretisch fundierte, vor allem aber praxistaugliche Anleitung zum professionellen Einsatz von RESTful HTTP. Es beschreibt den Architekturstil REST (Representational State Transfer) und seine Umsetzung im Rahmen der Protokolle des World Wide Web (HTTP, URIs und andere). Es wird gezeigt, wie man klassische Webanwendungen und Webservices so entwirft, dass sie im Einklang mit den Grundprinzipien des Web stehen und seine vielen Vorteile ausnutzen. Nach einer kurzen Einleitung, die die Grundprinzipien vermittelt (Ressourcen, Repräsentationen, Hyperlinks, Content Negotiation), wird ein vollständiges praktisches Beispiel vorgestellt. Danach werden die einzelnen Konzepte sowie fortgeschrittene Themen wie Caching, Dokumentation und Sicherheit detailliert betrachtet. Schließlich wird eine erweiterte Form der Beispielanwendung entwickelt, um die Umsetzung der fortgeschrittenen Konzepte zu demonstrieren. Inzwischen etablierte Best Practices zu Entwurf und Implementierung werden in einem eigenen Kapitel beschrieben und diskutiert. Neu in der dritten Auflage ist u.a. die Behandlung von immer populärer werdenden Formaten (wie HAL, collection+json und Siren), Hinweise zur Dokumentation von Web-APIs sowie das Zusammenspiel mit Web-Oberflächen nach dem ROCA-Prinzip.


Newton Wie ein Arschloch das Universum neu erfand

Filename: newton-wie-ein-arschloch-das-universum-neu-erfand.pdf
ISBN: 9783446256200
Release Date: 2017-03-13
Number of pages: 208
Author: Florian Freistetter
Publisher: Carl Hanser Verlag GmbH Co KG

Download and read online Newton Wie ein Arschloch das Universum neu erfand in PDF and EPUB Im 17. Jahrhundert war es höchste Zeit, dass ein Genie auftauchte und Schneisen ins Dickicht des Unwissens schlug. Isaac Newton war dieses Genie. Und ein Arschloch. Science Buster Florian Freistetter zeigt, wie intrigant und hinterhältig Newton wirklich war und dass sein Hass auf Robert Hooke und Gottfried Wilhelm Leibniz keine Grenzen kannte. Gleichzeitig beweist er, dass Newton die Physik niemals revolutioniert hätte, wenn er nicht solch ein Kotzbrocken gewesen wäre. Wenn Genialität auf Streitsucht trifft – und dabei ein kosmisches Arschloch herauskommt, davon erzählt Freistetters Buch mit schonungslosem Humor.


Einf hrung in die Kategorientheorie

Filename: einf-hrung-in-die-kategorientheorie.pdf
ISBN: 9783662535219
Release Date: 2016-12-15
Number of pages: 343
Author: Martin Brandenburg
Publisher: Springer-Verlag

Download and read online Einf hrung in die Kategorientheorie in PDF and EPUB Die Kategorientheorie deckt die innere Architektur der Mathematik auf. Dabei werden die strukturellen Gemeinsamkeiten zwischen mathematischen Disziplinen und ihren spezifischen Konstruktionen herausgearbeitet. Dieses Buch gibt eine systematische Einführung in die Grundbegriffe der Kategorientheorie. Zahlreiche ausführliche Erklärungstexte sowie die große Menge an Beispielen helfen beim Einstieg in diese verhältnismäßig abstrakte Theorie. Es werden viele konkrete Anwendungen besprochen, welche die Nützlichkeit der Kategorientheorie im mathematischen Alltag belegen. Jedes Kapitel wird mit einem motivierenden Text eingeleitet und mit einer großen Aufgabensammlung abgeschlossen. An Vorwissen muss der Leser lediglich ein paar Grundbegriffe des Mathematik-Studiums mitbringen. Die vorliegende zweite vollständig durchgesehene Auflage ist um ausführliche Lösungen zu ausgewählten Aufgaben ergänzt.


Der Gott der kleinen Dinge

Filename: der-gott-der-kleinen-dinge.pdf
ISBN: 9783104905310
Release Date: 2017-07-27
Number of pages: 448
Author: Arundhati Roy
Publisher: S. Fischer Verlag

Download and read online Der Gott der kleinen Dinge in PDF and EPUB In ihrem Bestsellerroman ›Der Gott der kleinen Dinge‹ erzählt Arundhati Roy die schillernde Geschichte einer Familie, die an einer verbotenen Liebe zerbricht. Als die 31-jährige Rahel nach vielen Jahren zurückkehrt in ihr Heimatdorf im südindischen Kerala, ist nichts mehr, wie es einst war. Die Konservenfabrik der Familie verfallen, die geliebte Mutter tot, der Zwillingsbruder verstummt. Zurückgeblieben sind nur die Erinnerungen an eine Kindheit am Fluss, an die bewundernde Liebe zu Velutha, dem dunklen Angestellten ihrer Großmutter, und an einen tragischen Tag im Jahr 1969, der alles veränderte. Eine magische Geschichte vor dem Hintergrund der politischen Umbrüche Indiens.