Generic Functions and JavaScript

Posted in: javascript

What are generic functions?

( send object : foo )

( foo object )

class Person { public void eat ( Food f ) { println ( "eating food" ); } public void eat ( Pasta p ) { println ( "eating pasta" ); } }

Food food = new Pasta (); somePerson . eat ( food );

class John extends Person { public void eat ( Food f ) { println ( "mmm...." ); } public void eat ( Pasta p ) { println ( "Yummy!" ); } } Person me = new John (); Food pasta = new Pasta (); me . eat ( pasta );

public void function eat ( John john , Food f ) { ... } public void function eat ( John john , Pasta p ) { ... } public void function eat ( Person person , Food f ) { ... } public void function eat ( Person person , Pasta p ) { ... }

( defmethod eat (( john John ) ( f Food )) ... ) ( defmethod eat (( john John ) ( p Pasta )) ... ) ( defmethod eat (( person Person ) ( f Food )) ... ) ( defmethod eat (( person Person ) ( p Pasta )) ... )

Generic Functions in JavaScript

generic function f ( x , y );

generic function f ( x : Numeric , y : Object ) : MyClass ;

generic function f ( x : int , y : boolean ) : string { if ( y ) return string ( x ); else return "37" ; }

generic function + ( a : Complex , b : Complex ) { return new Complex ( a . x + b . x , a . y + b . y ); }

( to . $add ( from . scale ( - 1 ))). $scale ( delta ). $add ( from )

from + ( to - from ) * delta

Please enable JavaScript to view the comments powered by Disqus.

Disqus

In my last post I mentioned Operator Overloading , and why I think it would be interesting to see this as a proposal for the ECMAScript 4 specification (the new JavaScript specification). I've been following the ECMA discussion list and the ES 4 wiki , and I was surprised to see that I feel the same way as some people in the ECMA group do about operator overloading. The Operator Overloading proposal has been made a couple of times before, but it was disregarded as beeing too weak to be considered. However, this proposal has been superseeded by some other (very interesting) proposal: generic functions (a.k.a multimethods).The first time I discovered generic functions was while playing with Common Lisp's Object System ( CLOS ). In fact, early Lisp systems worked as Smalltalk did, by implementing a send function:instead of just doing:They finally came with the solution of creating generic functions that could be implemented by methods. This design is far more expressive that the classic OO design, implemented in languages such as Java. Since this design is far from classical OO ones, explaining by example turns out to be quite difficult: the wikipedia examples aren't very enlightening (see the article's discussions ). So here I go. Java has function overloading: that means that several methods with the same name can be defined in the same class, provided that the type (or number of arguments) defined in each method is not the same. So, for example, lets define a Java class Person with two eat methods:(Pasta extends Food) We have succesfully overloaded the eat method. However, the overloading happens at compile time, and there's no dynamic dispatch. So, for example this code:Will answer "eating food", which isn't exactly what we want. Now lets consider this code:This code will answer "mmm...". But there's one important thing: we've called a method from John's class, instead of some eat method from Person. This had to be decided at run time, since me is of type Person, but we assigned a John to it... Now lets define, in pseudo-code, an abstraction of these eat methods, that could be thought as decoupled from the John and Person classes. For example, we could re-write John and Person eat methods as four independent functions:What we know about these methods is that Java checks its first argument type at runtime, but all other arguments are checked at compile-time. So, as far as dynamic dispatch concerns, Java has single dispatch, and function overloading only refers to compile-time checked types, which in general doesn't yield the expected result. (This problem beeing solved by the visitor pattern in most cases). A generic function can be seen as a family of functions that provide multiple dispatch, that means that all arguments of the function are checked at runtime (on invocation). Not only the first argument, but all. Compared to Java, this approach would, in most cases, yield the expected answers without having to implement some patterns like the visitor pattern . The four methods defined above could be redefined in CLOS as:The Generic Functions JavaScript proposal aims to solve all weaknesses existing in the Operator Overloading proposal, but it also provides a more generic way of defining and manipulating functions. Operator Overloading should be seen as a particular case of what can be done with generic functions in JavaScript. In JavaScript, a generic function could be defined as:Since a generic function defines a family of functions, there's no function body in it. A generic function can also be defined with type annotations:A method is then defined over an existing generic function, using specializers:Eventually, built-in generic functions could be defined for common operators, providing a way of overloading operators:For a JavaScript canvas developer, this would be wonderful, since we mess with Complex, Polar, Matrix classes all the time, and a simple interpolation expression of two complex numbers could be transformed from this:into this: