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

Mary had a little lambda

00:00

Formal Metadata

Title
Mary had a little lambda
Title of Series
Number of Parts
160
Author
License
CC Attribution - NonCommercial - ShareAlike 3.0 Unported:
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
Mary had a little lambda [EuroPython 2017 - Talk - 2017-07-12 - Arengo] [Rimini, Italy] Mary had a little lambda, a function pure as snow. And for every program that Mary wrote, the lambda was all she needed to know. Python’s lambda, a tiny anonymous function, can be useful in a pinch when you’re feeling too lazy to type that extra d-e-f. But did you know that behind this little lambda is actually one of the most powerful & elegant abstractions in the history of computer science? The lambda calculus, dating back to the work of lambda shepherd Alonzo Church in the 1930's, lets us represent our programs - all their logic and data - as pure, anonymous functions, using nothing but (a whole lot of) lambda. Let’s take it for a spin and see what we can create: booleans and conditionals, integers, arithmetical operators, data structures… you name it. With some determination, and a little squinting, we might even see lambda do the impossible: reconcile object-oriented and functional programming. You heard it right: lambda can do it all! Join me as we explore its astounding computational power, and walk away with a deeper respect and admiration for the almighty little lambda
Computer virusBucklingComputer programmingLink (knot theory)Neuroinformatik
Computer programmingSoftwareLambda calculusChurch, AlonzoData modelSound effectoutputWordFunction (mathematics)CountingNumberCheat <Computerspiel>Numeral (linguistics)Loop (music)Universe (mathematics)MathematicsComputer programConditional probabilityBoolean algebraLogicNetwork topologyPredicate (grammar)Data structureElectronic mailing listDisk read-and-write headEmpennageHand fanMaizeSoftware testingCodierung <Programmierung>Functional programmingLaptopSlide ruleMultiplication signCartesian coordinate systemParameter (computer programming)ResultantLambda calculusProgrammschleifeRight angleNumberBitOrder (biology)Zoom lensPredicate (grammar)Poisson-KlammerMassSpacetimePower (physics)Phase transitionMathematical analysisFunction (mathematics)Pattern languageWordComputer configurationoutputReading (process)Web 2.0Row (database)Pulse (signal processing)Set (mathematics)Instance (computer science)Musical ensembleSession Initiation ProtocolCondition numberStatement (computer science)Water vaporEvent horizonMetropolitan area networkInheritance (object-oriented programming)Block (periodic table)Type theoryArmFreewareMereologySystem callSequenceBranch (computer science)Direction (geometry)WhiteboardValue-added networkLine (geometry)ExistenceElement (mathematics)Electronic mailing listContent (media)Video gameMathematicsFunctional programmingBookmark (World Wide Web)Endliche ModelltheorieSound effectOnline helpBoolean algebraCheat <Computerspiel>CASE <Informatik>Computer programmingQuantumSoftwareCivil engineeringNatural numberOpen sourceTuring-MaschineProgrammer (hardware)Observational studyUniverse (mathematics)Software design patternTruth tableBulletin board systemObject-oriented programmingData structureComputer scienceLoop (music)Numeral (linguistics)Uniform resource locatorProblemorientierte ProgrammierspracheNeuroinformatikWeb-DesignerSeries (mathematics)Logic programmingQuicksortGoogolVariable (mathematics)Slide ruleSymbol tableLaptopDisk read-and-write headGroup actionTupleError messageMultiplicationInterpreter (computing)View (database)ExplosionDifferent (Kate Ryan album)Variety (linguistics)TouchscreenCodeIntegerData conversionGreatest elementState of matterProof theoryTheoryService (economics)Formal grammarSystem programmingCountingForm (programming)Wave packetArithmetic meanOpen setDataflowCodeRemote procedure callSelf-organizationDifferenz <Mathematik>Process (computing)Moment (mathematics)Game theoryAdditionPotenz <Mathematik>Codierung <Programmierung>Turing testSurfaceComplete metric spaceExpected valueArtificial lifeRecursionSinc function2 (number)Goodness of fitPointer (computer programming)Interior (topology)Operator (mathematics)Letterpress printingEquivalence relationSimilarity (geometry)Term (mathematics)Game controllerXML
Transcript: English(auto-generated)