Dnd character exercise

config.json

@@ -374,6 +374,14 @@
         "practices": [],
         "prerequisites": [],
         "difficulty": 1
+      },
+      {
+        "slug": "dnd-character",
+        "name": "D&D Character",
+        "uuid": "206aa747-6c85-4438-a509-174febabb01a",
+        "practices": [],
+        "prerequisites": [],
+        "difficulty": 1
       }
     ]
   },

exercises/practice/dnd-character/.docs/instructions.append.md

@@ -0,0 +1,6 @@
+# Hints
+
+There are some important concepts that are necessary for this task:
+
+- [Abilities](https://www.unison-lang.org/docs/fundamentals/abilities/) in Unison.
+- [Delayed computations](https://www.unison-lang.org/docs/fundamentals/values-and-functions/delayed-computations/).

exercises/practice/dnd-character/.docs/instructions.md

@@ -0,0 +1,32 @@
+# Instructions
+
+For a game of [Dungeons & Dragons][dnd], each player starts by generating a character they can play with.
+This character has, among other things, six abilities; strength, dexterity, constitution, intelligence, wisdom and charisma.
+These six abilities have scores that are determined randomly.
+You do this by rolling four 6-sided dice and recording the sum of the largest three dice.
+You do this six times, once for each ability.
+
+Your character's initial hitpoints are 10 + your character's constitution modifier.
+You find your character's constitution modifier by subtracting 10 from your character's constitution, divide by 2 and round down.
+
+Write a random character generator that follows the above rules.
+
+For example, the six throws of four dice may look like:
+
+- 5, 3, 1, 6: You discard the 1 and sum 5 + 3 + 6 = 14, which you assign to strength.
+- 3, 2, 5, 3: You discard the 2 and sum 3 + 5 + 3 = 11, which you assign to dexterity.
+- 1, 1, 1, 1: You discard the 1 and sum 1 + 1 + 1 = 3, which you assign to constitution.
+- 2, 1, 6, 6: You discard the 1 and sum 2 + 6 + 6 = 14, which you assign to intelligence.
+- 3, 5, 3, 4: You discard the 3 and sum 5 + 3 + 4 = 12, which you assign to wisdom.
+- 6, 6, 6, 6: You discard the 6 and sum 6 + 6 + 6 = 18, which you assign to charisma.
+
+Because constitution is 3, the constitution modifier is -4 and the hitpoints are 6.
+
+~~~~exercism/note
+Most programming languages feature (pseudo-)random generators, but few programming languages are designed to roll dice.
+One such language is [Troll][troll].
+
+[troll]: https://di.ku.dk/Ansatte/?pure=da%2Fpublications%2Ftroll-a-language-for-specifying-dicerolls(84a45ff0-068b-11df-825d-000ea68e967b)%2Fexport.html
+~~~~
+
+[dnd]: https://en.wikipedia.org/wiki/Dungeons_%26_Dragons

exercises/practice/dnd-character/.docs/introduction.md

@@ -0,0 +1,10 @@
+# Introduction
+
+After weeks of anticipation, you and your friends get together for your very first game of [Dungeons & Dragons][dnd] (D&D).
+Since this is the first session of the game, each player has to generate a character to play with.
+The character's abilities are determined by rolling 6-sided dice, but where _are_ the dice?
+With a shock, you realize that your friends are waiting for _you_ to produce the dice; after all it was your idea to play D&D!
+Panicking, you realize you forgot to bring the dice, which would mean no D&D game.
+As you have some basic coding skills, you quickly come up with a solution: you'll write a program to simulate dice rolls.
+
+[dnd]: https://en.wikipedia.org/wiki/Dungeons_%26_Dragons

exercises/practice/dnd-character/.meta/config.json

@@ -0,0 +1,22 @@
+{
+  "authors": [
+    "SimaDovakin"
+  ],
+  "contributors": [
+    "rlmark"
+  ],
+  "files": {
+    "solution": [
+      "dndCharacter.u"
+    ],
+    "test": [
+      "dndCharacter.test.u"
+    ],
+    "example": [
+      ".meta/examples/dndCharacter.example.u"
+    ]
+  },
+  "blurb": "Randomly generate Dungeons & Dragons characters.",
+  "source": "Simon Shine, Erik Schierboom",
+  "source_url": "https://github.com/exercism/problem-specifications/issues/616#issuecomment-437358945"
+}

exercises/practice/dnd-character/.meta/examples/dndCharacter.example.u

@@ -0,0 +1,43 @@
+unique type dndCharacter.Character = { strength : Nat
+                                     , dexterity : Nat
+                                     , constitution : Nat
+                                     , intelligence : Nat
+                                     , wisdom : Nat
+                                     , charisma : Nat
+                                     , hitpoints : Nat
+                                     }
+
+dndCharacter.modifier : Nat -> Int
+dndCharacter.modifier score =
+  use Int - div
+  score
+    |> Nat.toInt
+    |> (c -> c - +10)
+    |> (c -> div c +2)
+
+dndCharacter.ability_ : '{Random} Nat
+dndCharacter.ability_ = do
+  '(Random.natIn 1 7)
+    |> List.replicate 4
+    |> List.sort
+    |> List.slice 1 4
+    |> Nat.sum
+
+dndCharacter.character : '{Random} Character
+dndCharacter.character = do
+  strength = !ability_
+  dexterity = !ability_
+  constitution = !ability_
+  intelligence = !ability_
+  wisdom = !ability_
+  charisma = !ability_
+  mod = modifier constitution
+  hitpoints = Int.abs (+10 Int.+ mod)
+  Character
+    strength
+    dexterity
+    constitution
+    intelligence
+    wisdom
+    charisma
+    hitpoints

exercises/practice/dnd-character/.meta/testAnnotation.json

@@ -0,0 +1,74 @@
+[
+  {
+      "test_code": "input = 18\n  expected = 4\n  label \"computes the modifier for 18 to be 4\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex1"
+  },
+  {
+      "test_code": "input = 17\n  expected = 3\n  label \"computes the modifier for 17 to be 3\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex2"
+  },
+  {
+      "test_code": "input = 16\n  expected = 3\n  label \"computes the modifier for 16 to be 3\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex3"
+  },
+  {
+      "test_code": "input = 15\n  expected = 2\n  label \"computes the modifier for 15 to be 2\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex4"
+  },
+  {
+      "test_code": "input = 14\n  expected = 2\n  label \"computes the modifier for 14 to be 2\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex5"
+  },
+  {
+      "test_code": "input = 13\n  expected = 1\n  label \"computes the modifier for 13 to be 1\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex6"
+  },
+  {
+      "test_code": "input = 12\n  expected = 1\n  label \"computes the modifier for 12 to be 1\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex7"
+  },
+  {
+      "test_code": "input = 11\n  expected = 0\n  label \"computes the modifier for 11 to be 0\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex8"
+  },
+  {
+      "test_code": "input = 10\n  expected = 0\n  label \"computes the modifier for 10 to be 0\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex9"
+  },
+  {
+      "test_code": "input = 9\n  expected = -1\n  label \"computes the modifier for 9 to be -1\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex10"
+  },
+  {
+      "test_code": "input = 8\n  expected = -1\n  label \"computes the modifier for 8 to be -1\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex11"
+  },
+  {
+      "test_code": "input = 7\n  expected = -2\n  label \"computes the modifier for 7 to be -2\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex12"
+  },
+  {
+      "test_code": "input = 6\n  expected = -2\n  label \"computes the modifier for 6 to be -2\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex13"
+  },
+  {
+      "test_code": "input = 5\n  expected = -3\n  label \"computes the modifier for 5 to be -3\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex14"
+  },
+  {
+      "test_code": "input = 4\n  expected = -3\n  label \"computes the modifier for 4 to be -3\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex15"
+  },
+  {
+      "test_code": "input = 3\n  expected = -4\n  label \"computes the modifier for 3 to be -4\" <| expect (expected == modifier input)",
+      "name": "dndCharacter.test.testModifier.ex16"
+  },
+  {
+    "test_code": "do\n  seed = !nat\n  calculatedAbility = Random.lcg seed ability_\n  label \"generates value within range\" <| expect (Nat.inRange 3 19 calculatedAbility)\n",
+    "name": "dndCharacter.test.testAbility"
+  },
+  {
+    "test_code": "do\n  seed = !nat\n  (Character strength dexterity constitution intelligence wisdom charisma hitpoints) = Random.lcg seed character\n  expectedHitpoints = Int.abs (+10 Int.+ modifier constitution)\n  expect ((Nat.inRange 3 19 strength) && (Nat.inRange 3 19 dexterity) && (Nat.inRange 3 19 constitution) && (Nat.inRange 3 19 intelligence) && (Nat.inRange 3 19 wisdom) && (Nat.inRange 3 19 charisma) && (hitpoints == expectedHitpoints)\n  ) |> label \"generates valid character\"",
+    "name": "dndCharacter.test.testCharacter"
+  }
+]

exercises/practice/dnd-character/.meta/testLoader.md

@@ -0,0 +1,9 @@
+# Testing transcript
+
+```ucm
+.> load ./dndCharacter.u
+.> add
+.> load ./dndCharacter.test.u
+.> add
+.> move.term dndCharacter.tests tests
+```

exercises/practice/dnd-character/.meta/tests.toml

@@ -0,0 +1,72 @@
+# 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.
+
+[1e9ae1dc-35bd-43ba-aa08-e4b94c20fa37]
+description = "ability modifier -> ability modifier for score 3 is -4"
+
+[cc9bb24e-56b8-4e9e-989d-a0d1a29ebb9c]
+description = "ability modifier -> ability modifier for score 4 is -3"
+
+[5b519fcd-6946-41ee-91fe-34b4f9808326]
+description = "ability modifier -> ability modifier for score 5 is -3"
+
+[dc2913bd-6d7a-402e-b1e2-6d568b1cbe21]
+description = "ability modifier -> ability modifier for score 6 is -2"
+
+[099440f5-0d66-4b1a-8a10-8f3a03cc499f]
+description = "ability modifier -> ability modifier for score 7 is -2"
+
+[cfda6e5c-3489-42f0-b22b-4acb47084df0]
+description = "ability modifier -> ability modifier for score 8 is -1"
+
+[c70f0507-fa7e-4228-8463-858bfbba1754]
+description = "ability modifier -> ability modifier for score 9 is -1"
+
+[6f4e6c88-1cd9-46a0-92b8-db4a99b372f7]
+description = "ability modifier -> ability modifier for score 10 is 0"
+
+[e00d9e5c-63c8-413f-879d-cd9be9697097]
+description = "ability modifier -> ability modifier for score 11 is 0"
+
+[eea06f3c-8de0-45e7-9d9d-b8cab4179715]
+description = "ability modifier -> ability modifier for score 12 is +1"
+
+[9c51f6be-db72-4af7-92ac-b293a02c0dcd]
+description = "ability modifier -> ability modifier for score 13 is +1"
+
+[94053a5d-53b6-4efc-b669-a8b5098f7762]
+description = "ability modifier -> ability modifier for score 14 is +2"
+
+[8c33e7ca-3f9f-4820-8ab3-65f2c9e2f0e2]
+description = "ability modifier -> ability modifier for score 15 is +2"
+
+[c3ec871e-1791-44d0-b3cc-77e5fb4cd33d]
+description = "ability modifier -> ability modifier for score 16 is +3"
+
+[3d053cee-2888-4616-b9fd-602a3b1efff4]
+description = "ability modifier -> ability modifier for score 17 is +3"
+
+[bafd997a-e852-4e56-9f65-14b60261faee]
+description = "ability modifier -> ability modifier for score 18 is +4"
+
+[4f28f19c-2e47-4453-a46a-c0d365259c14]
+description = "random ability is within range"
+
+[385d7e72-864f-4e88-8279-81a7d75b04ad]
+description = "random character is valid"
+
+[2ca77b9b-c099-46c3-a02c-0d0f68ffa0fe]
+description = "each ability is only calculated once"
+include = false
+
+[dca2b2ec-f729-4551-84b9-078876bb4808]
+description = "each ability is only calculated once"
+reimplements = "2ca77b9b-c099-46c3-a02c-0d0f68ffa0fe"