Behind the connection: Operator overloading for records

Operator overloading for records Operator overloading is a mechanism which gives you control over what an operator does on a given data type. Applied to a record, you can use it to provide a transparent conversion from one data type to another. The example code I will show in a moment comes from one of my applications (simplified version for brevity). I have a system which requires a parameter