procedure? -- r7rs Definition

§

Kind

§

type-predicate;

Extended by

§

• procedure? (from vonuvoli);

Procedure signature

§

Procedure variants:

• ((procedure) -> (true))
  • input: a value of type procedure;
  • output: a value of type true;
• ((any) -> (false))
  • input: a value of type any;
  • output: a value of type false;

Exports

§

• scheme:base -- (scheme base);

Exports recursive

§

• scheme -- (scheme);

Description

§

(procedure? obj)

Returns #t if obj is a procedure, otherwise returns #f.

(procedure? car)            ===>  #t
(procedure? 'car)           ===>  #f
(procedure? (lambda (x) (* x x)))
                            ===>  #t
(procedure? '(lambda (x) (* x x)))
                            ===>  #f
(call-with-current-continuation procedure?)
                            ===>  #t

---

The text herein was sourced and adapted as described in the "R7RS attribution of various text snippets" appendix.

Referenced-types

§

• procedure;
• true;
• any;
• false;