In this paper we describe the implementation of several graphical programming paradigms (Model View Controller, Fudgets, and Fimctional Animations) uaing the GUI library TkGofer. This library relies on a combination of monads and multiple-parameter type classes to provide an abstract, type safe interface to Tcl/Tk.We show how choosing the right abstractions makes the given implementations surprisingly concise and easy to understand.

Domain-specific embedded languages (DSELs) expressed in higher-order, typed (HOT) languages provide a composable framework/or domain-specific abstractions. Such a framework is o] greater utilsty than a collectwn o/stand-alone domain-specific languages. Usually, embedded domain speczfic languages are build on top o] a set o] domain specific primitwe ]unctions that are ultimately implemented using some ]orm o/]oreign ]unction call. We sketch a general design pattern/or embedding chent-server style services into Haskell using a domare specific embedded compiler /or the server's source language. In particular we apply this idea to implement Haskell/DB, a domain specific embdedded compiler that dynamically generates o/SQL queries #ore monad comprehensions, which are then executed on an arbitrary ODBC database server.

For many years I had been fruitlessly trying to sell functional programming and Haskell to solve real world problems such as scripting and data-intensive three-tier distributed web applications. The lack of widespread adoption of Haskell is a real pity. Functional programming concepts are key to curing many of the headaches that plague the majority of programmers, who today are forced to use imperative languages. If the mountain won't come to Mohammed, Mohammed must go to the mountain, and so I left academia to join industry. Instead of trying to convince imperative programmers to forget everything they already know and learn something completely new, I decided to infuse existing imperative object-oriented programming languages with functional programming features. As a result, functional programming has finally reached the masses, except that it is called Visual Basic 9 instead of Haskell 98.