【文件属性】：
文件名称：urweb:UrWeb编程语言
文件大小：1.13MB
文件格式：ZIP
更新时间：2021-04-30 01:47:30
StandardML
Ur / Web编程语言
用于Web应用程序的特定于域的功能编程语言的实现。 请访问以获取更多信息！ 总结如下：
Ur是ML和Haskell的传统编程语言，但具有明显丰富的类型系统。 Ur是功能性的，纯净的，静态类型的和严格的。 Ur支持基于行类型的一种强大的元编程。
Ur / Web是Ur，外加一个特殊的标准库以及用于解析和优化的关联规则。 Ur / Web支持构建由SQL数据库支持的动态Web应用程序。 标准库的签名可以使非常类型化的Ur / Web程序在广义上“不会出错”。 它们不仅不会在特定的页面生成期间崩溃，而且它们也可能不会崩溃：
遭受任何形式的代码注入攻击
返回无效HTML
包含无效的应用程序内链接
HTML表单与其处理程序期望的字段之间不匹配
包括客户端代码，这些代码对远程Web服务器提供的“ AJAX”样式的服务做出了错误的假设
尝试无效SQL查询
与SQL数据库