[Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

[Bardur Arantsson]

Alexander Solla wrote:

> I happen to only write Haskell programs that terminate.  It is not that
> hard.  We must merely restrict ourselves to the total fragment of the
> language, and there are straight-forward methods to do so.

Do (web/XML-RPC/whatever) server type programs terminate?