Add phone-number exercise (#46)

Author: keiravillekode

config.json

@@ -158,6 +158,14 @@
         "prerequisites": [],
         "difficulty": 3
       },
+      {
+        "slug": "phone-number",
+        "name": "Phone Number",
+        "uuid": "65e3f2a3-861a-4ce3-a1f3-0e30fed0d6a9",
+        "practices": [],
+        "prerequisites": [],
+        "difficulty": 3
+      },
       {
         "slug": "prime-factors",
         "name": "Prime Factors",

exercises/practice/phone-number/.docs/instructions.md

@@ -0,0 +1,34 @@
+# Instructions
+
+Clean up phone numbers so that they can be sent SMS messages.
+
+The **North American Numbering Plan (NANP)** is a telephone numbering system used by many countries in North America like the United States, Canada or Bermuda.
+All NANP-countries share the same international country code: `1`.
+
+NANP numbers are ten-digit numbers consisting of a three-digit Numbering Plan Area code, commonly known as _area code_, followed by a seven-digit local number.
+The first three digits of the local number represent the _exchange code_, followed by the unique four-digit number which is the _subscriber number_.
+
+The format is usually represented as
+
+```text
+NXX NXX-XXXX
+```
+
+where `N` is any digit from 2 through 9 and `X` is any digit from 0 through 9.
+
+Sometimes they also have the country code (represented as `1` or `+1`) prefixed.
+
+Your task is to clean up differently formatted telephone numbers by removing punctuation and the country code if present.
+
+For example, the inputs
+
+- `+1 (613)-995-0253`
+- `613-995-0253`
+- `1 613 995 0253`
+- `613.995.0253`
+
+should all produce the output
+
+`6139950253`
+
+**Note:** As this exercise only deals with telephone numbers used in NANP-countries, only 1 is considered a valid country code.

exercises/practice/phone-number/.docs/introduction.md

@@ -0,0 +1,12 @@
+# Introduction
+
+You've joined LinkLine, a leading communications company working to ensure reliable connections for everyone.
+The team faces a big challenge: users submit phone numbers in all sorts of formats — dashes, spaces, dots, parentheses, and even prefixes.
+Some numbers are valid, while others are impossible to use.
+
+Your mission is to turn this chaos into order.
+You'll clean up valid numbers, formatting them appropriately for use in the system.
+At the same time, you'll identify and filter out any invalid entries.
+
+The success of LinkLine's operations depends on your ability to separate the useful from the unusable.
+Are you ready to take on the challenge and keep the connections running smoothly?

exercises/practice/phone-number/.meta/config.json

@@ -0,0 +1,19 @@
+{
+  "authors": [
+    "keiravillekode"
+  ],
+  "files": {
+    "solution": [
+      "phone_number.fut"
+    ],
+    "test": [
+      "test.fut"
+    ],
+    "example": [
+      ".meta/example.fut"
+    ]
+  },
+  "blurb": "Clean up user-entered phone numbers so that they can be sent SMS messages.",
+  "source": "Exercise by the JumpstartLab team for students at The Turing School of Software and Design.",
+  "source_url": "https://turing.edu"
+}

exercises/practice/phone-number/.meta/example.fut

@@ -0,0 +1,23 @@
+def normalize [n] (phrase: [n]u8): []u8 =
+  let (i, a) = loop (i, a) = (0, replicate n '\0') for c in phrase do
+    if c < '0' then (i, a) else
+    assert (c <= '9') (i + 1, a with [i] = c)
+  in
+    a[0:i]
+
+def check_country [n] (phrase: [n]u8): []u8 =
+  if n == 11 && phrase[0] == '1' then phrase[1:] else
+  assert (n == 10) phrase
+
+def check_area [n] (phrase: [n]u8): []u8 =
+  assert (phrase[0] >= '2') phrase
+
+def check_exchange [n] (phrase: [n]u8): []u8 =
+  assert (phrase[3] >= '2') phrase
+
+def clean (phrase: []u8): []u8 =
+  phrase
+  |> normalize
+  |> check_country
+  |> check_area
+  |> check_exchange

exercises/practice/phone-number/.meta/tests.toml

@@ -0,0 +1,84 @@
+# This is an auto-generated file.
+#
+# Regenerating this file via `configlet sync` will:
+# - Recreate every `description` key/value pair
+# - Recreate every `reimplements` key/value pair, where they exist in problem-specifications
+# - Remove any `include = true` key/value pair (an omitted `include` key implies inclusion)
+# - Preserve any other key/value pair
+#
+# As user-added comments (using the # character) will be removed when this file
+# is regenerated, comments can be added via a `comment` key.
+
+[79666dce-e0f1-46de-95a1-563802913c35]
+description = "cleans the number"
+
+[c360451f-549f-43e4-8aba-fdf6cb0bf83f]
+description = "cleans numbers with dots"
+
+[08f94c34-9a37-46a2-a123-2a8e9727395d]
+description = "cleans numbers with multiple spaces"
+
+[598d8432-0659-4019-a78b-1c6a73691d21]
+description = "invalid when 9 digits"
+include = false
+
+[2de74156-f646-42b5-8638-0ef1d8b58bc2]
+description = "invalid when 9 digits"
+reimplements = "598d8432-0659-4019-a78b-1c6a73691d21"
+
+[57061c72-07b5-431f-9766-d97da7c4399d]
+description = "invalid when 11 digits does not start with a 1"
+
+[9962cbf3-97bb-4118-ba9b-38ff49c64430]
+description = "valid when 11 digits and starting with 1"
+
+[fa724fbf-054c-4d91-95da-f65ab5b6dbca]
+description = "valid when 11 digits and starting with 1 even with punctuation"
+
+[c6a5f007-895a-4fc5-90bc-a7e70f9b5cad]
+description = "invalid when more than 11 digits"
+include = false
+
+[4a1509b7-8953-4eec-981b-c483358ff531]
+description = "invalid when more than 11 digits"
+reimplements = "c6a5f007-895a-4fc5-90bc-a7e70f9b5cad"
+
+[63f38f37-53f6-4a5f-bd86-e9b404f10a60]
+description = "invalid with letters"
+include = false
+
+[eb8a1fc0-64e5-46d3-b0c6-33184208e28a]
+description = "invalid with letters"
+reimplements = "63f38f37-53f6-4a5f-bd86-e9b404f10a60"
+
+[4bd97d90-52fd-45d3-b0db-06ab95b1244e]
+description = "invalid with punctuations"
+include = false
+
+[065f6363-8394-4759-b080-e6c8c351dd1f]
+description = "invalid with punctuations"
+reimplements = "4bd97d90-52fd-45d3-b0db-06ab95b1244e"
+
+[d77d07f8-873c-4b17-8978-5f66139bf7d7]
+description = "invalid if area code starts with 0"
+
+[c7485cfb-1e7b-4081-8e96-8cdb3b77f15e]
+description = "invalid if area code starts with 1"
+
+[4d622293-6976-413d-b8bf-dd8a94d4e2ac]
+description = "invalid if exchange code starts with 0"
+
+[4cef57b4-7d8e-43aa-8328-1e1b89001262]
+description = "invalid if exchange code starts with 1"
+
+[9925b09c-1a0d-4960-a197-5d163cbe308c]
+description = "invalid if area code starts with 0 on valid 11-digit number"
+
+[3f809d37-40f3-44b5-ad90-535838b1a816]
+description = "invalid if area code starts with 1 on valid 11-digit number"
+
+[e08e5532-d621-40d4-b0cc-96c159276b65]
+description = "invalid if exchange code starts with 0 on valid 11-digit number"
+
+[57b32f3d-696a-455c-8bf1-137b6d171cdf]
+description = "invalid if exchange code starts with 1 on valid 11-digit number"

exercises/practice/phone-number/phone_number.fut

@@ -0,0 +1 @@
+def clean (phrase: []u8): []u8 = ???

exercises/practice/phone-number/test.fut

@@ -0,0 +1,94 @@
+import "phone_number"
+
+-- cleans the number
+-- ==
+-- input { "(223) 456-7890" }
+-- output { "2234567890" }
+
+-- cleans numbers with dots
+-- ==
+-- input { "223.456.7890" }
+-- output { "2234567890" }
+
+-- cleans numbers with multiple spaces
+-- ==
+-- input { "223 456   7890   " }
+-- output { "2234567890" }
+
+-- invalid when 9 digits
+-- ==
+-- input { "123456789" }
+-- error: Error*
+
+-- invalid when 11 digits does not start with a 1
+-- ==
+-- input { "22234567890" }
+-- error: Error*
+
+-- valid when 11 digits and starting with 1
+-- ==
+-- input { "12234567890" }
+-- output { "2234567890" }
+
+-- valid when 11 digits and starting with 1 even with punctuation
+-- ==
+-- input { "+1 (223) 456-7890" }
+-- output { "2234567890" }
+
+-- invalid when more than 11 digits
+-- ==
+-- input { "321234567890" }
+-- error: Error*
+
+-- invalid with letters
+-- ==
+-- input { "523-abc-7890" }
+-- error: Error*
+
+-- invalid with punctuations
+-- ==
+-- input { "523-@:!-7890" }
+-- error: Error*
+
+-- invalid if area code starts with 0
+-- ==
+-- input { "(023) 456-7890" }
+-- error: Error*
+
+-- invalid if area code starts with 1
+-- ==
+-- input { "(123) 456-7890" }
+-- error: Error*
+
+-- invalid if exchange code starts with 0
+-- ==
+-- input { "(223) 056-7890" }
+-- error: Error*
+
+-- invalid if exchange code starts with 1
+-- ==
+-- input { "(223) 156-7890" }
+-- error: Error*
+
+-- invalid if area code starts with 0 on valid 11-digit number
+-- ==
+-- input { "1 (023) 456-7890" }
+-- error: Error*
+
+-- invalid if area code starts with 1 on valid 11-digit number
+-- ==
+-- input { "1 (123) 456-7890" }
+-- error: Error*
+
+-- invalid if exchange code starts with 0 on valid 11-digit number
+-- ==
+-- input { "1 (223) 056-7890" }
+-- error: Error*
+
+-- invalid if exchange code starts with 1 on valid 11-digit number
+-- ==
+-- input { "1 (223) 156-7890" }
+-- error: Error*
+
+def main (phrase: []u8): []u8 =
+  clean phrase