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

Formal Metadata

Title
Bulletproof Python – Writing fewer tests with a typed code base
Title of Series
Number of Parts
141
Author
Contributors
License
CC Attribution - NonCommercial - ShareAlike 4.0 International:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor and the work or content is shared also in adapted form only under the conditions of this
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
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.
Multiplication signType theoryString (computer science)Functional (mathematics)SequenceDifferent (Kate Ryan album)CodeParameter (computer programming)Computer animationLecture/Conference
Error messageString (computer science)Type theoryException handlingFunctional (mathematics)EmailFerry CorstenComputer programmingUnit testingSoftware testingFluid staticsAddress spaceForm (programming)Parameter (computer programming)Source codeLine (geometry)Social classSoftware bugMathematical analysisMessage passingCASE <Informatik>PasswordBackupDatabaseElectronic signatureLogicSystem callProgrammer (hardware)Object (grammar)Information securityIncidence algebraData storage deviceQuery languageInstance (computer science)Noise (electronics)Module (mathematics)Inheritance (object-oriented programming)Revision controlContext awarenessValidity (statistics)Order (biology)Crash (computing)Category of beingRegular graphoutputSoftwareHash functionWeb pageCodeResultantSet (mathematics)Latent heatTable (information)
SpeciesPersonal digital assistantCASE <Informatik>CodeError messageCASE <Informatik>Point (geometry)Telephone number mappingData structureFunctional (mathematics)ResultantSoftware testingAsynchronous Transfer ModeDimensional analysisType theoryNumberDifferent (Kate Ryan album)Data storage deviceMatching (graph theory)Subject indexingQR codeForm (programming)Software engineeringFamilyQuicksortInformation overloadElectronic signatureStatement (computer science)TheoryBranch (computer science)String (computer science)Raw image formatReading (process)Computer programmingModule (mathematics)Computer fileMereologyCryptographyProgrammer (hardware)Goodness of fitSimilarity (geometry)FeedbackInternetworkingInformation technology consultingMultiplication signCombinational logicMultiplicationDescriptive statisticsStandard deviationSoftware developerOrder (biology)Binary codeLine (geometry)Library (computing)Social classSet (mathematics)ImplementationLatent heatParameter (computer programming)Information securityHypothesisSource codeRevision controlFunction (mathematics)Unit testingInternet service providerCoordinate systemIntelligent Network
Regulärer Ausdruck <Textverarbeitung>Computer programBit rateCloud computingIcosahedronConstructor (object-oriented programming)Generic programmingType theoryParameter (computer programming)Social classDifferent (Kate Ryan album)Configuration spaceIntegerCodePoint (geometry)Poisson-KlammerStrategy gameSet (mathematics)Repository (publishing)PasswordWordBitModule (mathematics)Information overloadPerfect groupVarianceComputer virusProduct (business)LengthThumbnailRight angleBuildingFunctional (mathematics)Element (mathematics)Error messageHuman migrationPhysical systemArray data structureMeta elementFormal languageExterior algebraMultiplication signResultantInclusion mapSimilarity (geometry)PiDatabaseLibrary (computing)Lecture/ConferenceMeeting/Interview
Social classLecture/ConferenceComputer animation
Transcript: English(auto-generated)