Movatterモバイル変換


[0]ホーム

URL:


[LISPWORKS][Common Lisp HyperSpec (TM)][Previous][Up][Next]


F

falsen. thesymbolnil, used to represent the failure of apredicate test.

fbound ['ef,band]adj. (of afunction name)bound in thefunctionnamespace. (Thenames ofmacros andspecial operators arefbound, but the nature andtype of theobject which is theirvalue isimplementation-dependent. Further, defining asetf expanderF does not cause thesetf function(setfF) to become defined; as such, if there is a such a definition of asetf expanderF, thefunction(setfF) can befbound if and only if, by design or coincidence, a function binding for(setfF) has been independently established.) See thefunctionsfboundp andsymbol-function.

featuren. 1. an aspect or attribute of Common Lisp, of theimplementation, or of theenvironment. 2. asymbol that names afeature[1]. SeeSection 24.1.2 (Features). ``The:ansi-cl feature is present in all conforming implementations.''

feature expressionn. A boolean combination offeatures used by the#+ and#-reader macros in order to direct conditionalreading ofexpressions by theLisp reader. SeeSection 24.1.2.1 (Feature Expressions).

features listn. thelist that is thevalue of*features*.

filen. a named entry in afile system, having animplementation-defined nature.

file compilern. anycompiler whichcompilessource code contained in afile, producing acompiled file as output. Thecompile-file function is the only interface to such acompiler provided by Common Lisp, but there might be other,implementation-defined mechanisms for invoking thefile compiler.

file positionn. (in astream) a non-negativeinteger that represents a position in thestream. Not allstreams are able to represent the notion offile position; in the description of anyoperator which manipulatesfile positions, the behavior forstreams that don't have this notion must be explicitly stated. Forbinarystreams, thefile position represents the number of precedingbytes in thestream. Forcharacterstreams, the constraint is more relaxed:file positions must increase monotonically, the amount of the increase betweenfile positions corresponding to any two successive characters in thestream isimplementation-dependent.

file position designatorn. (in astream) adesignator for afile position in thatstream; that is, the symbol:start (denoting0, the firstfile position in thatstream), the symbol:end (denoting the lastfile position in thatstream; i.e., the position following the lastelement of thestream), or afile position (denoting itself).

file streamn. anobject oftypefile-stream.

file systemn. a facility which permits aggregations of data to be stored in namedfiles on some medium that is external to theLisp image and that therefore persists fromsession tosession.

filenamen. a handle, not necessarily ever directly represented as anobject, that can be used to refer to afile in afile system.Pathnames andnamestrings are two kinds ofobjects that substitute forfilenames in Common Lisp.

fill pointern. (of avector) aninteger associated with avector that represents the index above which noelements areactive. (Afill pointer is a non-negativeinteger no larger than the total number ofelements in thevector. Not allvectors havefill pointers.)

finiteadj. (of atype) having a finite number ofelements. ``The type specifier(integer 0 5) denotes a finite type, but the type specifiersinteger and(integer 0) do not.''

fixnumn. aninteger oftypefixnum.

floatn. anobject oftypefloat.

for-valueadj. (of areference to abinding) being areference thatreads[1] thevalue of thebinding.

formn. 1. anyobject meant to beevaluated. 2. asymbol, acompound form, or aself-evaluating object. 3. (for anoperator, as in ``<<operator>>form'') acompound form having thatoperator as its first element. ``Aquote form is a constant form.''

formal argumentn.Trad. aparameter.

formal parametern.Trad. aparameter.

formatv.t. (aformat control andformat arguments) to perform output as if byformat, using theformat string andformat arguments.

format argumentn. anobject which is used as data by functions such asformat which interpretformat controls.

format controln. aformat string, or afunction that obeys theargument conventions for afunction returned by theformattermacro. SeeSection 22.2.1.3 (Compiling Format Strings).

format directiven. 1. a sequence ofcharacters in aformat string which is introduced by atilde, and which is specially interpreted bycode which processesformat strings to mean that some special operation should be performed, possibly involving data supplied by theformat arguments that accompanied theformat string. See thefunctionformat. ``In"~D base 10 = ~8R", the character sequences `~D' and `~8R' are format directives.'' 2. the conceptual category of allformat directives[1] which use the same dispatch character. ``Both"~3d" and"~3,'0D" are valid uses of the `~D' format directive.''

format stringn. astring which can contain both ordinary text andformat directives, and which is used in conjunction withformat arguments to describe how text output should be formatted by certain functions, such asformat.

free declarationn. a declaration that is not abound declaration. Seedeclare.

freshadj. 1. (of anobjectyielded by afunction) having been newly-allocated by thatfunction. (The caller of afunction that returns afreshobject may freely modify theobject without fear that such modification will compromise the future correct behavior of thatfunction.) 2. (of abinding for aname) newly-allocated; not shared with otherbindings for thatname.

freshlinen. a conceptual operation on astream, implemented by thefunctionfresh-line and by theformat directive~&, which advances the display position to the beginning of the next line (as if anewline had been typed, or thefunctionterpri had been called) unless thestream is already known to be positioned at the beginning of a line. Unlikenewline,freshline is not acharacter.

funbound ['efunband]n. (of afunction name) notfbound.

functionn. 1. anobject representing code, which can becalled with zero or morearguments, and which produces zero or morevalues. 2. anobject oftypefunction.

function block namen. (of afunction name) Thesymbol that would be used as the name of animplicit block which surrounds the body of afunction having thatfunction name. If thefunction name is asymbol, itsfunction block name is thefunction name itself. If thefunction name is alist whosecar issetf and whosecadr is asymbol, itsfunction block name is thesymbol that is thecadr of thefunction name. Animplementation which supports additional kinds offunction names must specify for each how the correspondingfunction block name is computed.

function celln.Trad. (of asymbol) Theplace which holds thedefinition of the globalfunctionbinding, if any, named by thatsymbol, and which isaccessed bysymbol-function. Seecell.

function designatorn. adesignator for afunction; that is, anobject that denotes afunction and that is one of: asymbol (denoting thefunction named by thatsymbol in theglobal environment), or afunction (denoting itself). The consequences are undefined if asymbol is used as afunction designator but it does not have a global definition as afunction, or it has a global definition as amacro or aspecial form. See alsoextended function designator.

function formn. aform that is alist and that has a first element which is thename of afunction to be called onarguments which are the result ofevaluating subsequent elements of thefunction form.

function namen. 1. (in anenvironment) Asymbol or alist(setfsymbol) that is thename of afunction in thatenvironment. 2. Asymbol or alist(setfsymbol).

functional evaluationn. the process of extracting afunctional value from afunction name or alambda expression. The evaluator performsfunctional evaluation implicitly when it encounters afunction name or alambda expression in thecar of acompound form, or explicitly when it encounters afunctionspecial form. Neither a use of asymbol as afunction designator nor a use of thefunctionsymbol-function to extract thefunctional value of asymbol is considered afunctional evaluation.

functional valuen. 1. (of afunction name N in anenvironment E) Thevalue of thebinding named N in thefunctionnamespace forenvironment E; that is, the contents of thefunction cell named N inenvironment E. 2. (of anfboundsymbol S) the contents of thesymbol'sfunction cell; that is, thevalue of thebinding named S in thefunctionnamespace of theglobal environment. (Aname that is amacro name in theglobal environment or is aspecial operator might or might not befbound. But if S is such aname and isfbound, the specific nature of itsfunctional value isimplementation-dependent; in particular, it might or might not be afunction.)

further compilationn.implementation-dependent compilation beyondminimal compilation. Further compilation is permitted to take place atrun time. ``Block compilation and generation of machine-specific instructions are examples of further compilation.''


The followingX3J13 cleanup issues,not part of the specification, apply to this section:


[Starting Points][Contents][Index][Symbols][Glossary][Issues]
Copyright 1996-2005, LispWorks Ltd. All rights reserved.


[8]ページ先頭

©2009-2025 Movatter.jp