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

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?