Friday 20 April 2007

Haskell for GUI Programing

Haskell has two popular graphical toolkits, Gtk2Hs and wxHaskell. I have only used Gtk2Hs, therefore, my comments come from my experience with it, but since i will speak about GUI programing in general, i guess they could perfectly apply for wxHaskell too.

Programing on Haskell offers many benefits; and i have found it gives a good combination of simplicity and robustness for the graphical user interface development model.

Simplicity: it's very easy to program graphical user interfaces on Haskell; you can get a window and a very useful widget inside it with few lines of code. Haskell as a declarative language takes to the extreme the rapid application development cycle, I'd dare to say that it perfectly can compete with the so called scripting languages in this regard.

GUI programing using gtk2hs is just a big IO monad; and though many Haskell'ers can find this 'ugly' , don't fool yourself, monadic programing and the 'do' notation offers a concise and clean way of writing easy-to-read imperative-like code, and it's when the code becomes bigger and bigger when you realize of its beauty; graphical interfaces can gradually grow very much, so i see this like an advantage and good reason for using Haskell too.

Robustness: I think we pretty much know the main difference and advantages of Haskell over other traditional programing languages here (laziness, purely functional, type inference, etc) and how all these features make a perfect combination to keep your program bug-free and easy to change/fix ; for example, it's amazing to see how you can design and develop a whole graphical user interface without mutable variables or global variables (i admit i found this a bit difficult to believe before using Haskell) ,but it's possible! , and it offers so _many_ advantages, the more significant for me has been the lack of bugs coming from these imperative features, it also helps you to reason about the layout design from other perspective, which is very interesting and benefits a more modular approach instead of an ad-hoc design where you just keep updating bunch of global data structures in-place through signals and events.

Other definitive characteristic that makes robustness possible is the static typing and type system. Haskell helps you to reason about 'types' all the way down along your code, and that's not less true for GUI programming. Many dynamic and weakly typed languages have tried to show to the programming community they are the best way of getting GUI stuff done right and they usually strength the fact of rapid development cycles in opposition to lower-level approaches; really, i can understand this position a bit, most of the first GUI systems came from these kind of languages, nevertheless, i think most of them are in disadvantage with Haskell due to the type system.

Types help both to the machine and to our human brain to think in terms of a common abstraction as an interface for an universe of different values. We can reason 'in harmony' with our computer in an easier way through these abstractions than with a dynamic, typeless language. This kind of reasoning, evidently, will help to the programmer to get more robust programs (and i think i don't need to explain here why that's important for GUIs) and at the same time i have realized this reasoning fits well into the different GUI components representations too; what i am saying here, is that types are practically (and conceptually) a better representation than the objects offered by most of the object-oriented programing languages to work and manipulate graphical elements, and i highly think this is going to contribute to the popularity of Haskell in the future, as a possible replacement or improvement for many aspects of the OOP approach.

And if those aren't enough reasons to use Haskell for GUIs; here is the third one: it's fun.

Since Haskell gives you so many features to make simplicity and robustness of code a reality without too much effort, you pretty much can enjoy coding without worrying about low-level details or possibles unwanted side-effects behaviours, what else could you ask for? :-)

Ok, too much keyboarding for now ... if you still aren't convinced, there is only one way of knowing for sure, just give it a try!

Cheers,

Wednesday 18 April 2007

Himerge updated


Today I have released new code (bringing new features and bugs fixes) for himerge; though the development has been very slow (and stopped) lately because I have been busy with other stuff, I have always took some of my free time to work around himerge during the last months. The main difference between this code and the previous version is that this one starts supporting ghc6.6 and the new gtk2hs API.

These are also some of the other major changes introduced on the code:
  • Added a new tool-bar layout.
  • Use flag browser improved.
  • Package branch browser improved.
  • Removed the 'clean' option.
  • Added mozilla support into the main 'Package Information' view to show the eix search result on html/css. So we can directly visit the listed homepage of the package, among other possible things, like for example, to visit html documentation about himerge (not yet implemented) straight from this view.
  • Fixed some bugs on the main tree-views.
  • From a developer point of view (not visible to the user): added type signature to most of the functions, fixed some warnings, and part of the code re-written for easier reading.
  • And many more!
Since there were so many changes ; I decided to start another darcs repository from scratch and change its name to himerge-darcs/ , to clearly state this is the darcs version of the package; since i hope to start releasing tarball packages versions soon.

Download this newcode using:
darcs get --partial http://www.haskell.org/~luisfaraujo/himerge-darcs/

There also exist a snapshot of the previous darcs version on himerge-009 (this version compatible with ghc6.4 and gkt2hs 0.9.10); it is highly recommended to stop using this version though.

You can check out the himerge temporary web-site at my projects site ; please, read those instructions on the site and the readme.txt file before using himerge. I also updated its ebuild on the Gentoo Haskell overlay, try it out with 'emerge himerge-darcs'.

This isn't yet a final release ; therefore I encourage everybody to play with caution and report any bug ; mainly if it will come with patches :-)

Enjoy!

Tuesday 17 April 2007

Let's start blogging!

After so much thinking ... i have decided to start blogging.

I expect to post here articles related to programming and free software in general. I will also use this site as a way to report status about my projects or to send any comment i would like to share with the community.

yay!