F# – Starting an Agent with supervision

Yan Cui

I help clients go faster for less using serverless technologies.

This article is brought to you by

Hookdeck: The Serverless Event Gateway

Hookdeck is a reliable and scalable serverless event gateway for sending, receiving, authenticating, transforming, filtering, and routing events between services in your event-driven architecture.

Learn more

In Erlang, we have the Supervisor behaviour which makes it very easy to provide the means to monitor and restart a whole network of workers and other supervisors based on some configured strategy.

The MailboxProcessor (aka agents) in F# doesn’t come with the same higher-level abstractions (such as Erlang’s gen_server, gen_fsm behaviours) by default, but it’s very easy to mimic some of their capabilities by building on top of the standard F# agents.

Luca Bolognese’s lightweight LAgent framework is a perfect example and even provides interesting possibilities such as hot swapping of code (although still some way off of what’s possible in Erlang in this regard).

Similarly, the following snippet shows how you can start an agent with supervision so that any escaped exceptions (which will crash the agent) are trapped and restarts the agent:

Whenever you’re ready, here are 4 ways I can help you:

  1. Production-Ready Serverless: Join 20+ AWS Heroes & Community Builders and 1000+ other students in levelling up your serverless game. This is your one-stop shop for quickly levelling up your serverless skills.
  2. Do you want to know how to test serverless architectures with a fast dev & test loop? Check out my latest course, Testing Serverless Architectures and learn the smart way to test serverless.
  3. I help clients launch product ideas, improve their development processes and upskill their teams. If you’d like to work together, then let’s get in touch.
  4. Join my community on Discord, ask questions, and join the discussion on all things AWS and Serverless.

Leave a Comment

Your email address will not be published. Required fields are marked *