个人中心
文章发布
退出
作者热门文章
- 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
我有以下代码: interface F { (): string; a(): number; } function f() { return '3'; } f['a'] = f
比如我有一个 vector vector > v={{true,1},{true,2},{false,3},{false,4},{false,5},{true,6},{false,7},{true,8
我需要编写一个要在 GHCi 上运行的模块，并将函数组合为相同的函数。这个(经典的fog(x) = f(g(x)))运行: (.) f g = (\x -> f (g x)). 当我尝试这样写时出现问
动态规划这里有一个问题 大写字母AZ对应于整数[-13,12]，因此一个字符串对应于一整列。我们将对应的整列的总和称为字符串的特征值。例如:字符串ACM对应的总体列为{-13,-11,-1}，则ACM
我想知道为什么 F-Sharp 不支持无穷大。 这适用于 Ruby(但不适用于 f#): let numbers n = [1 .. 1/0] |> Seq.take(n) -> System.Div
如何从已编译的 F# 程序中的字符串执行 F# 代码？ 最佳答案 这是一个小脚本，它使用 FSharp CodeDom 将字符串编译为程序集，并将其动态加载到脚本 session 中。 它使用类型扩展
有什么方法可以在 F# List 和 F# Tuple 之间转换？ 例如: [1;2;3] -> (1,2,3) (1,2,3,4) -> [1;2;3;4] 我需要两个函数来做到这一点: le
我想将一个或多个 .fsx 文件加载到 F# 交互中，并将 .fsx 文件中定义的所有函数都包含在作用域中，以便我可以直接使用控制台中的功能。 #load 指令执行指定的 .fsx 文件，但随后我无法
我正在尝试像 this page 中那样编写 F 代数.不同之处在于，不是用元组组合，而是像这样: type FAlgebra[F[_], A] = F[A] => A def algebraZip[
给定一个 F# 记录: type R = { X : string ; Y : string } 和两个对象: let a = { X = null ; Y = "##" } let b = {
所以我们有一组文件名\url，如file、folder/file、folder/file2、folder/file3、folder/folder2/fileN等。我们得到一个字符串，如文件夹/。我们想
假设我有一个字符串“COLIN”。 这个字符串的数值是: 3 + 15 + 12 + 9 + 14 = 53. 所以 A = 1, B = 2, C = 3, and so on. 为此，我什至不知道
在 C# 中，我有以下代码来创建一个对象实例。 var myObject = new MyClass("paramvalue") { Property1 = "value1" Proper
即，标准库中有这样的函数吗？ let ret x _ = x 为了保持代码可读性，我想尽量减少自制基本构建功能构建块的数量，并使用现有的东西。 最佳答案 不。你可能想看看 FSharpX。 关于f#
目前，我有一个函数可以将列表中每个列表的第一个元素( float )返回到单独的列表。 let firstElements list = match list with | head:
我刚刚解决了problem23在 Project Euler 中，我需要一个 set 来存储所有丰富的数字。 F# 有一个不可变集合，我可以使用 Set.empty.Add(i) 创建一个包含数字 i
F＃语言具有计算自然对数的函数log和计算以10为底的对数的log10。 在F＃中以2为底的对数的最佳计算方法是什么？ 最佳答案 您可以简单地使用以下事实：“ b的a对数” = ln（b）/ ln（a
动机 我有一个长时间运行的 bool 函数，它应该在数组中执行，如果数组中的元素满足条件，我想立即返回。我想并行搜索并在第一个完整线程返回正确答案时终止其他线程。 问题 在 F# 中实现并行存在函数的
我最近完成了一个生成字符串列表的项目，我想知道执行此操作的最佳方法。 字符串生成是上下文敏感的，以确定它是否可以接受(这是游戏中的一系列游戏，所以你必须知道最后一次游戏是什么) 我这样做的方法是使用一
就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the he
我是一名优秀的程序员,十分优秀！