Add dominoes exercise

[keiravillekode]

No description provided.

[oxe-i]

It'd be useful to have a generator in case we ever need to regenerate the test file.

Do you feel there’s anything that could be improved in the generator?

[keiravillekode]

I would ideally like HouseTest to look something like

      return assertEqual (String.intercalate "\n\n" [
        "This is the house that Jack built.",
        "This is the malt that lay in the house that Jack built.",
        "This is the rat that ate the malt that lay in the house that Jack built.",

I managed that look with ConnectTest.

I would like for GameOfLifeTest to look something like

      return assertEqual #[
        #[false, false, false],
        #[false, false, false],
        #[false, false, false]
      ] (GameOfLife.tick #[
        #[false, false, false],
        #[false, true, false],
        #[false, false, false]
      ]))

and for RelativeDistanceTest to look something like

  |>.addTest "Direct parent-child relation" (do
      return assertEqual (some 1) (RelativeDistance.degreeOfSeparation [
        ("Tomoko", ["Aditi"]),
        ("Vera", ["Tomoko"])
      ] "Vera" "Tomoko"))
  |>.addTest "Sibling relationship" (do
      return assertEqual (some 1) (RelativeDistance.degreeOfSeparation [
        ("Dalia", ["Olga","Yassin"])
      ] "Olga" "Yassin"))

I just gave up on generating the dominoes tests in Lean, knowing I can trivially generate them to look the way I would like using my traditional "throw-away" generator approach.

[keiravillekode]

Here is my Python:

            if EXERCISE == 'dominoes':
                def serialize(domino):
                    first = domino[0]
                    second = domino[1]
                    return f'(⟨{first}, by decide⟩, ⟨{second}, by decide⟩)'

                indent = '      '
                expected = case['expected']
                dominoes = input['dominoes']
                if dominoes == []:
                    dominoes = '[]'
                else:
                    dominoes = list(map(serialize, dominoes))
                    dominoes = (f',\n{indent}  ').join(dominoes)
                    dominoes = f'[\n{indent}  {dominoes}\n{indent}]'
                call = f'({PASCAL}.{property} {dominoes})'

I guess we could use a helper that serializes a list, given an input (json object that is an array) and a serialize function to call on each entry in the array.

The helper might turn [] into "[]"

The helper might turn [a, b] into

"[
      {serialize a},
      {serialize b}
    ]"

[oxe-i]

Thank you, I'm busy right now but will work on that later today.

You should merge dominoes for now, I'll use it as model for the serializer.