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, hw mailto:[EMAIL PROTECTED] _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
