Re: Some exciting new trends in concurrency and software design

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 23 Jun 2011 11:59:51 +0200, Yannick Duch�ne (Hibou57) wrote:

[...]
> with FP, you will not bother about defining a  
> range for an integer type, instead, it may rely on big numbers, which are  
> obviously less efficient and only limited by available memory and CPU  
> speed, which is obviously not acceptable at all in many case.

This is a weak argument. The strong one is that the mathematical numbers
used in engineering are simply incomputable. The question is not efficiency
("how"), it is "if": you cannot represent numbers involved, e.g. real
numbers. Engineering computations are on the model numbers, where range is
just one constraint among others.

All programming is actually about constraints, which makes things so hard,
mathematically, algorithmically and also in terms of types (e.g. LSP
violation). Ignoring this does not help.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de