We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Bulletproof Python – Writing fewer tests with a typed code base

00:00

Formale Metadaten

Titel
Bulletproof Python – Writing fewer tests with a typed code base
Serientitel
Anzahl der Teile
141
Autor
Mitwirkende
Lizenz
CC-Namensnennung - keine kommerzielle Nutzung - Weitergabe unter gleichen Bedingungen 4.0 International:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen und nicht-kommerziellen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen und das Werk bzw. diesen Inhalt auch in veränderter Form nur unter den Bedingungen dieser Lizenz weitergeben.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
A fully typed code base requires less test code to achieve the same level of confidence in its correctness. We'll analyze specific code examples and see how dependent types and exhaustiveness checking make certain classes of tests obsolete.
114
131
MultiplikationsoperatorTypentheorieZeichenketteFunktionalFolge <Mathematik>DifferenteCodeParametersystemComputeranimationVorlesung/Konferenz
FehlermeldungZeichenketteTypentheorieAusnahmebehandlungFunktionalE-MailSystem FProgrammierungKomponententestSoftwaretestHydrostatikAdressraumBildschirmmaskeParametersystemQuellcodeGeradeKlasse <Mathematik>ProgrammfehlerAnalysisMessage-PassingCASE <Informatik>PasswortSicherungskopieDatenbankElektronische UnterschriftMathematische LogikSystemaufrufProgrammiergerätObjekt <Kategorie>ComputersicherheitInzidenzalgebraInformationsspeicherungAbfrageInstantiierungRauschenBimodulVererbungshierarchieVersionsverwaltungKontextbezogenes SystemValiditätOrdnung <Mathematik>SystemzusammenbruchKategorie <Mathematik>Regulärer GraphEin-AusgabeSoftwareHash-AlgorithmusWeb-SeiteCodeResultanteSchnittmengeUmwandlungsenthalpieTabelle
ART-NetzNotepad-ComputerCASE <Informatik>CodeFehlermeldungCASE <Informatik>PunktENUMDatenstrukturFunktionalResultanteSoftwaretestATMDimensionsanalyseTypentheorieZahlenbereichDifferenteInformationsspeicherungMatchingAutomatische IndexierungQR-CodeBildschirmmaskeSoftware EngineeringFamilie <Mathematik>Quick-SortInformationsüberlastungElektronische UnterschriftBefehl <Informatik>Physikalische TheorieVerzweigendes ProgrammZeichenketteRohdatenLesen <Datenverarbeitung>ProgrammierungBimodulElektronische PublikationMereologieKryptologieProgrammiergerätGüte der AnpassungÄhnlichkeitsgeometrieRückkopplungInternetworkingEDV-BeratungMultiplikationsoperatorSchaltnetzMultiplikationDeskriptive StatistikStandardabweichungSoftwareentwicklerOrdnung <Mathematik>BinärcodeGeradeProgrammbibliothekKlasse <Mathematik>SchnittmengeImplementierungUmwandlungsenthalpieParametersystemComputersicherheitStatistische HypotheseQuellcodeVersionsverwaltungFunktion <Mathematik>KomponententestService providerKoordinatenIntelligentes Netz
Regulärer Ausdruck <Textverarbeitung>ProgrammBitrateCloud ComputingIkosaederKonstruktor <Informatik>GenerizitätTypentheorieParametersystemKlasse <Mathematik>DifferenteKonfigurationsraumGanze ZahlCodePunktPoisson-KlammerStrategisches SpielSchnittmengeDokumentenserverPasswortWort <Informatik>BitBimodulInformationsüberlastungPerfekte GruppeVarianzComputervirusProdukt <Mathematik>DickeThumbnailRechter WinkelGebäude <Mathematik>FunktionalElement <Gruppentheorie>FehlermeldungMigration <Informatik>Physikalisches SystemArray <Informatik>Meta-TagFormale SpracheÄußere Algebra eines ModulsMultiplikationsoperatorResultanteInklusion <Mathematik>ÄhnlichkeitsgeometriePi <Zahl>DatenbankProgrammbibliothekVorlesung/KonferenzBesprechung/Interview
Klasse <Mathematik>Vorlesung/KonferenzComputeranimation
Transkript: Englisch(automatisch erzeugt)