slides: add adt slides, add c#9 slide

Author: Patrick Drechsler

slides/slides/csharp9.md

@@ -0,0 +1,12 @@
+### C# 9 is coming...
+
+- record types
+- discriminated unions
+- pattern matching
+- immutability / non-nullability
+
+![images/tweet-don-syme-fsharp-csharp.png](images/tweet-don-syme-fsharp-csharp.png)
+
+Note:
+
+https://twitter.com/dsymetweets/status/1294280620823240706

slides/slides/fsharp.md

@@ -112,8 +112,6 @@ match vehicle with
 
 ```
 
-auch als **Summentyp** bekannt
-
 ----
 
 ## Discriminated Unions mit Werten
@@ -149,7 +147,50 @@ let shoppingCart = {
 }
 ```
 
-TODO auch als **Product Typ** bekannt
+----
+
+## ...Also known as...
+
+- Discriminated Union
+  - OR-Type <!-- .element: class="fragment" data-fragment-index="2" -->
+  - Sum-Type: Der Zustand ergibt sich aus der Summe der Auswahlmöglichkeiten (*) <!-- .element: class="fragment" data-fragment-index="3" -->
+- Record Type
+  - AND-Type <!-- .element: class="fragment" data-fragment-index="2" -->
+  - Product-Type: Der Zustand ergibt sich aus dem kartesischen Produkt aller Möglichkeiten jedes Feldes (*) <!-- .element: class="fragment" data-fragment-index="3" -->
+
+(*) Algebraic Data Types <!-- .element: class="fragment" data-fragment-index="3" -->
+
+----
+
+### Algebraic Data Types: Sum Type
+
+```fsharp
+type Vehicle = Bike | Car | Bus
+```
+
+Alle möglichen Zustaende von `Vehicle` sind: `Bike`, `Car`, oder `Bus`. 
+
+Dies entspricht der **Summe** der Auswahlmöglichkeiten.
+
+----
+
+### Algebraic Data Types: Product Type
+
+```fsharp
+type TruthTable {
+  Wert1: bool
+  Wert2: bool
+}
+```
+
+Alle möglichen Zustaende von `TruthTable` sind:
+
+- `true`, `false`
+- `true`, `true`
+- `false`, `false`
+- `false`, `true`
+
+Diese Menge nennt man kartesisches **Produkt**.
 
 ----
 

slides/slides/images/tweet-don-syme-fsharp-csharp.png

@@ -110,6 +110,10 @@ FILE: fsharp.md
 
 ---
 
+FILE: csharp9.md
+
+---
+
 FILE: anforderung_datum_darf_keine_zeit_haben.md
 
 ---