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

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