More example

tisnik · Sep 11, 2023 · 35e295e · 35e295e
1 parent 1d2189c
commit 35e295e
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/docs/ml.md b/docs/ml.md
@@ -70,8 +70,29 @@ let x = 42
 
 ---
 
+## Strong type checking
+
+* Improper
+
+```
+let x = 1 + 2
+let x = 1 + 2.5
+let x = 1 +. 2.5
+let x = 1.0 + 2.5
+```
+
+* The only proper
+
+```
+let x = 1.0 +. 2.5
+```
+
+---
+
 ## Functions
 
+* Fully type inference possible
+
 ```
 let inc x = x + 1
 ```