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