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

时间:2024-07-27 08:41:35
【文件属性】:

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

文件大小:20KB

文件格式:ZIP

更新时间:2024-07-27 08:41:35

系统开源

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


【文件预览】:
talks-master
----LICENSE(34KB)
----README.md(19KB)

网友评论