From 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Thu, 16 Apr 2015 21:22:20 +0200
Subject: update to fp2 yay, public and licence

---
 fp1/week1/camil/2.3/MatchStrings.icl | 48 ++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 fp1/week1/camil/2.3/MatchStrings.icl

(limited to 'fp1/week1/camil/2.3/MatchStrings.icl')

diff --git a/fp1/week1/camil/2.3/MatchStrings.icl b/fp1/week1/camil/2.3/MatchStrings.icl
new file mode 100644
index 0000000..17859ae
--- /dev/null
+++ b/fp1/week1/camil/2.3/MatchStrings.icl
@@ -0,0 +1,48 @@
+implementation module MatchStrings
+
+import StdEnv
+
+head				:: String -> Char
+head ""				= abort "head uitgevoerd op lege string"
+head s				= s.[0]
+
+tail				:: String -> String
+tail ""				= abort "tail uitgevoerd op lege string"
+tail s				= s % (1, size s - 1)
+
+is_gelijk			:: String String -> Bool
+is_gelijk "" ""		= True
+is_gelijk a ""		= False
+is_gelijk "" b 		= False
+is_gelijk a b		= (head a == head b) && (is_gelijk (tail a) (tail b))
+
+is_deelstring		:: String String -> Bool
+is_deelstring "" b	= True
+is_deelstring a ""	= False
+is_deelstring a b	= is_gelijk a (b % (0, size a - 1)) || is_deelstring a (tail b)
+
+is_deel				:: String String -> Bool
+is_deel "" b		= True
+is_deel a ""		= False
+is_deel a b			= head a == head b && is_deel (tail a) (tail b) || is_deel a (tail b)
+
+is_match			:: String String -> Bool
+is_match "" ""		= True
+is_match "" b		= False
+is_match "*" ""		= True
+is_match a ""		= False
+is_match a b		= (head a == '.' || head a == head b) && is_match (tail a) (tail b) || head a == '*' && (is_match a (tail b) || is_match (tail a) b)
+
+//Start				= (head pink_floyd, tail pink_floyd)
+//Start				= is_gelijk     "" " "
+//Start				= is_deelstring "there"          pink_floyd
+//Start				= is_deelstring "there"          marillion
+//Start				= is_deel       "there"          marillion
+//Start				= is_deel       "she and her"    pink_floyd
+//Start				= is_deel       radiohead        pink_floyd
+//Start				= is_match      "*.here*.here*." pink_floyd
+//Start				= is_match      ".here.here."    pink_floyd
+
+pink_floyd			= "Is there anybody in there?"
+marillion			= "Just for the record"
+radiohead			= "There there"
-- 
cgit v1.2.3