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

Datum
28.02.2020
Uhrzeit
16:35 - 17:20
Konferenz / Veranstaltung
BOB 2020
Ort
Lohmann & Birkner GmbH, Berlin

Folien

Um den eingebetteten Inhalt zu sehen, bitte unserer Cookie-Vereinbarung zustimmen. Mehr lesen

TAGS

Kommentare

Um die Kommentare zu sehen, bitte unserer Cookie Vereinbarung zustimmen. Mehr lesen