科学探索|麻省理工为高性能计算机开发新的编程语言( 二 )


展望未来,他们的主要目标之一是提升 ATL 的可扩展性,以便它能够用于我们在现实世界中看到的更大型的程序 。
此前这些程序的优化工作,通常需要人工来完成 。除了总有临时需要解决的问题、还总涉及反复实验,因而难免发生大量的错误 。
【科学探索|麻省理工为高性能计算机开发新的编程语言】好消息是,借助 ATL,我们有望遵循一种更具原则的方法来重写这些程序 —— 且这么做更加容易,也更能保证程序的正确性 。