From: Matthias Luedtke <matthias-luedtke-usenet@...>
Date: 2005-10-04T19:16:47+09:00
Subject: Re: Functional Programming? (was Re: Lazy evaluaton)

Robert Klemme wrote:
> IIRC another property of (pure) functional programs is that they are 
> easier to reason about mathematically and thus to verify (probably 
> because functions resemble very much mathematical functions).

That is certainly true! Just think of the functions recursive nature and 
how structural induction comes in handy here. Imperative programs often 
require harder tools such as e.g. Hoare logic. In theory, at least... ;)

Regards,
Matthias