strong typing?

hw hw <>
Fri, 19 Oct 2001 09:14:51 +0300

Hello S.D.Mechveliani,

Thursday, October 18, 2001, 3:10:43 PM, you wrote:

SDM> I am not a specialist and can mistake and confuse things, but I
SDM> wonder whether a notion of a strongly typed language is so
SDM> scientifically important.
SDM> The same is with the `compile-time' and `run-time' separation.
Because by properly separating these concepts You can reason about the
program and You can enforce (or ensure) some properties of program.
This may be important in some critical areas of application of
software where there is a need to have programs with some proven
capabilities (time-space constraints, behavioral characteristics
(i.e. unhandled dynamic dispatch methods in OOP and so on)).

From the other point of view, the goal of science is to
_separate_and_study_ concepts ;-)

Best regards,