Exercises in Programming Style–Aspects

Yan Cui

I help clients go faster for less using serverless technologies.

This article is brought to you by

Don’t reinvent the patterns. Catalyst gives you consistent APIs for messaging, data, and workflow with key microservice patterns like circuit-breakers and retries for free.

Try the Catalyst beta

NOTE : read the rest of the series, or check out the source code.

If you enjoy read­ing these exer­cises then please buy Crista’s book to sup­port her work.

exercises-prog-styles-cover

Fol­low­ing on from the last post, we will look at the Aspects style today.

 

Style 18 – Aspects

You may also know this style as Aspect-Oriented Programming, or AOP for short. I’m a big fan of the paradigm and have often written about it in the past.

Constraints

  • The problem is decomposed using some form of abstraction (procedures, functions, objects, etc.).
  • Aspects of the problem are added to the main program without any edits to the source code or the sites that use them.
  • An external binding mechanism binds the abstractions with the aspects.

 

In her example, Crista used Python’s metaprogramming capability to override the original functions with a new version that has the aspects applied already. Let’s see what we can do in F#!

Starting with the abstractions:

Style18_01

we want to chain them together at the end of the program:

Style18_02

and get the following outputs (note the timing of the function calls have been logged):

Style18_03

Unfortunately, if we try to define the same function twice (once for the abstraction, and then again to shadow it with the profiled version) the F# compiler will bark at us.

But, there’s a easy way to get around this.

Remember how, by opening the Checked module all the arithmetic operators are shadowed with versions that does overflow/underflow checks? We can apply the same technique here:

Style18_04

If we just open the Profiled module we’ll shadow the original abstractions with the profiled versions!

Now, if we chain the abstractions together (the call site) we’ll get the output that we expected.

Style18_05

 

You can find the source code for this exer­cise here.

Whenever you’re ready, here are 3 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. 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.
  3. 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 *