| Andrew Cooke | Contents | Latest | RSS | Twitter | Previous | Next

C[omp]ute

Welcome to my blog, which was once a mailing list of the same name and is still generated by mail. Please reply via the "comment" links.

Always interested in offers/projects/new ideas. Eclectic experience in fields like: numerical computing; Python web; Java enterprise; functional languages; GPGPU; SQL databases; etc. Based in Santiago, Chile; telecommute worldwide. CV; email.

Personal Projects

Lepl parser for Python.

Colorless Green.

Photography around Santiago.

SVG experiment.

Professional Portfolio

Calibration of seismometers.

Data access via web services.

Cache rewrite.

Extending OpenSSH.

C-ORM: docs, API.

Last 100 entries

Not The Onion: Google Fireside Chat w Kissinger; Bicycle Wheels, Inertia, and Energy; Another Tax Fraud; Google's Borg; A Verion That Redirects To Local HTTP Server; Spanish Accents For Idiots; Aluminium Cans; Advice on Spray Painting; Female View of Online Chat From a Male; UX Reading List; S4 Subgroups - Geometric Interpretation; Fucking Email; The SQM Affair For Idiots; Using Kolmogorov Complexity; Oblique Strategies in bash; Curses Tools; Markov Chain Monte Carlo Without all the Bullshit; Email Para Matias Godoy Mercado; The Penta Affair For Idiots; Example Code To Create numpy Array in C; Good Article on Bias in Graphic Design (NYTimes); Do You Backup github?; Data Mining Books; SimpleDateFormat should be synchronized; British Words; Chinese Govt Intercepts External Web To DDOS github; Numbering Permutations; Teenage Engineering - Low Price Synths; GCHQ Can Do Whatever It Wants; Dublinesque; A Cryptographic SAT Solver; Security Challenges; Word Lists for Crosswords; 3D Printing and Speaker Design; Searchable Snowden Archive; XCode Backdoored; Derived Apps Have Malware (CIA); Rowhammer - Hacking Software Via Hardware (DRAM) Bugs; Immutable SQL Database (Kinda); Tor GPS Tracker; That PyCon Dongle Mess...; ASCII Fluid Dynamics; Brandalism; Table of Shifter, Cassette and Derailleur Compatability; Lenovo Demonstrates How Bad HTTPS Is; Telegraph Owned by HSBC; Smaptop - Sunrise (Music); Equation Group (NSA); UK Torture in NI; And - A Natural Extension To Regexps; This Is The Future Of Religion; The Shazam (Music Matching) Algorithm; Tributes To Lesbian Community From AIDS Survivors; Nice Rust Summary; List of Good Fiction Books; Constructing JSON From Postgres (Part 2); Constructing JSON From Postgres (Part 1); Postgres in Docker; Why Poor Places Are More Diverse; Smart Writing on Graceland; Satire in France; Free Speech in France; MTB Cornering - Where Should We Point Our Thrusters?; Secure Secure Shell; Java Generics over Primitives; 2014 (Charlie Brooker); How I am 7; Neural Nets Applied to Go; Programming, Business, Social Contracts; Distributed Systems for Fun and Profit; XML and Scheme; Internet Radio Stations (Curated List); Solid Data About Placebos; Half of Americans Think Climate Change Is a Sign of the Apocalypse; Saturday Surf Sessions With Juvenile Delinquents; Ssh, tty, stdout and stderr; Feathers falling in a vacuum; Santiago 30m Bike Route; Mapa de Ciclovias en Santiago; How Unreliable is UDP?; SE Santiago 20m Bike Route; Cameron's Rap; Configuring libxml with Eclipse; Reducing Combinatorial Complexity With Occam - AI; Sentidos Comunes (Chilean Online Magazine); Hilary Mantel: The Assassination of Margaret Thatcher - August 6th 1983; NSA Interceptng Gmail During Delivery; General IIR Filters; What's happening with Scala?; Interesting (But Largely Illegible) Typeface; Retiring Essentialism; Poorest in UK, Poorest in N Europe; I Want To Be A Redneck!; Reverse Racism; The Lost Art Of Nomography; IBM Data Center (Photo); Interesting Account Of Gamma Hack; The Most Interesting Audiophile In The World; How did the first world war actually end?; Ky - Restaurant Santiago; The Black Dork Lives!; The UN Requires Unaninmous Decisions

