Giter VIP home page Giter VIP logo

decorate's Introduction

Decorators

I spent a year hacking Python recently, and in the process I fell in love with decorators. They are a wonderful tool for handling indirect concerns, as they let you centralize many aspects like logging or authentication in an application. They are also very lispy, involving all sorts of fun closure factories, and are strongly related to higher order functions. Most importantly, though, they allow your code to be simpler (but not easier, at least at first). The real benefit becomes apparent when testing your application.

This is an independent decorator library I've created in order to demonstrate the power of decorators. It is made up of the following parts

  • decorators.core - This is where the core decorator forms are stored
  • decorators.invokable - This is where definvoke is stored. Contributed by Meikel Brandmeyer
  • decorators.same - The same protocol
  • decorators.common - Includes common decorators, such as logging, validating, coercing. Also includes the word-like protocol.
  • decorators.number-protocols - A collection of protocols for converting to a numeric type.

You can find the clojar artifact here:

https://clojars.org/org.clojars.sean_devlin/decorators

Usage

So what is a decorator, anyway? For the sake of discussion, a decorator is a function that can modify a function. Let's take a look at a small example.

Logging is the type of behavior that is commonly needed, but is unrelated to the task at hand. Let's create a decorator to handle it.

user=> (defn logging-dec [f]
	(fn logged-fn [& args] (apply println f args) (apply f args)))

This logging decorator takes a function in, and returns a logged version of the function. Let's see it in action

user=> (+ 1 2);Normal addition
3
user=> ((logging-dec +) 1 2)
#<core$_PLUS_ clojure.core$_PLUS_@6c0ec436> 1 2
3

You can see that the logging decorator added a side effect (printing), but didn't alter the original function. Decorators are very good for managing side effects, because you can separate out the concern.

So, how does this work with this library? Let's start with the decorators.core namespace.

user=> (use 'decorators.core)

The first thing we'll want to look at is the decorate macro. It applies a decorator to a function, and then stores it in the same symbol. Let's see it in action, by writing our own plus function.

user=> (defn my+ [x y] (+ x y))
#'user/my+
user=> (my+ 1 2)
3

Suppose we want to log every call to my+. We would use the decorate macro like so

user=> (decorate my+ logging-dec)
#'user/my+
user=> (my+ 1 2)
#<user$my_PLUS_ user$my_PLUS_@30b48b11> 1 2
3

Now every call to my+ will be logged, and we don't have to think about it. This is useful, and it gets even better when you consider other decorators like validators or coercing decorators. Let's take a look at some of the decorators in decorators.common, to see what other common patterns can be pulled out.

user=> (use 'decorators.common)

We'll start with what I call coercing decorators. They're useful for forcing the data into a common format. This in turn broadens the set of input that is available to a function, making it more general. Let's take a look at a simple example, the args-to-int decorator.

user=> ((args-to-int +) "1" 2 3.0)
6

As you can see, the args-to-int decorator converts all of the arguments to integers. It is based on the ToInt protocol in decorators.number-protocols. There are corresponding protocols & decorators for longs, doubles, etc. Let's decorate my+ again with the args-to-int decorator

user=> (decorate my+ args-to-int)
#'user/my+
user=> (my+ "1" 2.0)
#<user$my_PLUS_ user$my_PLUS_@30b48b11> 1 2
3

JIT decorators

You'll notice something I did earlier. I decorated the + function with args-to-int, and then called the result in the same line. This pattern is useful when you want to decorate a function that you didn't write. It is also possible to apply multiple decorators as once this way. This lead to the development of the apply-decorator function.It's usage is like this.

user=> (apply-decorator args-to-int + "1" 2 3.0)
6

I like this higher order function, because I feel like it tells a story in the form. It's obvious where the decorator is, what the original function does, etc. You could just as easily do any of the following:

user=> (apply-decorator args-to-double + "1" 2 3.0)
6.0
user=> (apply-decorator (comp logging-dec args-to-int) + "1" 2 3.0) ;Simply compose decorators to get a new one!
#<common$coerce$decorator__333$fn__334 decorators.common$coerce$decorator__333$fn__334@47e9d9b1> 1 2 3.0
6

In fact, it's possible to convert any decorator to a higher order function. The to-hof function serves just that purpose.

user=> (def args-to-int-hof (to-hof args-to-int))
#'user/args-to-int-hof
user=> (args-to-int-hof + "1" 2 3.0)
6

This hof is useful because we can now apply the decorator separately from the function itself, at anytime. In my opinion, this is a better way to do logging.

HOFs and Decorators

Interestingly enough, it is also possible to turn any higher order function back into a decorator. For example, the mapping fn can be turned into the mapping decorator. This can be accomplished by using the included to-decorator fn.

user=> (def map-dec (to-decorator map))
#'user/map-dec
user=> (defn x2 [x] (* 2 x))
#'user/x2
user=> (decorate x2 map-dec)
#'user/x2
user=> (x2 [1 2 3])
(2 4 6)

This is a neat trick, but it actually is very useful in point free situations.

user=> (map (map-dec inc) [[1 2 3] [4 5 6] [7 8 9]])
((2 3 4) (5 6 7) (8 9 10))

So, which is more useful? Turning hofs to decorators, or decorators to hofs? They each have their time and place. This could lead to a lot of repetition in your namespaces if you want both. Fortunately, we can have the best of both worlds if we're clever.

  • Decorators always take exactly one argument, the target function.
  • Higher order functions usually take more than one argument, the target function and its arguments.
  • We can use arity dispatch to have BOTH.

I included a decorator for decorating decorators, called dual-decorator (see decorators.common for usage). It wraps the decorators included in decorators.common, so they're ready to be used as either a hof or a decorator. In the example of args-to-int, this means:

user=> (args-to-int + "1" 2 3.0)
6
user=> ((args-to-int +) "1" 2 3.0)
6

Both forms work equally well.

Testing decorators

The best way to test a decorator is to decorate identity, or a special function pass (pass is a variadic version of identity). I personally like to use the higher order form. Please see the tests for examples on how to test the decorator fns.

License

Copyright (C) 2011 Sean Devlin

Distributed under the Eclipse Public License, the same as Clojure.

decorate's People

Stargazers

 avatar STYLIANOS IORDANIS avatar Antares avatar Daniel Szmulewicz avatar hsiao avatar Roma Chi avatar Sergey Rublev avatar Stian Håklev avatar Frank Siler avatar Frank Bruch avatar maxiao avatar  avatar Geir Amdal avatar Stan Rozenraukh avatar Sean avatar Rogier Peters avatar Lukas Domagala avatar Duck Nebuchadnezzar avatar Oskar Boëthius Lissheim avatar Baishampayan Ghose avatar

Watchers

Sean avatar James Cloos avatar

Forkers

stjordanis

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.