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