Alois Kraus just made this nice post about functional programming in F# and C#. I enjoyed the article very much and he even bigs up one of my own posts, which of course tickled me.
However, I disagree with quite a lot of what he said in his conclusion paragraph. He writes:
“Not all concepts of functional languages should be explored by Mort and Elvis since most of them are fairly complex to understand because functional languages are very picky (just like unix) who can be their friend and who not. If Einstein does write a F# program then only a true Einstein can maintain it. When the outsourced Mort and Elvis do change his code I am sure they will screw it up”
Mort, Elvis and Einstein are different type of programmers characterized in this blog post by Nikhil Kothari.
I maybe being picky here as Alois doesn’t say this directly, but he seems to imply that functional programming is more complicated than imperative/object oriented programming.
I think here he is mixing up two subtly different things, the complexity of a language and the complexity of problem a program is try to address. If the problem is sufficiently hard then it is going to be difficult to understand what ever language it is written in. I agree that the two issues are related as the design of language can make a problem harder or easier to understand when expressed in code.
So I feel his framing of function programming as more complex is a little unfair. In fact F# aims to be a good bit simpler that C# and in my opinion it succeeds because to write a program in F# one needs to understand few concepts that in C#.
To see this, let’s take a look at a simplest example we can, the hello world program.
Version F#
do print_endline "hello world"
Version C#
class Prog
{
static int main()
{
System.Console.WriteLine("hello world");
return 0;
}
}
In the F# version we need to understand just three pieces of text “do” a keyword for calling functions, “print_endline” a function from the built in libraries, and “hello world” a string literal.
The C# is more complicated. First of all we forced to define a class “Prog”, even though it does not server any purpose in this case. Next we define a method “main”; “main” is a static method meaning that doesn’t belong to any instance of the class we have defined. This static method is a special method, because it is called main and is static; it is the entry point to the program. Next comes our method body definition made up of a call to a method “WriteLine” in the class “Console” in the namespace “System”. Finally we state that we’ll return the literal “0” to the calling function. Well not quite finally as we need to remember to close all those curly brackets we opened along the way.
I really hope Alois continues his exploration of F# and functional programming in general.