Differences

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

--- codesnippets:patternmatching [2021/04/14 12:44] – [Wildcard] f2b216
+++ codesnippets:patternmatching [2025/10/08 00:48] (current) – external edit 127.0.0.1
@@ Line 5: / Line 5: @@
   * list comprehensions
   * do notations
+  * case constructs
 Before we start with that, we provide more details about pattern matching, regarding:
@@ Line 38: / Line 39: @@
 getZipFromPerson (PersonNameZipAndEMail _ _ _ nZip _) = nZip
 </code>
-    * compiles...
+    * compiles, with warning: Pattern match(es) are non-exhaustive
     * executes, with output:<code>
 "A"
@@ Line 72: / Line 73: @@
 main =
     do
-        print (length s)                            -- "caller perspective" for first parameter of function length
+        print (length s)             -- "caller perspective" for first parameter of function length
 s :: String
@@ Line 78: / Line 79: @@
 length :: [a] -> Integer
-length [] = 0                                       -- "inner function perspective" - selected when list is empty
+length [] = 0                        -- "inner function perspective" - selected when list is empty
-length (_:lrx) = 1 + (length lrx)                   -- "inner function perspective" - selected when at least one element
+length (_:lrx) = 1 + (length lrx)    -- "inner function perspective" - selected when at least one element
-                                                      -- using the rest (lrx) for recursive call of length (again "caller perspective")</code>
+                                     -- using the rest (lrx) for recursive call of length (again "caller perspective")
+</code>
+===== ✎ =====
+~~DISCUSSION~~