[SystemSafety] Accuracy of COVID modeling code

Robert P. Schaefer rps at mit.edu
Wed May 6 19:27:53 CEST 2020

Hi all,

Having decades of programming in both the research and commercial fields, I would suggest entering some variation
of: strong typing, strongly typed, or enforced typing into the IEEE and ACM databases, for evidence.

Most commercial languages to not enforce typiing strongly because, I believe, you can get a bad program that 
compiles and runs into production quicker than taking the time to test a program into correctness.

Non-strongly typed languages avoid type enforcement tests that would, in consequence, take time to fix when compared to 
strongly typed languages. I blame capitalism.

bob schaefer
research engineer
mit haystack observatory

> On May 6, 2020, at 12:58 PM, Derek M Jones <derek at knosof.co.uk> wrote:
> Peter,
>>> I'm not aware of any evidence showing that any language is any better
>>> than any other language with regard to reliable scientific computations.
>> There is a large amount of work on the numerical accuracy of computations, going back many decades.
> Indeed there is.  How does this relate to one language being any better
> than another?
> -- 
> Derek M. Jones           Evidence-based software engineering
> tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety

More information about the systemsafety mailing list