F# – Extending Discriminated Unions using marker interfaces

Check out my new course Learn you some Lambda best practice for great good! and learn the best practices for performance, cost, security, resilience, observability and scalability.

One of the problems with using F#’s Discriminated Unions is that they are not extensible, in that all your union cases must be specified inside one Discriminated Union (abbreviated to DU from this point) type and you can’t inherit from an existing DU type to add additional union cases.

In most cases, having to specify all your union cases inside one DU type makes perfect sense and I’m sure there is a very good reason for the language designers to not allow inheritance with DU types.

However, sometimes I do find myself wishing for some extensibility so that I can keep using DU types instead of having to revert back to a complex class hierarchy.

Suppose you have a messaging application, you can define the different types of messages your system understands as a DU:


However, as the application grows you might want to add more specialized types of messages, and you don’t want to add them to MessageTypes to stop it from becoming bloated and to keep the specialized message types closer to code that actually understand them.

So what do you do in that case? Go back to using a class hierarchy? Sure, that’s one approach.

Another approach to this problem is to use marker interfaces, so the above code becomes:


The fact that DU types can implement interfaces is often overlooked but you can make good use of it here to enable some extensibility to your DU types.

Notice how the function f is changed from pattern matching the union cases to pattern matching against the type of the message (similar to how you can use pattern matching in a try-with block) before passing the massage to the appropriate handler function that understands that specific type.


Well, thank you for reading and hope this post proves to be helpful to you Smile

Liked this article? Support me on Patreon and get direct help from me via a private Slack channel or 1-2-1 mentoring.
Subscribe to my newsletter

Hi, I’m Yan. I’m an AWS Serverless Hero and the author of Production-Ready Serverless.

I specialise in rapidly transitioning teams to serverless and building production-ready services on AWS.

Are you struggling with serverless or need guidance on best practices? Do you want someone to review your architecture and help you avoid costly mistakes down the line? Whatever the case, I’m here to help.

Hire me.

Check out my new course, Learn you some Lambda best practice for great good! In this course, you will learn best practices for working with AWS Lambda in terms of performance, cost, security, scalability, resilience and observability. Enrol now and enjoy a special preorder price of £9.99 (~$13).

Start Learning

Are you working with Serverless and looking for expert training to level-up your skills? Or are you looking for a solid foundation to start from? Look no further, register for my Production-Ready Serverless workshop to learn how to build production-grade Serverless applications!

Find a workshop near you