02
2018
01

电脑行为管理软件函数式编程语言

函数式编程语言一般不操作状态,程序中生成的副作用就小很多。这意味着这类语言一直在执行并行算法。高度并行系统的圣杯是避免重叠“无意”的状态操作。死锁、竞态条件以及被破坏的不变量都是没有同步状态操作代码的经典问题。通过线程、共享内存以及锁定来并行编程和同步都是非常困难的,所以为什么不一起避免?因为函数式编程语言鼓励程序员编写无状态的算法,这样编译器就可以推到出代码的自动对应性。这意味着可以利用多核处理器的强大能力,而没有管理线程、锁定和共享内存的巨大负担。

«1»