Implement new Concept Exercise: operator-overloading

Start by reading the linked concept-exercise documentation and languages/fsharp/reference/implementing-a-concept-exercise.md. Inspect the concept README and the numbers exercise's .meta/design.md and .meta/config.json for structure. Done means adding the operator-overloading concept exercise with the stated learning objectives, prerequisites, hints, and resources; no representer or analyzer changes are needed.

This issue describes how to implement the operator-overloading concept exercise for the F# track.

Getting started

Please please please read the docs before starting. Posting PRs without reading these docs will be a lot more frustrating for you during the review cycle, and exhaust Exercism's maintainers' time. So, before diving into the implementation, please read up on the following documents:

• The features of v3.
• Rationale for v3.
• What are concept exercise and how they are structured?

Please also watch the following video:

• The Anatomy of a Concept Exercise.

Goal

The goal of this exercise is to teach the student the basics of the Concept of Operator Overloading in F#.

Learning objectives

• Know that operators are regular functions.
• Know how to add custom operators for built-in types.
• Know how to add custom operators for user-defined types.
• Know how to overload existing operators for built-in types.
• Know how to overload existing operators for user-defined types.
• Know how to define prefix and infix operators.

Out of scope

Nothing.

Concepts

The Concepts this exercise unlocks are:

• operator-overloading: know that operators are regular functions; know how to add custom operators for built-in types; know how to add custom operators for user-defined types; know how to overload existing operators for built-in types; know how to overload existing operators for user-defined types; know how to define prefix and infix operators.

Prequisites

This Concept Exercise's prerequisites Concepts are:

• records: to define an operator that work on records.
• classes: to define an operator that work on classes.
• static-members: know how to define static members on classes.

Any data types used in this exercise (e.g. strings) should also be added as prerequisites.

Resources to refer to

Hints

• Operator overloading syntax: basic syntax for operator overloading.
• Allowed operators: lists the operators allowed to overload.
• Prefix and infix operators: how to define prefix or infix operators.
• Global operators: how to define global operators.
• Type-specific operators: how to define type-specific operators.

After

• Operator overloading syntax: basic syntax for operator overloading.
• Allowed operators: lists the operators allowed to overload.
• Prefix and infix operators: how to define prefix or infix operators.
• Global operators: how to define global operators.
• Type-specific operators: how to define type-specific operators.

Representer

This exercise does not require any specific representation logic to be added to the representer.

Analyzer

This exercise does not require any specific logic to be added to the analyzer.

Implementing

To implement this exercise, please follow these instructions.

Help

If you have any questions while implementing the exercise, please post the questions as comments in this issue.