Add acronym exercise (#53)

Author: keiravillekode

config.json

@@ -65,6 +65,14 @@
         "prerequisites": [],
         "difficulty": 1
       },
+      {
+        "slug": "acronym",
+        "name": "Acronym",
+        "uuid": "d7e61409-7640-4323-be6a-278f77d5c585",
+        "practices": [],
+        "prerequisites": [],
+        "difficulty": 2
+      },
       {
         "slug": "bob",
         "name": "Bob",

exercises/practice/acronym/.docs/instructions.md

@@ -0,0 +1,17 @@
+# Instructions
+
+Convert a phrase to its acronym.
+
+Techies love their TLA (Three Letter Acronyms)!
+
+Help generate some jargon by writing a program that converts a long name like Portable Network Graphics to its acronym (PNG).
+
+Punctuation is handled as follows: hyphens are word separators (like whitespace); all other punctuation can be removed from the input.
+
+For example:
+
+| Input                     | Output |
+| ------------------------- | ------ |
+| As Soon As Possible       | ASAP   |
+| Liquid-crystal display    | LCD    |
+| Thank George It's Friday! | TGIF   |

exercises/practice/acronym/.meta/Example.lean

@@ -0,0 +1,13 @@
+namespace Acronym
+
+def abbreviate (phrase : String) : String :=
+  let rec helper (input : List Char) (acc : List Char) (inWord : Bool) : String :=
+    match input with
+    | [] => (List.reverse acc).asString
+    | c :: rest =>
+        if Char.isAlpha c && !inWord
+        then helper rest ((Char.toUpper c) :: acc) true
+        else helper rest acc ((Char.isAlpha c) || (inWord && c == '\''))
+  helper phrase.toList [] false
+
+end Acronym

exercises/practice/acronym/.meta/config.json

@@ -0,0 +1,19 @@
+{
+  "authors": [
+    "keiravillekode"
+  ],
+  "files": {
+    "solution": [
+      "Acronym.lean"
+    ],
+    "test": [
+      "AcronymTest.lean"
+    ],
+    "example": [
+      ".meta/Example.lean"
+    ]
+  },
+  "blurb": "Convert a long phrase to its acronym.",
+  "source": "Julien Vanier",
+  "source_url": "https://github.com/monkbroc"
+}

exercises/practice/acronym/.meta/tests.toml

@@ -0,0 +1,37 @@
+# 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.
+
+[1e22cceb-c5e4-4562-9afe-aef07ad1eaf4]
+description = "basic"
+
+[79ae3889-a5c0-4b01-baf0-232d31180c08]
+description = "lowercase words"
+
+[ec7000a7-3931-4a17-890e-33ca2073a548]
+description = "punctuation"
+
+[32dd261c-0c92-469a-9c5c-b192e94a63b0]
+description = "all caps word"
+
+[ae2ac9fa-a606-4d05-8244-3bcc4659c1d4]
+description = "punctuation without whitespace"
+
+[0e4b1e7c-1a6d-48fb-81a7-bf65eb9e69f9]
+description = "very long abbreviation"
+
+[6a078f49-c68d-4b7b-89af-33a1a98c28cc]
+description = "consecutive delimiters"
+
+[5118b4b1-4572-434c-8d57-5b762e57973e]
+description = "apostrophes"
+
+[adc12eab-ec2d-414f-b48c-66a4fc06cdef]
+description = "underscore emphasis"

exercises/practice/acronym/Acronym.lean

@@ -0,0 +1,6 @@
+namespace Acronym
+
+def abbreviate (phrase : String) : String :=
+  sorry
+
+end Acronym

exercises/practice/acronym/AcronymTest.lean

@@ -0,0 +1,28 @@
+import LeanTest
+import Acronym
+
+open LeanTest
+
+def acronymTests : TestSuite :=
+  (TestSuite.empty "Acronym")
+  |>.addTest "basic" (do
+      return assertEqual "PNG" (Acronym.abbreviate "Portable Network Graphics"))
+  |>.addTest "lowercase words" (do
+      return assertEqual "ROR" (Acronym.abbreviate "Ruby on Rails"))
+  |>.addTest "punctuation" (do
+      return assertEqual "FIFO" (Acronym.abbreviate "First In, First Out"))
+  |>.addTest "all caps word" (do
+      return assertEqual "GIMP" (Acronym.abbreviate "GNU Image Manipulation Program"))
+  |>.addTest "punctuation without whitespace" (do
+      return assertEqual "CMOS" (Acronym.abbreviate "Complementary metal-oxide semiconductor"))
+  |>.addTest "very long abbreviation" (do
+      return assertEqual "ROTFLSHTMDCOALM" (Acronym.abbreviate "Rolling On The Floor Laughing So Hard That My Dogs Came Over And Licked Me"))
+  |>.addTest "consecutive delimiters" (do
+      return assertEqual "SIMUFTA" (Acronym.abbreviate "Something - I made up from thin air"))
+  |>.addTest "apostrophes" (do
+      return assertEqual "HC" (Acronym.abbreviate "Halley's Comet"))
+  |>.addTest "underscore emphasis" (do
+      return assertEqual "TRNT" (Acronym.abbreviate "The Road _Not_ Taken"))
+
+def main : IO UInt32 := do
+  runTestSuitesWithExitCode [acronymTests]

exercises/practice/acronym/lakefile.toml

@@ -0,0 +1,15 @@
+name = "acronym"
+version = "0.1.0"
+defaultTargets = ["AcronymTest"]
+testDriver = "AcronymTest"
+
+[[lean_lib]]
+name = "LeanTest"
+srcDir = "vendor/LeanTest"
+
+[[lean_lib]]
+name = "Acronym"
+
+[[lean_exe]]
+name = "AcronymTest"
+root = "AcronymTest"

exercises/practice/acronym/lean-toolchain

@@ -0,0 +1 @@
+leanprover/lean4:v4.25.2

exercises/practice/acronym/vendor/LeanTest/LeanTest.lean

@@ -0,0 +1,4 @@
+-- This module serves as the root of the `LeanTest` library.
+-- Import modules here that should be built as part of the library.
+import LeanTest.Assertions
+import LeanTest.Test