Introduction
If you're a Java programmer, this short article will show you the basic concepts of functional programming and the reason why it may be getting more and more important in the near future. All sample code is in Java so it should be very easy to understand.
What is functional programming?
Functional programming is just like our programming in Java or C#, but without assignments. You may wonder is this possible at all? For example, to calculate the total price of a list of product prices, one might write in functional programming style (the code is still in Java):
abstract class List {
}
class EmptyList extends List {
}
class NonEmptyList extends List {
int head;
List tail;
}
class Foo {
int getTotalPrice(List ps) {
if (ps instanceof EmptyList) {
return 0;
} else {
final NonEmptyList nl = (NonEmptyList) ps; //initialization, NOT assignment
return nl.head + getTotalPrice(nl.tail);
}
}
}
Note that in line 17 there seems to be an assignment, but it is not: It is an initialization and the variable is declared as final, so no modification can be made. This is perfectly allowed in functional programming.
So you can see that assignment is not really required. But why the lack of assignment is a good thing?
Why functional programming may be huge in the near future?
To see the benefit, let's assume that if a price is >= 100 then you'll give a 20% off discount. So, you may modify the code as:
class Foo {
int getTotalPrice(List ps) {
if (ps instanceof EmptyList) {
return 0;
} else {
final NonEmptyList nl = (NonEmptyList) ps;
final int headDiscountedPrice = nl.head >= 100 ? (int) (nl.head * 0.8) : nl.head;
final int tailPrice = getTotalPrice(nl.tail);
return headDiscountedPrice + tailPrice;
}
}
}
Note the three initializations. Because all the variables and fields can't be modified, their order is unimportant and, in a real functional programming language, the order can be changed at wish without changing the return value. For example, you could change it like:
class Foo {
int getTotalPrice(List ps) {
if (ps instanceof EmptyList) {
return 0;
} else {
final int tailPrice = getTotalPrice(nl.tail); //nl is not initialized yet, how it works?
final int headDiscountedPrice = nl.head >= 100 ? (int) (nl.head * 0.8) : nl.head;
final NonEmptyList nl = (NonEmptyList) ps;
return headDiscountedPrice + tailPrice;
}
}
}
Note that when initializing the tailPrice variable, the nl variable hasn't been initialized yet. Will this cause a problem? No. In a real functional programming language, each of three variables will be initialized at the same time with a lazy expression. When the value is really needed, the lazy expression will be evaluated. So, if the value of tailPrice is needed but nl hasn't been evaluated yet, it will be evaluated and the calculation will proceed. No matter what execution order is, the final total price will be the same.
Now, let's get to the core issue of why this is important. As the order of these expressions are unimportant, they can be evaluated concurrently. As nowadays we're getting more CPU cores instead of speedier single CPU, this programming model may become the mainstream in the future as the evaluations of different expressions can be done in different cores.
Note that the semicolon in the code now has a different meaning: In Java, it means sequential execution, but in a real functional programming language, it only separates the expressions but there is no ordering at all. That is, in a real functional programming language, there is no obvious concept of sequential execution.
How to maintain states or write to a database?
How to write to a database in functional programming? Let's say there is special built-in methods to perform reading and writing to a certain database record. Let's try to increment the value of the record twice with the code below:
class Foo {
int read() {
//...
}
void write(int v) {
//...
}
void inc() {
final int v = read();
final int w = v+1;
write(w);
final int t = w+1;
write(t); //Problem: It may occur before write(w)!
}
}
The problem with the code is that, because there is no ordering, write(t) may be evaluated before write(w), so finally the value will have been increased by one, not two! The problem here is that, once we have assignment (the write operation to the record), the ordering becomes important, but there is no obvious ordering in functional programming.
Creating sequential ordering in functional programming
In fact, it is possible to create the effect of sequential evaluation in functional programming. For the above example, you can restructure the code as:
interface Function {
Object eval(Object arg);
}
class Foo {
int write(int v) {
...
}
void inc() {
final int v = read();
new Function() {
public Object eval(Object arg) {
final int w = v+1;
final int r = write(w);
return new Function() {
public Object eval(Object arg) {
final int t = w+1;
return write(t);
}
}.eval(r); //Force r to be evaluated before going into eval()
}
}.eval(v); //Force v to be evaluated before going into eval()
}
Now, you're putting the logic into three steps: step 1: read the record. step 2: write w to the record. step 3: write t to the record. To make sure step 1 is executed before step 2, you wrap step 2 into a Function object and pass the result of step 1 (the "v" variable) as an argument to its eval() method. In a real functional programming language, when calling a method, its arguments will be fully evaluated. So, this guarantees that step 1 is executed before step 2. You use the same trick to put step 3 into a Function object inside step 2 and pass the result of step 2 (the "r" variable) as an argument to its eval() method. For this to work, the write() method must return something instead of void. So, I changed it to return an int.
It works, but the code looks complex. To make it simpler, you can introduce a method like:
class Foo {
Object chain(Object arg, Function f) {
return f.eval(arg);
}
void inc() {
final int v = read();
chain(v, new Function() {
public Object eval(Object arg) {
final int w = v+1;
final int r = write(w);
return chain(r, new Function() {
public Object eval(Object arg) {
final int t = w+1;
return write(t);
}
});
}
});
}
Once you have such a chain() method, you can perform more interesting things. For example, instead of passing the previous result directly as the argument, you could expect it to be an instruction to access the database so that you perform the database access in the chain() in the top level of your program, so that all the code inside is free of any side-effect:
class Read {
}
class Write {
int v;
public Write(int v) {
this.v = v;
}
}
class Foo {
Object chain(Object arg, Function f) {
if (arg instanceof Read) { //arg is now the instruction
return f.eval(read()); //Perform the side effect here
}
if (arg instanceof Write) {
final int v = ((Write)arg).v;
return f.eval(write(v)); //Perform the side effect here
}
return null;
}
void inc() {
chain(new Read(), new Function() {
public Object eval(Object arg) {
final int w = (Integer)arg+1;
final Write r = new Write(w);
return chain(r, new Function() {
public Object eval(Object arg) {
final int t = w+1;
return chain(new Write(t), ...);
}
});
}
});
}
}
In addition, you can perform other interesting things in the chain() method. For example, the argument could also contain an integer indicating the number of available resources. Every time you could reduce it by one before passing to the next step. If it is zero, you could abort.
BTW, you've just learned one of the most intriguing concepts in functional programming: monad. It is just the way above to achieve sequencing, optionally manipulating the previous result, and combining it with the next step.
Better syntax?
Even though it works, the multiple levels of embedding is still very complicated. In a real functional programming, you won't need to write so much to create the anonymous Function object, to define the eval() method and you probably can use an infix operator in place of the chain() method. For example, in Haskell, the code can be written something like this:
inc =
new Read() >>=
\v ->
w = v+1
new Write(w) >>=
\r ->
t = w+1
new Write(t)
Here the >>= infix operator has replaced for the chain() method. The \x -> expresssion defines an anonymous function and x is the argument. It looks simple, right?
What can you do next?
Now you've learned the significance of functional programming. What to do next? If you'd like to learn more about functional programming, if you prefer static typing, I'd recommend that you study Haskell by going through this excellent tutorial. Then, for production, you may check out Scala which supports functional programming and integration with JVM and all existing Java classes. It borrows a lot of concepts from Haskell. It also supports assignments and OO, so it can ease the migration from Java.
If you prefer dynamic typing, for production, you may check out Clojure which also integrates with JVM and existing Java classes.
So is that FP? Writing complex unreadable code for such simple tasks? You have a PHD or something?
ReplyDeleteThanks, but I think I'll keep the readability/sanity.
Hi Pooria,
ReplyDeleteI don't understand why you say the code is complex. The last code fragment (in Haskell) looks pretty much the same as one would write in Java. Maybe you can elaborate more on it?
Hi Kent,
ReplyDeleteThe disadvantages of your code seem very obvious to me. Let me point out a few:
1) Notice that you are relying on the evaluation of arguments in method calls to ensure that certain operations in a previous step are executed before entering a new step. Now what would happen if a step requires its previous step to execute more than one operation? You would then have to have another eval method that has two or more (not one) arguments! (Likewise your chain method would need more than one "arg" argument.)
Not to mention that your operations have to return values just for the sake of returning something.
2) Notice how in your last java code snippet, the chain method is specifically made to be used in the "inc" method. That would mean one would need to write multiple other chain methods to support every other operation in the class (e.g. chains for a "decrease" method). Now multiply this with the effects of my previous point.
3) The whole idea of using argument evaluations seems hackish to me.
4) Lots of intermediate (final) variables are used, especially those returned from methods like write are troublesome. Now, the allocation of variables it-self is not the problem, the problem is that one would have to come up with proper names for these vars, which is a hard thing to do. For ex. you have named the value returned from the write method "r".
All in all, imho the code is an spaghetti. And although the Haskell code is certainly simpler, its still doing the same things, which makes ones head spin. Also if one has to implement the >>= operator, then most of my above points are also true for the Haskell code.
Also, your thought provoking article is very appreciated. I agree with the whole point of the article, but imo we don't have the right tools for the job.
Hi Pooria,
ReplyDeleteRegarding your point 1), the idea is that the structure of the value of each step is uniform and applicable to all the steps (e.g., for DB access, it is just a single value). If generally this kind of steps require a complex value, then one might use a list, a structure or something similar:
myList <- step1 >>=
step2
Regarding your point 2), the chain() method is not specific to the inc() method. As long as you want a certain way to chain two steps together, you will have one chain() method. For example, for DB access, you only need one chain() method. For console IO, you will need another chain() method.
Regarding your point 3), it is true in the sense that this kind of sequential execution is not the primary execution mode in functional programming (the primary mode is concurrent execution). The underlying assumption is that, in most problems the execution can be concurrent, while sequential execution is only required in certain specific situations (e.g,. DB, IO).
Regarding your point 4), I agree that the names used in the example aren't that meaningful because the example is a bit contrived. However, one can always rename them as currentValue, nextValue and etc. This has nothing to do with them being final or not. In fact, because there is no assignment, it is even easier to give a meaningful name to a value as the value won't change.
To see if functional programming is suitable or not, I think it is better to try to solve a real world programming task to see if how the code looks.
that is pretty interesting... would it be possible to write the final code in Scala?
ReplyDeletemuch appreciated.
Hi Reggie,
ReplyDeleteYes, that's definitely possible. Please see http://stackoverflow.com/questions/1992532/monad-trait-in-scala for more info.