网络(Ur/Web)

Ur/Web:一个简单的Web编程模型。万维网已经从一个文档交付平台逐渐发展成为一个分布式编程的体系结构。在任何Web应用程序都必须管理的一组相互连接的语言和协议中,这种很大程度上是无计划的演变。本文介绍了Ur/Web,一种特定于领域的、静态类型的函数式编程语言,它为现代Web应用程序的编程提供了一个简单得多的模型。Ur/Web的模型是统一的,在这种模型中,单一编程语言中的程序根据需要被编译成其他“Web标准”语言;支持对Web特定状态的新颖封装;并公开了简单的并发性,程序员可以通过事务和协作的混合来推理分布式多线程应用程序先发制人。我们将介绍Ur/Web的主要特性,并讨论语言实现和使用它的Web应用程序。