援引维基百科的说法,“科学家们主要分为理论科学家和实验科学家。前者主要致力于建立新的模型来解释那些已经存在的数据,而后者主要是对建立的模型通过各种测量来进行测试。但是在实际的操作过程中,二者之间的区别却不是那么的泾渭分明,实际上很多科学家都是两者通吃的。”科学家们用特定领域的语言来描述理论模型,例如数学。从计算科学的诞生的早期,这一法宝就开始尽可能多的弥补科学模型和可执行的代码之间巨大鸿沟。从整个历史中,我们可以清晰的看到,几乎所有的科学家都开始学习使用数学工具,而一些科学家,比如理论科学家,我们已经很难从他们所从事的工作找到他们和一个纯粹的数学家之间的区别了。如果我们能使编程更像是一门数学,我们就能更大程度的帮助科学家和工程师们。
John Backus 曾在1950年初设计过一个叫做“IBM Mathematical Formula Translating System,”的系统,这就是FORTRAN语言的前身。直到今天,FORTRAN仍然因为它能编写高效的数学计算程序而广受学界的欢迎。J