Differences

This shows you the differences between two versions of the page.

--- codesnippets:bindingandpatternmatching [2021/04/14 11:10] – [Algebraic data types] f2b216
+++ codesnippets:bindingandpatternmatching [2025/10/08 00:48] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Binding ======
+====== Binding and pattern matching ======
-~~DISCUSSION~~
 A binding binds a name or even several names with a function definition.
@@ Line 151: / Line 150: @@
 MyVariantB n = MyVariantB 123
-MyVariantC = MyVariantC
+MyVariantC = MyVariantC -- is not binding anything, but compiles consistently
 </code>
     * with compiler warning, which we ignore for pedagogical reasons
@@ Line 160: / Line 159: @@
 </code>
-  * NOTE: I may look like: It does'nt make sense to have a constructor no elements. However, ''MyVariantC'' is already a value in itself.
+  * NOTE: I may look like: It does'nt make sense to have a constructor no elements. However, ''MyVariantC'' is already a value in itself, and can be used to differentiate between the variants.
+===== ✎ =====
+~~DISCUSSION~~