Type + type inference

tisnik · Sep 12, 2023 · bb0ca2f · bb0ca2f
1 parent 0432853
commit bb0ca2f
Showing 1 changed file with 34 additions and 0 deletions.
diff --git a/docs/ml.md b/docs/ml.md
@@ -142,6 +142,40 @@ let rec length([]) = 0
 
 ---
 
+### Types (very simple example)
+
+```
+type car = {
+    Color: string;
+    Model: string;
+    Manufacturer: string;
+    Year: int;
+}
+
+let toyota :car = {Color="silver"; Model="Corolla"; Manufacturer="Toyota"; Year=1986};;
+
+Printf.printf "%A" toyota
+```
+
+---
+
+### Type inference again
+
+```
+type car = {
+    Color: string;
+    Model: string;
+    Manufacturer: string;
+    Year: int;
+}
+
+let toyota = {Color="silver"; Model="Corolla"; Manufacturer="Toyota"; Year=1986};;
+
+Printf.printf "%A" toyota
+```
+
+---
+
 ## Is it worth it?
 
 * OCaml (Jane Stree + others)