程序员为什么还要刷题 talks:我的演讲集

程序员常刷题我的谈话这是我的演讲集。最近的“了解Haskell中的分布式计算”在1960年代后期，已经确立的事实是，任何任意复杂的编程语言都可以表示为一种明显的“核心”语言。 Lambda演算或图灵机是此类语言的著名示例之一。然而，它们都有共同的约束——只能对顺序计算进行建模的能力。随着分布式系统和多核架构的兴起，行业需要一种新的形式来表示并发运行的计算。这个演讲是对过程演算的介绍-一系列对并发系统进行建模的相关形式。它们描述了一组独立过程和代数定律之间的高级交互，这些定律允许分析和推理过程描述的等价性。本次演讲详细介绍了两种过程演算：Pi演算及其自然继承者Rho演算。称为分布式进程（也称为Cloud Haskell）的Haskell库将用于显示实时代码示例。 Cloud Haskell是一个允许消息传递编程风格的库，类似于Erlang或Akka (Scala)中已知的那种。参加者应该熟悉简单的Haskell语法和Lambda演算，但是也将介绍对语言和形式主义的一些有限介绍。软件工程“扳手打破了CAP定理”