Commit 7a196f84a799a1a07b46d3a7874a5e0446d587bc
2024-02-27T18:18:28
readme
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
diff --git a/README.md b/README.md
index 0491d3c..bedea37 100644
--- a/README.md
+++ b/README.md
@@ -320,6 +320,32 @@ really helpful when writing large programs that need to scale in the way
of abstractions. Let the data flow in the code through visual types.
+#### If, then, else.
+
+Conditionals in C3 are like in Ruby, for example :
+```
+ic3> if true && true
+ic3> 1 + 1
+ic3> 2 + 2
+ic3> end
+4
+
+ic3> if true && false
+ic3> 1 + 1
+ic3> 2 + 2
+ic3> else
+ic3> 3 + 3
+ic3> 4 + 4
+ic3> end
+8
+```
+
+A C3 `if` statement always return a value. If the condition is true, the
+first (then) block gets evaluated. If the condition is false the second
+block gets evaluated. If the condition is false and an `else` block is
+not provided, then `void` gets returned.
+
+
#### Macros
C3 macros are like Common Lisp macros with Elixir pattern-matching.
@@ -340,16 +366,11 @@ control structures to be defined in C3.
Script interpreter. Works the same as ic3 but is not interactive.
-## TODO
+## New in this release
- - libc3
- - tags
- - height function `(TAG_VOID: 0, TAG_TUPLE: max(height(tuple->tags)))`
- - has_ident
- - collect_idents
- - DONE pin operator (for pattern matching)
- - DONE macros
- - DONE special operators
+ - pin operator (for pattern matching)
+ - macros
+ - special operators
- their arguments do not get evaluated
- they return a value
- parsed without syntax
@@ -361,6 +382,14 @@ Script interpreter. Works the same as ic3 but is not interactive.
true
```
- DONE if
+
+## TODO
+
+ - libc3
+ - tags
+ - height function `(TAG_VOID: 0, TAG_TUPLE: max(height(tuple->tags)))`
+ - has_ident
+ - collect_idents
- modules
- defmodule
- def