个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
26
4
我是 Racket 的新手，尽管到目前为止我已经设法使用 servlet 并让一些东西发挥作用。我现在想做的是验证一个简单的用户名/密码 POST 请求。我已经通过“web-server/formlets”模块成功做到了这一点，但 formlet-process 函数迫使我使用以下模式命名所有输入:input_0、input_1 等，我发现对于表单中存在的每个输入元素来说都很尴尬和不方便。我不明白不允许用户覆盖要由 formlet 处理的 HTML 输入的自动命名的原因:
(define (get-username/password request)
(define login-formlet
(formlet
(#%# ,{input-string . => . username}
,{input-string . => . password})
(values username password)))
(formlet-process login-formlet request))
上述函数期望 POST 请求在 input_0 键中包含用户名，在 input_1 键中包含密码，因此我的 HTML 模板被迫将“用户名”输入为 input_0，“密码”输入为 input_1(否则 formlet-process 会报错):
<html>
<head>
<title>Please login</title>
</head>
<body>
<form action="" method="post">
<label for="username">Username:</label>
<input type="text" name="input_0" required>
<label for="password">Password:</label>
<input type="password" name="input_1" required>
<button type="submit" value="Login">Login</button>
</form>
<div>
<p></p>
</div>
</body>
</html>
如果有一种方法可以覆盖自动命名，我找不到它(希望我没有错过文档中的任何内容!):
https://docs.racket-lang.org/web-server/formlets.html
所以我决定退后一步，尝试自己进行处理，结果是:
但是文档本身不鼓励使用它(没有指出替代的原始安全方法!)，因为可能很难从中获得经过净化的值。所以这是我的问题:是否有一种内置方法可以正确、安全地从 POST 请求中提取/处理经过净化的值，而不需要 Racket 中的内置或简单函数？我真的感兴趣不依赖于任何第 3 方包或模块，而是 Racket 已经提供的。
提前致谢!
最佳答案
从最后一个问题开始，手动提取绑定(bind)的正确方法(web-server/formlet 在内部使用)是 request-bindings/raw与对 binding:form 和 binding:file 结构进行操作的实用函数相结合，例如 bindings-assq-all。文档绝对应该更改以更清楚地指向未弃用的 API。
就 formlet 而言，输入名称的模式是 formlet 抽象设计的一部分，但您不希望直接与之交互。也许您已经知道这一点，但是，由于您提到了 formlet-process 而不是 formlet-display，我想知道您是否可能偶然发现了 web-server/formlets 无需看到所有背景(这很容易做到!)。有一个academic paper详细描述了设计，但我会尝试在这里进行一些介绍(使用论文中的示例)。
假设您要创建一个表单组件来询问用户日期。您需要为两个不同的任务编写代码:生成 HTML 和处理提交的请求。然而，这些任务是密切相关的。如果您更改生成的 HTML(可能包括多个输入元素)，您通常必须对处理代码进行相应的更改。我们想要一种方法来帮助保持显示和处理代码同步。此外，一旦您设计了一个出色的日期组件，您可能希望以相同的形式多次使用它:也许您甚至想构建一个日期范围组件。由于 HTML 输入元素由唯一的 id 标识，因此您需要一些抽象方法来使代码可重用。
Formlet 为这些问题提供了解决方案。 Formlet 封装了呈现和处理代码，使它们保持同步。为了让您的 formlet 真正封装某些功能单元，web-server/formlets 库会生成所有 id。
这有点抽象，所以下面是使用 formlet 获取用户名和密码的示例:
#lang web-server/insta
(require web-server/formlets)
(define (start request)
(define-values [username password]
(get-username+password-from-user))
(redirect/get)
(response/xexpr
`(html (head (title "You Logged In")
(meta ([charset "utf-8"]))
(meta ([name "viewport"]
[content "width=device-width,initial-scale=1"])))
(body (h1 "You Logged In")
(p (b "Your username: ") ,username)
;; obviously don't do this for real:
(p (b "Your password: ") ,password)))))
(define login-formlet
(formlet
(#%# (p (label "Username: "
,{=> (to-string
(required
(text-input
#:attributes '([required "required"]))))
username}))
(p (label "Password: "
,{=> (to-string
(required
(password-input
#:attributes '([required "required"]))))
password}))
(p (input ([type "submit"]
[value "Log In"]))))
(values username password)))
(define (get-username+password-from-user)
(send/formlet
login-formlet
#:wrap
(λ (rendered-form)
`(html (head (title "Please Log In")
(meta ([charset "utf-8"]))
(meta ([name "viewport"]
[content "width=device-width,initial-scale=1"])))
(body (h1 "Please Log In")
,rendered-form)))))
关于racket - Racket 中的表单验证，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/60094572/
26
4
0
我意识到“强类型”和“软类型”的定义是松散且易于解释的，但我还没有找到关于无类型 Racket (根据我的理解意味着动态类型)和类型 Racket 的明确定义。 再一次，我确定它不是那么简单和干燥，但
我来自 Java 和 Python，很难理解面向对象代码在 Racket 中的工作方式。 给定 (define food% (class object% (super-new) (i
我安装了 Sublime Text - Racket Package，但没有用。出现此错误。我该怎么办。 [Errno 2] No such file or directory: 'racke
.rkt是“常规”Racket 源代码的常规文件扩展名。在文档中，我还看到了 .rktl 和 .rkts 正在使用。什么是.rktl和 .rkts用于，还有我不知道的更多 Racket 文件扩展名吗？
假设我为具有“中心”的集合定义了一个结构体。 (struct centered-set (center elems)) 我想保证以下条件。 elems是一个集合。 center是 elems 的成员(
我想要一个函数，它接受一个字符串，由一个 python 格式的树组成，就像这样 "[0, [1, 0]]" 并输出一个可用的 Racket 列表，像这样 '(0 (1 0)) 我的第一步是将字符串转换
是否有 Racket 内置函数列表？我正在寻找类似 this one 的列表对于 python 。我似乎无法在文档中找到一个。 最佳答案 这里有一些列表: Racket文档中所有函数的索引: http
虽然 Racket 允许创建 GUI 应用程序(甚至游戏)，但我想知道它是否适合与 Things 一样在视觉上发布商业应用程序或 OmniOutliner .这样的应用程序会感觉原生还是看起来像一个不
和node的npm一样，我们使用package.json来解决依赖。 我试过raco pkg，它似乎只是一种开发/发布包的方式，而不是解决外部依赖。 最佳答案 如上所述，Racket 中的 info.
我是 Racket 的新手，尽管到目前为止我已经设法使用 servlet 并让一些东西发挥作用。我现在想做的是验证一个简单的用户名/密码 POST 请求。我已经通过“web-server/formle
我正在为现场编码表演创建一个程序，为此我需要一个基本的 S 表达式代码编辑器(我输入的内容将在适当的语法上下文中评估为 Racket 代码)。 由于 DrRacket 本身是用 Racket 编写的，
和node的npm一样，我们使用package.json来解决依赖。 我试过raco pkg，它似乎只是一种开发/发布包的方式，而不是解决外部依赖。 最佳答案 如上所述，Racket 中的 info.
我正在尝试在 Racket 中编写模块元语言 mylang ，它接受将修改后的主体传递给的第二种语言，例如: (module foo mylang typed/racket body) 相当于: (m
我没有运气找到一种方法来按照我想要的方式进行这项工作，所以如果有人能提供帮助，我将不胜感激。 我想要的是能够在终端上做到这一点: > racket 然后能够输入 Racket 命令并让它们编译。像，
我来自 Java 世界，对 Racket 充满热情。 想知道类似Maven的工具在哪里。如果你不熟悉Maven，还有Scala中的SBT，Android中的gradle，Elixir中的mix等，作为
在 typed/racket 我有一个像 [(? procedure? p ) (apply p xv*)]会导致错误: Type Checker: Function has no cases in:
我是 Lisp-scheme 的新手，对整个函数范式还很陌生，我目前正在做一个任务，要求我重载一个名称相同但参数集不同的函数 racket .下面是我试图实现的一个例子: #lang racket (
有没有办法在 Racket 中获取对象的唯一标识符？例如，当我们使用 Racket 的 eq?运算符来检查两个变量是否指向同一个对象，它使用什么标识符来实现这种比较？ 我正在寻找类似 python 的
当我在 Dr. Racket 或从命令行运行我的测试时，失败的测试总是在一行上。 例如， (bad (interp-t-prog (list '(class posn extends object (
我有以下代码: (plot (function sin (- pi) pi #:label "y = sin(x)")) 但是在解决 SICP 时我没有遇到这样的结构:#:label "y = sin
我是一名优秀的程序员,十分优秀！