From 634f2d65ded5ad683c65efdb900992e89471018c Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 5 Feb 2015 21:05:17 +0100
Subject: [PATCH] week1: mart

---
 week1/mart/1.txt            |  3 +++
 week1/mart/MatchStrings.dcl |  8 ++++++
 week1/mart/MatchStrings.icl | 54 +++++++++++++++++++++++++++++++++++++
 3 files changed, 65 insertions(+)
 create mode 100644 week1/mart/1.txt
 create mode 100644 week1/mart/MatchStrings.dcl
 create mode 100644 week1/mart/MatchStrings.icl

diff --git a/week1/mart/1.txt b/week1/mart/1.txt
new file mode 100644
index 0000000..7ac4230
--- /dev/null
+++ b/week1/mart/1.txt
@@ -0,0 +1,3 @@
+1.1:
+1.2:
+Beide niet mogelijk zonder IDE(linux)
diff --git a/week1/mart/MatchStrings.dcl b/week1/mart/MatchStrings.dcl
new file mode 100644
index 0000000..527447c
--- /dev/null
+++ b/week1/mart/MatchStrings.dcl
@@ -0,0 +1,8 @@
+definition module MatchStrings
+
+head			::        String -> Char
+tail			::        String -> String
+is_gelijk		:: String String -> Bool
+is_deelstring	:: String String -> Bool
+is_deel			:: String String -> Bool
+is_match		:: String String -> Bool
diff --git a/week1/mart/MatchStrings.icl b/week1/mart/MatchStrings.icl
new file mode 100644
index 0000000..f10df45
--- /dev/null
+++ b/week1/mart/MatchStrings.icl
@@ -0,0 +1,54 @@
+implementation module MatchStrings
+
+import StdEnv
+
+head :: String -> Char
+head "" = abort "Empty String"
+head s = s.[0]
+
+tail :: String -> String
+tail "" = abort "Empty String"
+tail s = s % (1, size s - 1)
+
+is_gelijk :: String String -> Bool
+is_gelijk "" "" = True
+is_gelijk a b = (size a == size b) && (head a == head b) && is_gelijk (tail a) (tail b)
+
+is_deelstring :: String String -> Bool
+is_deelstring _ "" = False
+is_deelstring a b = is_begin a b || is_deelstring a (tail b)
+
+is_begin :: String String -> Bool
+is_begin "" _ = True
+is_begin _ "" = False
+is_begin a b = head a == head b && is_begin (tail a) (tail b)
+
+is_deel :: String String -> Bool
+is_deel "" _ = True
+is_deel _ "" = 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 a b = is_begin_match a b || size b > 0 && is_begin_match a (tail b)
+
+is_begin_match :: String String -> Bool
+is_begin_match "" _ = True
+is_begin_match a "" = head a == '*' && size a == 1
+is_begin_match a b
+| head a == '.' || head a == head b = is_begin_match (tail a) (tail b)
+| head a == '*' = is_begin_match a (tail b) || is_begin_match (tail a) b
+| otherwise = False
+
+//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"
-- 
2.20.1