© 2006-2015 Andrew Cooke (site) / post authors (content).

Dynamic Dispatch in Python

From: andrew cooke <andrew@...>

Date: Mon, 9 May 2011 17:51:36 -0400

This is an example of how the pytyp type library can be useful.  It's a piece
of code from another part of the pytyp library that rewrites JSON data as
Python classes.

IMPORTANT: I don't expect anyone to understand the code below.  That's not the
point!  Please read on to see what the point is...

The code below is a complex function.  It contains a lot of logic for how to
rewrite different JSON objects.  Lists, for example, should be kept as lists,
but we need to rewrite the contents of the lists (so this rewriting function
needs to call itself recursively).

Hash maps (dicts), however, may be rewritten as Python classes.  That's the
"useful" part of this particular library - it simplifies Python code that
works with JSON.  So when this function finds a dict it needs to compare it
with the specification that the user has entered and do something useful (in
simple terms you can say to the routine "at this point in the JSON data,
convert the data into a class Foo", for example).

Hang on - we're almost at the clever bit...

So this is a complicated function that has to do different things when working
on different types.  Typically in Python you handle a case like this by having
a set of subclasses that all implement the same interface.  And then the
correct action is taken when you call the method on a certain instance.

That's normal OO dispatch - you're chosing a particular method based on the
type of an object.

What pytyp adds here is the ability to dispatch on other function arguments,
instead of "the object before the dot".  So in the call:

   my_function(bar, baz)

you can call different functions depending on the type of baz!  For example:

  my_function(bar, 2)  =>  my_int_function(bar, 2)

  my_function(bar, 'two')  =>  my_str_function(bar, 'two')

When that's applied to this complicated function used to rewrite JSON it lets
us separate out the "routing", which depends on the type of the data, so that
different types are handled by different methods:


  class Transcode:

      @overload
      def __call__(self, value, spec):
	  if isinstance(value, spec):
	      return value
	  else:
	      type_error(value, spec)

      @__call__.intercept
      def map_instance(self, value:Mapping, spec:Sub(Ins)):
	  (varargs, varkw, dict_spec) = class_to_dict_spec(spec)
	  new_value = transcode(value, dict_spec)
	  args = new_value.pop(Rec.OptKey(varargs), []) if varargs else []
	  kargs = new_value.pop(Rec.OptKey(varkw), {}) if varkw else {}
	  args.extend(new_value.pop(index) 
		      for index in sorted(key 
			  for key in new_value.keys() 
			  if isinstance(Rec.OptKey.unpack(key), int)))
	  kargs.update((Rec.OptKey.unpack(key), value) 
		       for (key, value) in new_value.items())    
	  return spec._abc_class(*args, **kargs)

      @__call__.intercept
      def other_instance(self, value, spec:Sub(Ins)):
	  if isinstance(value, spec):
	      return value
	  else:
	      type_error(value, spec)

      @__call__.intercept
      def sequence(self, value, spec:Sub(Seq)):
	  return list(spec._for_each(value, lambda c, vsn: (transcode(v, s) for (v, s, n) in vsn)))

      @__call__.intercept
      def record(self, value, spec:Sub(Rec)):
	  if spec._int_keys():
	      return tuple(spec._for_each(value, 
			  lambda c, vsn: (transcode(v, s) 
					  for (v, s, n) in sorted(vsn, 
					      key=lambda vsn: Rec.OptKey.unpack(vsn[2])))))
	  else:
	      return dict(spec._for_each(value, 
			  lambda c, vsn: ((n, transcode(v, s)) for (v, s, n) in vsn)))

      @__call__.intercept
      def alternative(self, value, spec:Sub(Alt)):
	  def alt(c, vsn):
	      error = None
	      for (v, s, _) in vsn:
		  try:
		      return transcode(v, s)
		  except TypeError as e:
		      error = e
	      raise error
	  print(spec, 'is alt!', value)
	  return spec._for_each(value, alt)

  transcode = Transcode()


As I said, you don't need to understand all that.  All you need to see is that
when you call the transcode() function, what is actually called can be any of
those methods above.  The method Transcode.sequence() handles lists of data,
while the method Transcode.map_instance() is the "core" that rewrites maps as
instance of particular classes.  And the method Transcode.__call__() is the
default method that's called if none of the other, specialised methods match
up with the specifications.

Andrew

Comment on this post