The Essence of Programming

Referential transparency is a property that lets us better understand computer programs, because it allows us to safely replace expressions with their values without changing the programs behavior in other places. To achieve referential transparency, we have to program using pure functions and function composition as primary tools.

Seen abstractly, the process of composing and decomposing of pure functions closely relate to the essential principle of problem: “To solve a large problem, split it up into subproblems and solve these recursively, then combine the solutions.” What implications does this correlation have on functional programs?

In this talk, you will:

  • Be introduced to programming from the perspective of problem solving in general rather than a specific technology.

  • See that function composition is the fundamental tool for problem solving, and that it lets us express our ideas in a more natural way.

  • Get an very general overview of category theory and its relation to programming

  • Understand some powerful abstractions from category theory and functional programming, and see why they are designed with composition in focus

Date
2020-02-28
Time
16:35 - 17:20
Conference / Event
BOB 2020
Venue
Lohmann & Birkner GmbH, Berlin

Slides

Please accept our cookie agreement to see the embedded content. Read more

TAGS

Comments

Please accept our cookie agreement to see full comments functionality. Read more