`
lobin
  • 浏览: 116470 次
  • 性别: Icon_minigender_1
  • 来自: 上海
社区版块
存档分类
最新评论
Rss 文章列表
scheme def, let and bind > (let () ()) $30 = () 返回一个空的form: () > (list? (let () ())) $31 = #t list?检查返回的()是否是一个列表, 这里认为()是一个空列表。 > () $32 = () > (list? ()) $33 = #t > (define x     (let       ((a "this is a"))       a)) > x $22 = "this is a" javascript: let fx2 = ...
lambda abstraction: (λx.t) lambda abstraction是一个匿名函数定义:它有一个输入x,然后将输入x替换为t。它其实定义的是这样一个匿名函数:传入x,返回t。例如:λr.3.14 * r2为 f(r)= 3.14 * r2的lambda abstraction。 lambda abstraction的函数定义为仅仅"sets up"了一个函数,相当于定义了一个函数,但并不调用。 lambda abstraction同样抽象为:绑定变量x到t。 application: (ts) application表示将一个函数t应用于输入s,也就是说 ...
The symbolic, non-executable form of a method handle's invocation semantics. It consists of a series of names. The first N (N=arity) names are parameters, while any remaining names are temporary values. Each temporary specifies the application of a function to some arguments. The functions are method ...
  (define r (lambda ;; param map ;; param start represents the start address/node (map start) (display (string-append "address/nodes: " (car map))) (newline) (display "------") (newline) (display (list-ref map 1)) (newlin ...
list   user=> '(1 2 3 4 5 6) (1 2 3 4 5 6) user=> (list) () user=> (list 1 2 3 4 5 6) (1 2 3 4 5 6) user=> (list* 1 2 3 4 5 6 '(7 8 9)) (1 2 3 4 5 6 7 8 9)   user=> (list? '(1 2 3 4 5 6)) true   vector user=> [1 2 3 4 5 6] [1 2 3 4 5 6] user=> (vector) [] use ...
lambda         lambda 在计算机编程语言中,如Lisp,Python和Ruby, λ是一个算子,用于表示匿名函数或者闭包,后跟λ演算的用法。 在C#编程语言中,一个λ表达式是一个包含表达式和语句的匿名函数。 非λ语言是一种基于组合逻辑的函数式编程语言,一个简单化的λ演算并不包含λ所有的内容,   lambda term   一个有效的lambda表达式被称为lambda term。 规则: 一个变量x,那么它自己(x)就是一个有效的lambda term; 如果t是一个lambda term,并且x是一个变量,那么(λx.t)也是一个lamb ...
Global site tag (gtag.js) - Google Analytics