Feeds

Programming in Haskell

Yes, Melinda, there is a choice: Functional Programming

5 things you didn’t know about cloud backup

Book review While it may appear that object oriented programming has achieved dominance in terms of programming language paradigms, there still exist outposts that refuse to submit to the benefits of polymorphism, encapsulation, and object inheritance.

It's not just that there is a hard-core group sticking to procedural coding in C and refusing to go the Java/C#/Python/Ruby route. There are also those who have taken the functional programming route to programming nirvana, particularly those who use that purist functional language, Haskell. And it's a topic that seems to be of increasing interest to the broader development community as well.

Despite the conceptual differences between object oriented and pure procedural languages, they do in fact share common roots and a number of key features. Chief among these is that programs manipulate data and state. Computer scientists characterise this style of programming as imperative programming – the developer writes a series of statements that tell the computer what to do, changing the state of variables in order to complete whatever task the program is performing.

In contrast, functional programming (FP) has no concept of state – there are no variables that the developer manipulates. Instead, there are a series of functions which are applied to data and evaluated. Some of the data that these functions are applied to are themselves functions, and may deliver other functions as results. On the face of it this might seem like a bizarre and alien concept, and indeed the first time that one comes across Haskell, or any other functional programming language, it does seem odd.

There is obviously a strongly mathematical flavour to Haskell, which this slim introductory volume does nothing to dispel. The academic tone is partly because the book is geared to the computer science student (complete with excercises at the end of each chapter), but it's also recognition of the roots of Haskell in the academic community.

The book opens with some introductory background and then moves on very quickly to syntax and program structure. The explanations are generally clear, and the text is illustrated with simple examples. The author has assumed no prior programming experience, but those who've programmed before in a non-FP language would probably appreciate a bit more guidance on the differences between the FP and non-FP way of doing things.

The book looks at key concepts such as data typing, curried functions, folding, filters, and so on. What becomes apparent is that the language is concise, elegant and extremely powerful. It leaves the developer reasoning about algorithms without having to worry too much about the plumbing. Those who've programmed with APL, for example, will find a fair degree of familiarity. Similarly, those who've come across lambda functions (which derive from FP) in other languages, such as Python or Ruby, will find that Haskell presents a much purer expression of functional programming.

For the practicing developer looking to utilise Haskell in action, however, this book is not ideal. Its emphasis is more on giving the reader a solid conceptual grounding rather than on more concrete programming tasks. While there are some extended examples in the latter part of the book, it's still by no means a very practically-focused tutorial.

Nevertheless, whether it's closures in Java, lambda functions in Python or Ruby, XSLT transformations, or new ideas in parallel computation, FP is providing input to many different areas of modern development. This book provides a good introduction to the concepts.

Programming in Haskell

Programming in HaskellVerdict: Functional programming is generating possible new approaches to many development issues - perhaps most importantly to parallel programming on multicore systems. This book is a good place to get your head around some of its ideas, even if you don't intend to add Haskell to your program language arsenal right now.

Author: Graham Hutton

Publisher: Cambridge University Press

ISBN: 0521692695

Media: Book

List Price: £23.99

Current Reg price: £23.99 (inc VAT)

Buy this book at Register Books (price subject to change). ®

Secure remote control for conventional and virtual desktops

More from The Register

next story
Why has the web gone to hell? Market chaos and HUMAN NATURE
Tim Berners-Lee isn't happy, but we should be
Apple promises to lift Curse of the Drained iPhone 5 Battery
Have you tried turning it off and...? Never mind, here's a replacement
Microsoft boots 1,500 dodgy apps from the Windows Store
DEVELOPERS! DEVELOPERS! DEVELOPERS! Naughty, misleading developers!
Eat up Martha! Microsoft slings handwriting recog into OneNote on Android
Freehand input on non-Windows kit for the first time
Linux turns 23 and Linus Torvalds celebrates as only he can
No, not with swearing, but by controlling the release cycle
Scratched PC-dispatch patch patched, hatched in batch rematch
Windows security update fixed after triggering blue screens (and screams) of death
This is how I set about making a fortune with my own startup
Would you leave your well-paid job to chase your dream?
prev story

Whitepapers

A new approach to endpoint data protection
What is the best way to ensure comprehensive visibility, management, and control of information on both company-owned and employee-owned devices?
Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Maximize storage efficiency across the enterprise
The HP StoreOnce backup solution offers highly flexible, centrally managed, and highly efficient data protection for any enterprise.
How modern custom applications can spur business growth
Learn how to create, deploy and manage custom applications without consuming or expanding the need for scarce, expensive IT resources.
Next gen security for virtualised datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.