个人中心
文章发布
退出
作者热门文章
- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时，我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
24
4
我正在学习 Racket，并写下了这个定义:
(define y 2)
(define (f (x y))
(print x)
(print y))
当我评估 (f 1) 时，x 绑定(bind)到 1，而 y 绑定(bind)到2。这对我来说似乎很奇怪。这个表达式是如何扩展的？解释器用这个做什么？
最佳答案
Racket 中定义的语法在文档中。
3.14 Definitions: define, define-syntax, ...
(define id expr)
(define (head args) body ...+)
head = id
| (head args)
args = arg ...
| arg ... . rest-id
arg = arg-id
| [arg-id default-expr]
| keyword arg-id
| keyword [arg-id default-expr]
我的大部分 Lisping 都是 Common Lisp，其中方括号不是圆括号，所以我最初误读了语法。关于 [arg-id default-expr] 的部分意味着你可以有一个带有默认值的可选参数。所以
(define (f (x y)) …)
将 f 定义为接受 0 或 1 个参数的过程。如果未提供参数，则其默认值为 y。这就是为什么当你有一个较早的 y 定义时它起作用的原因。这也意味着您可以调用 (f)，并且您应该看到 y 打印的值:
Robby Findler 和 Tony Garnock-Jones 在 Racket 用户邮件列表中的主题 [racket] (define (f (x y)) body) when y has a previous definition 中向我指出了这一点.
这在 R5RS 方案中是不合法的。定义的定义在:
5.2 Definitions
Definitions are valid in some, but not all, contexts where expressions are allowed. They are valid only at the top level of a and at the beginning of a .
A definition should have one of the following forms:
(define <variable> <expression>)
(define (<variable> <formals>) <body>)should be either a sequence of zero or more variables, or a sequence of one or more variables followed by a space-delimited period and another variable (as in a lambda expression). This form is equivalent to
(define <variable>
(lambda (<formals>) <body>)).
(define (<variable> . <formal>) <body>)should be a single variable. This form is equivalent to
(define <variable>
(lambda <formal> <body>)).
Dr.Racket 不会接受您在 R5RS 语言中的定义:
关于scheme - Racket 如何处理(定义(f(x y))主体)？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24365591/
24
4
0
我试图将护照逻辑放入 Controller 文件中，但问题是当我将逻辑放入 Controller 中时，它告诉我“无法读取未定义的属性“主体””，但是当我将代码移至索引时，所有内容都会路由向右走 in
我正在学习 Javascript，我正在尝试创建一个简单的下拉菜单。我想要的功能的一个例子可以在谷歌主页的顶部菜单中看到，带有“更多”和“设置”下拉菜单。具体来说，当您单击关闭菜单时，菜单会消失。 我
我正在努力让 Swagger 正确呈现我的 ServiceStack 服务。 我希望看到一个 UserId 字符串作为表单参数，一个 PrivateCustomer 对象作为主体参数，但是尽管 Use
注意:由于随后的研究，这个问题已经完全重组。 我正在尝试从 Shiro 的主题 PrincipalCollection 中检索值.我在集合中添加了两个主体。 Username和 UUID .当我试图记
我们正在开发一个将 OAuth 2 用于两个用例的应用程序: 访问后端微服务(使用 client_credentials) 验证应用程序的用户(使用 authorization_code ，因此将用户
我有这段代码生成一个将 myNumber 乘以 5 的委托(delegate) ParameterExpression numParam = Expression.Parameter(typeof(i
我有一些jquery， $( document ).ready(function() { body=$(body).html; $("html").html(body); }); 这应
我创建了一个通用异常 DTO，它也扩展了 RuntimeException。通过这种方式，可以在应用程序中使用它，也可以将其用作 DTO。问题是当我将 DTO 应用于 ResponseEntity 构
在 Angular 5 HttpClient 中，我可以通过这种方式设置 HttpParams()。 const body = new HttpParams() .set('email', '
我正在从 RabbitMQ 读取数据，如下所示: connection = factory.newConnection(); ch = connection.createChannel() ; Str
如何使用不同类型的调用和响应主体来改造 PUT？我有一个错误限制。类型必须相同 and 。响应bodie可以包含int值，但call不应该，因为当我用int值初始化CallBody对象时，它已经包
原则上我想做这样的事情: #grab some value from outer source (i.e. file or list defined by another programer) set
我知道如何使用TextureRegions 创建动画并将其应用于非box2d 游戏中的对象。 但是在 libgdx 的 box2d 中，我不知道该怎么做。在CocosD2中，Sprite对象中有run
我有这段代码生成一个将 myNumber 乘以 5 的委托(delegate) ParameterExpression numParam = Expression.Parameter(typeof(i
我已经计算了花括号的数量，但无法弄清楚为什么类主体不完整。每次我试图修复类(class)时，都会把整个类(class)弄乱。问题出在代码中的最后一个类。最后一个花括号给我带来了类里面的麻烦。我正在使用
有人知道吗？我只能看到 ApplyTorque 和 SetAngularVelocity，我只想在将对象添加到模拟之前旋转对象，例如:所以我有一个 crate 倾斜靠在墙上，另一个 crate 是平的
我可以获得如何让图像出现在 box2d 主体上的简单答案吗？我尝试为图像和主体创建 x 和 y int，但是一旦主体移动，图像就会保持静态。如果您确实回答，请尽可能解释一下代码。如果您对我的完整源代码
我知道我可以通过使用 PolygonRegion 来做到这一点，但问题是我使用 scene2d.Stage 和几个 Actor 。您可能知道阶段使用 SpriteBatch 而我无法渲染 Polygo
您好，我有以下代码: function redirect(){ window.location.href='logged_out_chat.php'; } ...在我的标题和以下正文标记中:
我在 didBegin(contact:) 中触发了 SpriteKit 物理接触。我为要移出屏幕的 Dot 对象的实例抓取物理体，但是当我尝试像这样更改其位置时，没有任何反应: 第一种方法 /* I
我是一名优秀的程序员,十分优秀！